1 files changed, 14 insertions, 0 deletions
diff --git a/tests/untried/pos/t4731.scala b/tests/untried/pos/t4731.scala
new file mode 100644
index 000000000..d457543c1
--- /dev/null
+++ b/tests/untried/pos/t4731.scala
@@ -0,0 +1,14 @@
+import java.util.Comparator
+
+trait Trait1[T] { def foo(arg: Comparator[T]): Unit }
+
+trait Trait2[T] extends Trait1[T] { def foo(arg: Comparator[String]): Int = 0 }
+
+class Class1 extends Trait2[String] { }
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val c = new Class1
+    c.foo(Ordering[String])
+  }
+}