diff options
Diffstat (limited to 'src/dotty/tools')
| -rw-r--r-- | src/dotty/tools/dotc/core/Skolemization.scala | 5 |
1 files changed, 1 insertions, 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 = |