test/files/neg/escapes.scala


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