summaryrefslogtreecommitdiff
path: root/test/files/neg/bug588.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/bug588.check')
-rw-r--r--test/files/neg/bug588.check13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check
new file mode 100644
index 0000000000..02a9b9c482
--- /dev/null
+++ b/test/files/neg/bug588.check
@@ -0,0 +1,13 @@
+/home/odersky/scala/test/files/pos/bug588.scala:3 error: double definition:
+method visit:((scala.Int) => java.lang.String)scala.Boolean and
+method visit:((scala.Int) => scala.Unit)scala.Boolean at line 2
+have same type after erasure: (scala.Function1)scala.Boolean
+ def visit(f: int => String): boolean
+ ^
+/home/odersky/scala/test/files/pos/bug588.scala:10 error: double definition:
+method f:(Test.this.TypeB)scala.Unit and
+method f:(Test.this.TypeA)scala.Unit at line 9
+have same type after erasure: (Test#TraitA)scala.Unit
+ def f(brac : TypeB) : Unit;
+ ^
+two errors found