diff options
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index d327da017..f3518eff2 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -98,7 +98,10 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling wi else monitoredIsSubType(tp1, tp2) recCount = recCount - 1 if (!result) constraint = saved - else if (recCount == 0 && needsGc) state.gc() + else if (recCount == 0 && needsGc) { + state.gc() + needsGc = false + } if (Stats.monitored) recordStatistics(result, savedSuccessCount) result } catch { |