remove #[rustc_intrinsic_must_be_overridde] - #137489

remove #[rustc_intrinsic_must_be_overridde]#137489

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:no-more-rustc_intrinsic_must_be_overriddenRalfJung/rust:no-more-rustc_intrinsic_must_be_overriddenCopy head branch name to clipboard