1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos-special/t2613.scala b/tests/pos-special/t2613.scala
new file mode 100644
index 000000000..c234d4c0d
--- /dev/null
+++ b/tests/pos-special/t2613.scala
@@ -0,0 +1,11 @@
+import language.existentials
+
+object Test {
+  class Row
+
+  abstract class MyRelation [R <: Row, +Relation <: MyRelation[R, Relation]]
+
+  type M = MyRelation[_ <: Row, _ <: MyRelation]
+
+  val (x,y): (String, M) = null
+}