Backport "Fix #21619: Refactor NotNullInfo to record every reference which is retracted once." to 3.3 LTS#145

Merged

tgodzik merged 11 commits intolts-3.3from

backport-lts-3.3-21624

Mar 13, 2025

Commits on Mar 12, 2025

Refactor NotNullInfo to record every reference which is retracted once.

noti0na1
authored and
tgodzik
committed
Use a different rule for NotNullInfo

noti0na1
authored and
tgodzik
committed
Consider cases with Nothing type

noti0na1
authored and
tgodzik
committed
Consider cases with Nothing type
tgodzik
committed
Apply suggestions from code review

authored and
tgodzik
committed
Add terminated info

noti0na1
authored and
tgodzik
committed
Add terminated info
tgodzik
committed
Fix deep NotNullInfo

noti0na1
authored and
tgodzik
committed
Fix deep NotNullInfo
tgodzik
committed
Treat asserted set of terminated NotNullInfo as universal set; fix test

noti0na1
authored and
tgodzik
committed
Comment on the empty cases in notNullInfoFromCases.

noti0na1
authored and
tgodzik
committed