validation test: turn some const_err back into validation failures#81128

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

RalfJung:validation-testingRalfJung/rust:validation-testingCopy head branch name to clipboard