Skip to content

Run cheap guards before expensive analysis calls - #777

Merged
TomasVotruba merged 2 commits into
mainfrom
cheaper-guards-first-order
Aug 29, 2026
Merged

TomasVotruba merged 2 commits into
mainfrom
cheaper-guards-first-order

Commits

Commits on Aug 29, 2026