Preserve conditional expression holders across more scope merges - #6385

Merged

ondrejmirtes merged 3 commits into

2.3.xfrom

dependent-types-merge-survival

Sep 11, 2026

Commits on Sep 5, 2026

Preserve one-sided conditional holders whose consequent already holds in the other branch

ondrejmirtes
and
claude
committed
d809a91
Union one-sided conditional holders that share a target and guard set across merges

ondrejmirtes
and
claude
committed
d3939ca
Do not preserve conditional holders for unresolved expressions

ondrejmirtes
and
claude
committed
d3bab17