1 files changed, 10 insertions, 0 deletions
diff --git a/tests/pos/t3862.scala b/tests/pos/t3862.scala
new file mode 100644
index 000000000..0d978caa4
--- /dev/null
+++ b/tests/pos/t3862.scala
@@ -0,0 +1,10 @@
+// Currently takes a very long time (more than a minute) and then
+// does not find an alternative.
+object OverloadingShapeType {
+  // comment out this, and the other alternative is chosen.
+  def blerg(f: String): Unit = {}
+
+  def blerg[M[X], T](l: M[T]): Unit = {}
+
+  blerg(List(1)) // error: type mismatch; found   : List[Int] required: String
+}