diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-02 17:52:50 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-02 17:53:01 +0100 |
commit | 25da2152f89c9c8a25188222fa395951b064e639 (patch) | |
tree | c5e000bab2f45be22d4075bb737d6d0a6a83fb86 /tests | |
parent | 69b6b892793e45a7158d006cdfb5554edc5db633 (diff) | |
download | dotty-25da2152f89c9c8a25188222fa395951b064e639.tar.gz dotty-25da2152f89c9c8a25188222fa395951b064e639.tar.bz2 dotty-25da2152f89c9c8a25188222fa395951b064e639.zip |
Fix call propagation from constructor to class
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pending/pos/llift.scala | 16 | ||||
-rw-r--r-- | tests/run/llift.scala | 16 |
2 files changed, 16 insertions, 16 deletions
diff --git a/tests/pending/pos/llift.scala b/tests/pending/pos/llift.scala deleted file mode 100644 index b2a1e163b..000000000 --- a/tests/pending/pos/llift.scala +++ /dev/null @@ -1,16 +0,0 @@ -object Test { - def f1d(x: Int) = { - trait T1 { -// def f2 = { - trait T2 { - def f3: Int = x - } - class C2 extends T2 - new C2().f3 -// } - def f6 = x - } - class C1 extends T1 - new C1().f6 - } -} diff --git a/tests/run/llift.scala b/tests/run/llift.scala index 28456b8cc..60a1f4dce 100644 --- a/tests/run/llift.scala +++ b/tests/run/llift.scala @@ -128,6 +128,21 @@ object Test { new C1().f6 } + def f1f(x: Int) = { + trait T1 { + trait T2 { + def f3: Int = x + } + class C2 extends T2 { + override def f3 = super.f3 + } + new C2().f3 + def f6 = x + } + class C1 extends T1 + new C1().f6 + } + def main(args: Array[String]) = { assert(foo(3) == 3) assert(f1(4) == 4) @@ -136,5 +151,6 @@ object Test { assert(f1c(7) == 14) assert(f1d(8) == 16) assert(f1e(9) == 9) + assert(f1f(10) == 10) } } |