Merge pull request #1104 from dotty-staging/spec-bugs

Improvements & bugs that were discovered while implementing specialization.

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/run/no-useless-forwarders.scala b/tests/run/no-useless-forwarders.scala
new file mode 100644
index 000000000..699295027
--- /dev/null
+++ b/tests/run/no-useless-forwarders.scala
@@ -0,0 +1,17 @@
+trait A {
+  def foo(a: Int): Int = a
+  def bar(a: Int): Int
+}
+
+trait B {
+  def bar(a: Int): Int = a
+}
+
+object Test extends A with B{
+  def main(args: Array[String]) = {
+    assert(!this.getClass.getDeclaredMethods.exists{x: java.lang.reflect.Method => x.getName == "foo"}, 
+      "no forwarder is needed here")
+    assert(!this.getClass.getDeclaredMethods.exists{x: java.lang.reflect.Method => x.getName == "bar"}, 
+      "no forwarder is needed here")
+  }
+}