1ccd9b6ced ^
1 2 3 4 5 6 7 8 9 10 11
package test; trait Test { trait Ti; class Foo; def foo(t : Ti) = t match { case t : Foo => true; case _ => false; } class Bar extends Foo with Ti; assert(foo(new Bar)); }