25a98964b5 ^
1 2 3 4 5 6 7 8 9 10 11 12
object This extends Application { trait A { def foo(): unit; } class C: A { def bar() = this.foo(); } class D extends C with A { def foo() = () } val c: C = new D; }