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") }