From addd4a645c0b3adb898c74cb9b1197bb04597467 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 24 Oct 2013 17:45:14 +0200 Subject: Flipping the logic to determine type leaks --- src/dotty/tools/dotc/ast/CheckTrees.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/ast/CheckTrees.scala') 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))) -- cgit v1.2.3