Some Promotion Refactoring#80458

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

RalfJung:promotion-refactorRalfJung/rust:promotion-refactorCopy head branch name to clipboard