blob: 9837b73814134de177748ddec95d2de9c9684cff (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait K[A] {
sealed trait T
case class C(x: Int) extends T
case object O extends T
}
object Hello {
def f[A](k: K[A])(t: k.T) = {
t match {
case k.C(x) => ???
case k.O => ???
}
}
}
|