coverage: Associate hole spans with expansion tree nodes #148812

Merged

bors merged 3 commits intorust-lang:mainfrom

Zalathar:expansions

Nov 14, 2025

Commits on Nov 11, 2025

coverage: Hoist expansion tree creation out of span refinement
Zalathar
committed
coverage: Eagerly ensure that span refinement has an expansion tree node
Zalathar
committed
coverage: Associate hole spans with expansion tree nodes
Zalathar
committed