Revert "Rollup merge of #80458 - RalfJung:promotion-refactor, r=oli-obk"#80727

rylev wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

rylev:revert-80458rylev/rust:revert-80458Copy head branch name to clipboard