Merge pull request #1540 from odersky/ticket/6500

Fixes SI-6500 by making erasure more regular.

1 files changed, 13 insertions, 0 deletions

diff --git a/test/files/run/t6500.scala b/test/files/run/t6500.scala
new file mode 100644
index 0000000000..03a68a3a24
--- /dev/null
+++ b/test/files/run/t6500.scala
@@ -0,0 +1,13 @@
+object Test extends App {
+  class Box(val value: Int) extends AnyVal
+
+  trait Foo {
+    def append(box: Box): Foo
+  }
+
+  class Bar extends Foo {
+    override def append(box: Box): Bar = this // produces bad forwarder
+  }
+
+  ((new Bar): Foo).append(new Box(0))
+}