Scala example source code file (tcpoly_variance.check)

This example Scala source code file (tcpoly_variance.check) 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

The Scala tcpoly_variance.check source code

tcpoly_variance.scala:6: error: overriding method str in class A of type => m[java.lang.Object];
 method str has incompatible type
 override def str: m[String]  = sys.error("foo") // since x in m[x] is invariant, ! m[String] <: m[Object]
              ^
one error found