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