From 678ecad99800c1736ffb1af4469bb796bc2c002e Mon Sep 17 00:00:00 2001
From: Allan Renucci <allan.renucci@gmail.com>
Date: Mon, 23 Jul 2018 18:03:15 +0200
Subject: [PATCH] Fix #4781: Add neg test

This hack relies on a Scala 2 bug (see scala/scala-dev#530). This won't
be supported in Dotty
---
 tests/neg/i4781.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/neg/i4781.scala

diff --git a/tests/neg/i4781.scala b/tests/neg/i4781.scala
new file mode 100644
index 000000000000..7f2cece658dd
--- /dev/null
+++ b/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
+}