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

Fix #2230: Add regression test.

1 files changed, 22 insertions, 0 deletions

diff --git a/tests/neg/customArgs/overloadsOnAbstractTypes.scala b/tests/neg/customArgs/overloadsOnAbstractTypes.scala
new file mode 100644
index 000000000..0c9ed12bb
--- /dev/null
+++ 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
+}