Remove rustc_args_required_const attribute#85110

bors merged 5 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:no-rustc_args_required_constRalfJung/rust:no-rustc_args_required_constCopy head branch name to clipboard