Skip to content

Remove rustc_args_required_const attribute#85110

Merged
bors merged 5 commits intorust-lang:masterfrom RalfJung:no-rustc_args_required_constMay 13, 2021