scala · DarkDimius · Nov 17, 2014 · Nov 17, 2014 · DarkDimius · Nov 17, 2014
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
@@ -397,7 +397,7 @@ object Types {
      */
     final def findMember(name: Name, pre: Type, excluded: FlagSet)(implicit ctx: Context): Denotation = try {
       recCount += 1
-      assert(recCount < 20)
+      assert(recCount < 40)
       @tailrec def go(tp: Type): Denotation = tp match {
         case tp: RefinedType =>
           if (name eq tp.refinedName) goRefined(tp) else go(tp.parent)

diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
@@ -23,6 +23,7 @@ class tests extends CompilerTest {
   val allowDeepSubtypes = defaultOptions diff List("-Yno-deep-subtypes")
 
   val posDir = "./tests/pos/"
+  val posSpecialDir = "./tests/pos-special/"
   val negDir = "./tests/neg/"
   val newDir = "./tests/new/"
   val dotcDir = "./src/dotty/"
@@ -57,6 +58,7 @@ class tests extends CompilerTest {
   @Test def pos_tailcall = compileDir(posDir + "tailcall/", doErase)
   @Test def pos_nullarify = compileFile(posDir, "nullarify", "-Ycheck:nullarify" :: doErase)
   @Test def pos_subtyping = compileFile(posDir, "subtyping", doErase)
+  @Test def pos_t2613 = compileFile(posSpecialDir, "t2613", doErase)(allowDeepSubtypes)
 
   @Test def pos_all = compileFiles(posDir, twice)
   @Test def new_all = compileFiles(newDir, twice)

diff --git a/tests/pending/pos/boundspropagation.scala → tests/neg/boundspropagation.scala b/tests/pending/pos/boundspropagation.scala → tests/neg/boundspropagation.scala
diff --git a/tests/pending/pos/subtyping.scala b/tests/pending/pos/subtyping.scala
diff --git a/tests/pending/pos/tailcall/t1672.scala b/tests/pending/pos/tailcall/t1672.scala
diff --git a/tests/pending/pos/vararg-pattern.scala b/tests/pending/pos/vararg-pattern.scala
diff --git a/tests/pending/pos/t2613.scala → tests/pos-special/t2613.scala b/tests/pending/pos/t2613.scala → tests/pos-special/t2613.scala
diff --git a/tests/pending/pos/t2795-new.scala → tests/pos/t2795-new.scala b/tests/pending/pos/t2795-new.scala → tests/pos/t2795-new.scala
diff --git a/tests/pending/pos/t2795-old.scala → tests/pos/t2795-old.scala b/tests/pending/pos/t2795-old.scala → tests/pos/t2795-old.scala
diff --git a/tests/pending/pos/t2945.scala → tests/pos/t2945.scala b/tests/pending/pos/t2945.scala → tests/pos/t2945.scala
diff --git a/tests/pending/pos/t1672.scala → tests/pos/tailcall/t1672.scala b/tests/pending/pos/t1672.scala → tests/pos/tailcall/t1672.scala