Matthew Pickering authored Oct 08, 2021 and Marge Bot committed Oct 12, 2021

It is quite easy to end up accidently retaining a KnotVars, which
contains pointers to a stale TypeEnv because they are placed in the
HscEnv.

One place in particular we have to be careful is when loading a module
into the EPS in `--make` mode, we have to remove the reference to
KnotVars as otherwise the interface loading thunks will forever retain
reference to the KnotVars which are live at the time the interface was
loaded.

These changes do not go as far as to enforce the invariant described in
Note [KnotVar invariants]

* At the end of upsweep, there should be no live KnotVars

but at least improve the situation.

This is left for future work (#20491)