replace another Option<Span> by DUMMY_SP#124842

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:option-spanRalfJung/rust:option-spanCopy head branch name to clipboard