go/types, cmd/compile/internal/types2: ensure that Named.Orig is indempotent #46794
Description
In both unified IR and types2, an operation that seems useful is to take an instantiated Named and decompose it into the (original) TypeName and type arguments.
Currently there's a Named.Orig method, but it's not always the case that Named.Orig is idempotent. E.g., there are at least test cases where it's necessary to apply it twice.
This is a placeholder issue to look into this further before Go 1.18.
/cc @griesemer @findleyr
Metadata
Metadata
Assignees
Labels
Type
Projects
Status