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