blob: c0dfcac2dd7c66ac2579ac5dc4c2c7f6c8762e9d (
plain) (
blame)
1
2
3
4
5
|
tcpoly_variance.scala:6: error: overriding method str in class A of type => m[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
|
