blob: c97b4117cf40c42094e696da3de741747a0a2c1c (
plain) (
tree)
|
|
trait Covariant[+A]
case class Invariant[A](xs: Array[A]) extends Covariant[A]
class Test {
val arr = Array("abc")
def f[A](v: Covariant[A]) /*inferred!*/ = v match { case Invariant(xs) => xs }
f(Invariant(arr): Covariant[Any])(0) = Nil
}
|