diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-22 15:24:38 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-22 15:24:38 -0700 |
commit | ee898dc56eb2722999f067d99349a98ac40ff601 (patch) | |
tree | a97d9b16efe33ce42bd41117686b6c24daeb6dfa /src | |
parent | b801c8432dd5520f1564d3acd902baa47c6e2bd8 (diff) | |
parent | f5df207f95087c38b2936429cf793d63f0b68c24 (diff) | |
download | scala-ee898dc56eb2722999f067d99349a98ac40ff601.tar.gz scala-ee898dc56eb2722999f067d99349a98ac40ff601.tar.bz2 scala-ee898dc56eb2722999f067d99349a98ac40ff601.zip |
Merge pull request #588 from retronym/ticket/5305
Don't hop to the first enclosing, non-silent context typing refinements
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index e40a567f1d..b1698ccb36 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2510,10 +2510,7 @@ trait Typers extends Modes with Adaptations with Taggings { namer.enterSyms(stats) // need to delay rest of typedRefinement to avoid cyclic reference errors unit.toCheck += { () => - // go to next outer context which is not silent, see #3614 - var c = context - while (c.bufferErrors) c = c.outer - val stats1 = newTyper(c).typedStats(stats, NoSymbol) + val stats1 = typedStats(stats, NoSymbol) for (stat <- stats1 if stat.isDef) { val member = stat.symbol if (!(context.owner.ancestors forall |