diff options
Diffstat (limited to 'src/dotty/tools/dotc/ast/CheckTrees.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/CheckTrees.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/CheckTrees.scala b/src/dotty/tools/dotc/ast/CheckTrees.scala index 4d8e25ae3..56a8b9a88 100644 --- a/src/dotty/tools/dotc/ast/CheckTrees.scala +++ b/src/dotty/tools/dotc/ast/CheckTrees.scala @@ -17,7 +17,7 @@ object CheckTrees { check(bounds contains arg.tpe) } - def escapingRefs(block: Block)(implicit ctx: Context): Set[NamedType] = { + def escapingRefs(block: Block)(implicit ctx: Context): collection.Set[NamedType] = { var hoisted: Set[Symbol] = Set() lazy val locals = localSyms(block.stats).toSet def isLocal(sym: Symbol): Boolean = @@ -29,7 +29,7 @@ object CheckTrees { !classLeaks(sym.asClass) } } - def leakingTypes(tp: Type): Set[NamedType] = + def leakingTypes(tp: Type): collection.Set[NamedType] = tp namedPartsWith (tp => isLocal(tp.symbol)) def typeLeaks(tp: Type): Boolean = leakingTypes(tp).nonEmpty def classLeaks(sym: ClassSymbol): Boolean = |