Rewrite resolveThis in global init checker#23282

Merged

olhotak merged 4 commits intoscala:mainfrom

EnzeXing:global-init-checker-redesign

Jun 20, 2025

Commits on Jun 20, 2025

Rewrite resolveThis; removed assertions
EnzeXing
committed
Add complex tests
EnzeXing
committed
Update abstract domain and tests
EnzeXing
committed
Updates on outerEnvs stored in InstanceBody; address comments
EnzeXing
committed