tests/patmat/t8068.scala


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