path: root/test/files/pos/tcpoly_variance.scala

class A[m[+x]] {
 def str: m[Object] = error("foo")
}

class B[m[+x]] extends A[m] {
 override def str: m[String]  = error("foo")
}