Improve validator around field projections and checked bin ops#96788

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

JakobDegen:checked-binopJakobDegen/rust:checked-binopCopy head branch name to clipboard