backport the fix for `GotoIfNot` effects modeling to 1.9#48756

Merged

KristofferC merged 2 commits intobackports-release-1.9from

Feb 22, 2023

Commits on Feb 22, 2023

[compiler] Teach type inference that `GotoIfNot` can throw (#48583)

staticfloat
authored and
aviatesk
committed
Stop renumbering statements in inference proper (#48022)

Keno
authored and
aviatesk
committed