1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/t3477.scala b/tests/pos/t3477.scala
new file mode 100644
index 000000000..6a94baa6c
--- /dev/null
+++ b/tests/pos/t3477.scala
@@ -0,0 +1,7 @@
+class J3 {
+  def f[K, K1 >: K, V](x: Map[K1, V]): Map[K, V] = sys.error("")
+}
+
+object Test {
+  (new J3).f(Map[Int, Int]())
+}