Merge pull request #4825 from dotty-staging/fix-4781

Fix #4781: Add neg test

Author: allanrenucci

tests/neg/i4781.scala

@@ -0,0 +1,9 @@
+class A
+class B extends A
+
+class Map[T] { def foo(x: T): A = new A }
+
+class AnyRefMap[T <: AnyRef] extends Map[T] {
+  // This is an overload in Scala 2 but an override in Dotty
+  def foo(y: T with AnyRef): B = new B // error: missing override modifier
+}