1 files changed, 13 insertions, 0 deletions
diff --git a/tests/invalid/pos/t5119.scala b/tests/invalid/pos/t5119.scala
new file mode 100644
index 000000000..39f626e53
--- /dev/null
+++ b/tests/invalid/pos/t5119.scala
@@ -0,0 +1,13 @@
+import collection.mutable
+
+object Test {
+  class IMap0[K[_], V[_]](backing: Map[K[_], V[_]]) {
+    def mapSeparate[VL[_], VR[_]](f: V[_] => ({type l[T] = Either[VL[T], VR[T]]})#l[_] ) = {
+      backing.view.map { case (k,v) => f(v) match {
+    case Left(l) => Left((k, l))
+    case Right(r) => Right((k, r))
+        }
+      }
+    }
+  }
+}