blob: fb5cac3a1a88e666d02d0093d999f7234d5bdb99 (
plain) (
blame)
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));
}
|