When evaluating within the context of a specific, we can encounter uses of bindings that are nested within that specific, for example parts of the declaration of a nested generic. Those bindings should evaluate to the canonical form of themselves, as they would when evaluating outside the context of the specific.
When evaluating within the context of a specific, we can encounter uses of bindings that are nested within that specific, for example parts of the declaration of a nested generic. Those bindings should evaluate to the canonical form of themselves, as they would when evaluating outside the context of the specific.
Fixes #4157.