blob: d0ca3ba435a84a93601116768a13fba1c9eb3a62 (
plain) (
tree)
|
|
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
}
|