diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-24 17:45:14 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-24 17:45:24 +0200 |
commit | addd4a645c0b3adb898c74cb9b1197bb04597467 (patch) | |
tree | ae4da2623f7496d1cd71d4a7a5491569f90430a9 /src/dotty/tools/dotc/ast/CheckTrees.scala | |
parent | afa83000f39f0b10824cb11b84ab0e8b66a91241 (diff) | |
download | dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.tar.gz dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.tar.bz2 dotty-addd4a645c0b3adb898c74cb9b1197bb04597467.zip |
Flipping the logic to determine type leaks
Diffstat (limited to 'src/dotty/tools/dotc/ast/CheckTrees.scala')
-rw-r--r-- | src/dotty/tools/dotc/ast/CheckTrees.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/CheckTrees.scala b/src/dotty/tools/dotc/ast/CheckTrees.scala index b99548162..290d18b0c 100644 --- a/src/dotty/tools/dotc/ast/CheckTrees.scala +++ b/src/dotty/tools/dotc/ast/CheckTrees.scala @@ -31,7 +31,7 @@ object CheckTrees { } def leakingTypes(tp: Type): Set[NamedType] = tp namedPartsWith (tp => isLocal(tp.symbol)) - def typeLeaks(tp: Type): Boolean = leakingTypes(tp).isEmpty + def typeLeaks(tp: Type): Boolean = leakingTypes(tp).nonEmpty def classLeaks(sym: ClassSymbol): Boolean = (sym.info.parents exists typeLeaks) || (sym.decls.toList exists (t => typeLeaks(t.info))) |