blob: a6c9808c9e7c65affdd1267a3df3945e72057124 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
abstract class A() {
val y: A;
}
class B() extends A() {
val x = this;
val y: x.type = x;
}
abstract class C() {
val b: B = new B();
val a: A with { val y: b.type };
}
|