cc02243fb ^
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 => ??? } } }