diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-28 22:35:09 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-28 22:36:49 +0200 |
commit | aae91eddee1a90dc5312ce156b772f090001721f (patch) | |
tree | 6ce2de879d48939ba1914e8e450ff77f45c5c89c /tests/pos/supercalls.scala | |
parent | f7d3f3b12e0f3f69954bfb9980134968abf541f5 (diff) | |
download | dotty-aae91eddee1a90dc5312ce156b772f090001721f.tar.gz dotty-aae91eddee1a90dc5312ce156b772f090001721f.tar.bz2 dotty-aae91eddee1a90dc5312ce156b772f090001721f.zip |
Fixes to erasure to make -Ycheck:all work.
Main change: Introduce JavaArrayType as a new type constructor
for Java erased array. Translate all methods of Array class during
erasure to primitive operations on arrays.
Some other small fixes for more localized problems.
Diffstat (limited to 'tests/pos/supercalls.scala')
-rw-r--r-- | tests/pos/supercalls.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/pos/supercalls.scala b/tests/pos/supercalls.scala new file mode 100644 index 000000000..79b0e585d --- /dev/null +++ b/tests/pos/supercalls.scala @@ -0,0 +1,3 @@ +abstract class A(x: Int) + +abstract class B(y: Int) extends A({ def f(x: Int) = x * x; f(y)}) |