test/files/res/bug597/Test.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

package test;

abstract class Base {
  type A <: Ax;
  
  abstract class Ax {
    def a = null;
    def string = "A";
  }
}
trait ExtB extends Base {
  type A <: Ax;
  trait Ax extends super.Ax {
    def c = null;
    override def string = super.string + "C";
  }
}

trait ExtC extends /*ExtA with*/ ExtB {
  type A <: Ax;
  trait Ax extends super.Ax {
    a
    c
    def d = null;
    override def string = super.string + "D";
  }
}