blob: 3a280e8d0afe51b6c5bf543ae5f00f9062839d31 (
plain) (
blame)
1
2
3
4
5
6
|
object Test {
def f(x: Any) = x match { case y: Cell[t] => y.elem }
class C3[T](val elem: T)
class D3[T](val elemD: T) extends C3[T](elemD)
def f[T](x: C3[T]) = x match { case d: D3[t] => d.elemD }
}
|