test/x/PatMat.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package x

trait PatMat {

  trait A
  type TT <: B1
  trait B2
  trait B1 extends B
  case class B()

  def foo[T <: Any](x: TT) = x match {
    case x: B => println("!!!")
    case "hi" => ???
  }

}