Scala example source code file (tcpoly_variance.scala)

This example Scala source code file (tcpoly_variance.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

a, a, b, b

The Scala tcpoly_variance.scala source code

class A[m[x]] {
 def str: m[Object] = sys.error("foo")
}

class B[m[x]] extends A[m] {
 override def str: m[String]  = sys.error("foo") // since x in m[x] is invariant, ! m[String] <: m[Object]
}