diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/aliases.scala | 10 | ||||
-rw-r--r-- | test/pos/aliases.scala | 10 |
2 files changed, 14 insertions, 6 deletions
diff --git a/test/files/pos/aliases.scala b/test/files/pos/aliases.scala index bcca90d99d..b746a35861 100644 --- a/test/files/pos/aliases.scala +++ b/test/files/pos/aliases.scala @@ -5,17 +5,21 @@ abstract class C() { val x: t; val y: x.type; val z: x.type; + val u: z.type; val xt: x.t; val yt: y.t; val zt: z.t; + val ut: z.t; def fx(a: x.t): Unit; def fy(a: y.t): Unit; def fz(a: z.t): Unit; + def fu(a: u.t): Unit; - fx(xt); fx(yt); fx(zt); - fy(xt); fy(yt); fy(zt); - fz(xt); fz(yt); fz(zt); + fx(xt); fx(yt); fx(zt); fx(ut); + fy(xt); fy(yt); fy(zt); fy(ut); + fz(xt); fz(yt); fz(zt); fz(ut); + fu(xt); fu(yt); fu(zt); fu(ut); } diff --git a/test/pos/aliases.scala b/test/pos/aliases.scala index bcca90d99d..b746a35861 100644 --- a/test/pos/aliases.scala +++ b/test/pos/aliases.scala @@ -5,17 +5,21 @@ abstract class C() { val x: t; val y: x.type; val z: x.type; + val u: z.type; val xt: x.t; val yt: y.t; val zt: z.t; + val ut: z.t; def fx(a: x.t): Unit; def fy(a: y.t): Unit; def fz(a: z.t): Unit; + def fu(a: u.t): Unit; - fx(xt); fx(yt); fx(zt); - fy(xt); fy(yt); fy(zt); - fz(xt); fz(yt); fz(zt); + fx(xt); fx(yt); fx(zt); fx(ut); + fy(xt); fy(yt); fy(zt); fy(ut); + fz(xt); fz(yt); fz(zt); fz(ut); + fu(xt); fu(yt); fu(zt); fu(ut); } |