diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-17 17:08:26 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-17 17:08:42 +0100 |
| commit | e63feffe063987df54cb9a5916003eb400c0b49d (patch) | |
| tree | 2fa127537afdcdfaf0b6847232382c9c3b03275d /src/dotty/tools/dotc/core/Types.scala | |
| parent | a75b21b43962e809284f923741c0aa7a03499ab3 (diff) | |
| download | dotty-e63feffe063987df54cb9a5916003eb400c0b49d.tar.gz dotty-e63feffe063987df54cb9a5916003eb400c0b49d.tar.bz2 dotty-e63feffe063987df54cb9a5916003eb400c0b49d.zip | |
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.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 335e72e3f..716657595 100644 --- 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) |