blob: bcca90d99d318056ba6dfb980c0a71299dcfc4e8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
abstract class C() {
type t <: C;
val x: t;
val y: x.type;
val z: x.type;
val xt: x.t;
val yt: y.t;
val zt: z.t;
def fx(a: x.t): Unit;
def fy(a: y.t): Unit;
def fz(a: z.t): Unit;
fx(xt); fx(yt); fx(zt);
fy(xt); fy(yt); fy(zt);
fz(xt); fz(yt); fz(zt);
}
|