blob: 97d2e4488cdd3b88183590350e330483f0d6c288 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
object test extends Application {
case class Cell[T](x: T)
type U = Cell[T1] forSome { type T1 }
def f[T](x: Any): U = x match { case y: Cell[_] => y }
var x: U = Cell(1)
println(x)
}
|