check_consts: fix duplicate errors, make importance consistent#120933

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-check-miscRalfJung/rust:const-check-miscCopy head branch name to clipboard