coverage: Merge refined spans in a separate final pass#118695

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

Zalathar:push-refinedZalathar/rust:push-refinedCopy head branch name to clipboard