test/files/run/bug920.scala


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;
  }
}