subtype: Preserve hoisted bound identities (#62205)
When envout rewraps a left-side universal TypeVar referenced by outer
existential bounds, also update the bounds of fresh innervars that were
already hoisted into the outer environment. This keeps nested bounds
tied to the rewrapped TypeVars and avoids producing distinct static
parameter identities for equivalent intersections.
Fixes issue reported in
https://github.com/JuliaLang/julia/issues/62174#issuecomment-4783618780
Co-authored-by: Keno Fischer <Keno@users.noreply.github.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
