rename rustc_legacy_const_generics to make it more clear that it is (soft) deprecated#146577

RalfJung wants to merge 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:legacy-const-generic-deprecatedRalfJung/rust:legacy-const-generic-deprecatedCopy head branch name to clipboard