blob: 1e12e6ba87bfa2851d89e4824405facac1de361b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
object Test {
trait A;
trait Foo0 { def foo : A; }
trait Baz extends Foo0;
trait B extends A {
def initialize = {
trait Foo extends Test.Foo0 {
def foo : B.this.type = B.this;
}
class baz extends Baz with Foo {
override def toString = "baz"
}
Console.println(new baz);
}
}
object b extends B;
def main(args : Array[String]) : Unit = {
b.initialize;
}
}
|