Moved pending tests that work into pos and neg.

One test (t2613) required lifting a hard recursion limit in findMember
(used for debug only, will be removed in the future). The same test
also requires -Yno-deep-subtypes to be reset, so it's in pos_special
instead of pos.

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
+}