f96b6beefc ^
c26a8db067 ^
c1f5cbd4a0 ^
1
2
3 4 5
6
7
class A[m[+x]] { def str: m[Object] = sys.error("foo") } class B[m[+x]] extends A[m] { override def str: m[String] = sys.error("foo") }