From 566dd6e8a44090168ebe8e6703fea27152802286 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 14 Jan 2015 19:06:25 +0100 Subject: Fix skolemization logic. The skolemsOutstanding flag was reset too early. Just de-skolemizing one type does not guarantee that all further types are skolem-free. --- src/dotty/tools/dotc/core/Skolemization.scala | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/dotty/tools/dotc/core/Skolemization.scala b/src/dotty/tools/dotc/core/Skolemization.scala index d9e35af9d..2e517c90e 100644 --- a/src/dotty/tools/dotc/core/Skolemization.scala +++ b/src/dotty/tools/dotc/core/Skolemization.scala @@ -33,10 +33,7 @@ trait Skolemization { * else return the largest subtype. */ final def deSkolemize(tp: Type, toSuper: Boolean): Type = - if (skolemsOutstanding) { - skolemsOutstanding = false - deSkolemize(tp, if (toSuper) 1 else -1, Set()) - } + if (skolemsOutstanding) deSkolemize(tp, if (toSuper) 1 else -1, Set()) else tp private def deSkolemize(tp: Type, variance: Int, seen: Set[SkolemType]): Type = -- cgit v1.2.3