Defer boolean-decomposition narrowing to the application point - #6163

Merged

ondrejmirtes merged 5 commits into

2.2.xfrom

extract-apply-specified-types

Jul 31, 2026

Commits on Jul 31, 2026

Add deferred SpecifiedTypes machinery evaluated at the application point

ondrejmirtes
and
claude
committed
550344e
Defer boolean-decomposition holder math to the application point

ondrejmirtes
and
claude
committed
de67b5f
Add regression test for #14908

ondrejmirtes
and
claude
committed
3fea020
Do not derive holder antecedents from truthy narrowing weaker than the truth

ondrejmirtes
and
claude
committed
9b2f606
Kill the reachable projection-gate mutants, drop the unreachable guards

ondrejmirtes
and
claude
committed
e7416cd