test/files/pos/t6537.scala


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

package tester

object PatMatWarning {

  sealed trait X
  sealed trait Y

  def f(x: X) = x match {
    case _: Y => false
    case _    => true
  }

  class X1 extends X
  class Y1 extends Y
  class Z1 extends X with Y
}