Use a trait to enforce field validity for union fields + `unsafe` fields + `unsafe<>` binder types#136660

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:BikeshedGuaranteedNoDrop

Feb 13, 2025

Commits on Feb 13, 2025

Use core stubs in some CMSE tests
compiler-errors
committed
Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity
compiler-errors
committed
Use BikeshedGuaranteedNotDrop in unsafe binder type WF too
compiler-errors
committed