9ef5f6817 ^
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 }