test/files/pos/t262.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

object O {
  abstract class A {
    def f:A; 
  }
  class B extends A {
    def f = if(1 == 2) new C else new D;
  }
  class C extends A { 
    def f = this;
  }
  class D extends A {
    def f = this;
  }
}