cf37737f5 ^
1 2 3 4 5 6 7
sealed trait S object O extends S trait T class Test { def m(s: S { val x: Int }) = s match { case _: T => ; } }