test/files/pos/scoping1.scala


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