move required_consts check to general post-mono-check function#115748

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

RalfJung:post-monoRalfJung/rust:post-monoCopy head branch name to clipboard