[ty] perform type narrowing for places marked `global` too#19381

Merged

oconnor663 merged 3 commits intomainfrom

jack/global_place_narrowing

Jul 22, 2025

Commits on Jul 22, 2025

[ty] perform type narrowing for places marked `global` too
oconnor663
committed
unify the calls to `narrow_place_with_applicable_constraints` in `infer_place_load`
oconnor663
committed
Revert "unify the calls to `narrow_place_with_applicable_constraints` in `infer_place_load`"
oconnor663
committed