give const-err4 a more descriptive name#119852

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-err4RalfJung/rust:const-err4Copy head branch name to clipboard