f96b6beefc ^
c1f5cbd4a0 ^
1 2 3 4 5 6
7
class A[m[x]] { def str: m[Object] = error("foo") } class B[m[x]] extends A[m] { override def str: m[String] = error("foo") // since x in m[x] is invariant, ! m[String] <: m[Object] }