Source that is used for Scala Type Variances blog posts series

BufferControl.scala

class BufferControl {
  def control(channel:NetworkChannel[String]) {

  }
}

ChannelImpl.scala

class AnyRefChannel extends NetworkChannel[AnyRef] {
  override def write(x:AnyRef) {

  }
}

class StringChannel extends NetworkChannel[String] {
  override def write(x:String) {

  }
}

Company.scala

class Company[+T](val company:T)

CompanyAndInvestor.scala

class Company[T](val company:T)

class BigCompany

class SmallCompany extends BigCompany

class Investor(val company: Company[BigCompany])

CrappyCompany.scala

class CrappyCompany

Function1.scala

trait Function1[-S, +T] {
  def apply(x:S): T
}

NetworkChannel.scala

trait NetworkChannel[-T] {
  def write(x: T)
}

NewPartnerDef.scala

class Company[+T](val company:T) {
  def partnerWith[U >: T](y: U) {

  }
}

PartnerDef.scala

// This won't compile
class Company[+T](val company:T) {
  def partnerWith(y: T) {

  }
}

UpperboundPartner.scala

class Company[+T](val company:T) {
  def partnerWith[U <: Company[BigCompany]](y: U) {

  }
}