refactor check_{lang,library}_ub: use a single intrinsic#122629

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

RalfJung:assert-unsafe-preconditionRalfJung/rust:assert-unsafe-preconditionCopy head branch name to clipboard