More efficient garbage collection of type variables#4447

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/constraint-simplificationdotty-staging/dotty:fix/constraint-simplificationCopy head branch name to clipboard