Skip to content

Remove rustc_args_required_const attribute - #85110

Merged
bors merged 5 commits into
rust-lang:masterfrom
RalfJung:no-rustc_args_required_const
May 13, 2021
Merged

bors merged 5 commits into
rust-lang:masterfrom
RalfJung:no-rustc_args_required_const

Commits

Commits on May 12, 2021

Commits on May 13, 2021