escapes.scala:2: error: type t escapes its defining scope as part of type t
  def f(x: Any) = x match { case y: Cell[t] => y.elem }
                                                ^
one error found