- Added overlapping.scala

2 files changed, 16 insertions, 0 deletions

diff --git a/test/files/neg/overlapping.check b/test/files/neg/overlapping.check
new file mode 100644
index 0000000000..68251d32f7
--- /dev/null
+++ b/test/files/neg/overlapping.check
@@ -0,0 +1,6 @@
+overlapping.scala:9: overlapping overloaded alternatives; the two following alternatives of method foo have the same erasure: ()Any
+ alternative 1: def foo: X.this.I
+ alternative 2: def foo: X.this.J
+  def foo: J;
+      ^
+one error found
diff --git a/test/files/neg/overlapping.scala b/test/files/neg/overlapping.scala
new file mode 100644
index 0000000000..1c4a82ef79
--- /dev/null
+++ b/test/files/neg/overlapping.scala
@@ -0,0 +1,10 @@
+// Tests detection of overlapping erased signatures
+
+// $Id$
+
+trait X {
+  type I;
+  type J;
+  def foo: I;
+  def foo: J;
+}