Merge pull request #2231 from dotty-staging/fix-#2230

Fix #2230: Add regression test.
scala · Apr 13, 2017 · 742f881 · 742f881
2 parents 6b041ee + 25b5705
commit 742f881
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/compiler/test/dotty/tools/dotc/CompilationTests.scala b/compiler/test/dotty/tools/dotc/CompilationTests.scala
@@ -156,6 +156,7 @@ class CompilationTests extends ParallelTesting {
     compileFile("../tests/neg/customArgs/nopredef.scala", defaultOptions.and("-Yno-predef")) +
     compileFile("../tests/neg/customArgs/noimports.scala", defaultOptions.and("-Yno-imports")) +
     compileFile("../tests/neg/customArgs/noimports2.scala", defaultOptions.and("-Yno-imports")) +
+    compileFile("../tests/neg/customArgs/overloadsOnAbstractTypes.scala", allowDoubleBindings) +
     compileFile("../tests/neg/tailcall/t1672b.scala", defaultOptions) +
     compileFile("../tests/neg/tailcall/t3275.scala", defaultOptions) +
     compileFile("../tests/neg/tailcall/t6574.scala", defaultOptions) +

diff --git a/tests/neg/customArgs/overloadsOnAbstractTypes.scala b/tests/neg/customArgs/overloadsOnAbstractTypes.scala
@@ -0,0 +1,22 @@
+
+class Test1 {
+  type A
+  type B <: A
+
+  def foo(): A = ???
+  def foo(): A = ??? // error
+
+  def bar(): A = ???
+  def bar(): B = ??? // error
+}
+
+class Test2 {
+  type A
+  type B <: A
+
+  def foo(x: A) = ???
+  def foo(x: A) = ??? // error
+
+  def bar(x: A) = ???
+  def bar(x: B) = ??? // error
+}