go/types, types2: typeparams: sanitize Scopes, etc #46151
Labels
FrozenDueToAge
NeedsInvestigation
Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.
Milestone
Reminder issue: unexpanded *instance types, which are meant to exist only within the type checking pass, are currently leaking in a number of places, most notably within Scopes.
It might be possible to avoid sanitization entirely, by packing the *instance data into *Named, and nilling out upon expansion, similar to what is done in https://golang.org/cl/318849.
CC @griesemer
The text was updated successfully, but these errors were encountered: