UpperLowerBoundSuperSub.scala

class Super
class Sub extends Super
class SubSub extends Sub

class UpperBound[A <:Super](val value:A)

val test10:UpperBound[Super] = new UpperBound(new Super)
val test12:UpperBound[Sub] = new UpperBound(new Sub)
val test112:UpperBound[SubSub] = new UpperBound(new SubSub)


class LowerBound[A >:Super](val value:A)
val test13:LowerBound[Super] = new LowerBound(new Super)
val test14:LowerBound[Super] = new LowerBound(new Sub)
val test114:LowerBound[Super] = new LowerBound(new SubSub)



class UpperBound[A <:Sub](val value:A)

//val test1 = new UpperBound(new Super)
// Error:(9, 13) inferred type arguments [Super]
// do not conform to class UpperBound's type parameter bounds [A <: Sub]
val test2:UpperBound[Sub] = new UpperBound(new Sub)
val test21:UpperBound[SubSub] = new UpperBound(new SubSub)


class LowerBound[A >:Sub](val value:A)
val test3:LowerBound[Super] = new LowerBound(new Super)
val test4:LowerBound[Sub] = new LowerBound(new Sub)
val test41:LowerBound[Sub] = new LowerBound(new SubSub)


class UpperBound[A <:SubSub](val value:A)

//val test1 = new UpperBound(new Super)
// Error:(9, 13) inferred type arguments [Super]
// do not conform to class UpperBound's type parameter bounds [A <: Sub]
//val test2 = new UpperBound(new Sub)
val test21:UpperBound[SubSub] = new UpperBound(new SubSub)


class LowerBound[A >:SubSub](val value:A)
val test3:LowerBound[Super] = new LowerBound(new Super)
val test4:LowerBound[Sub] = new LowerBound(new Sub)
val test41:LowerBound[SubSub] = new LowerBound(new SubSub)