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