Auto merge of #1658 - RalfJung:forget, r=RalfJung
Auto merge of #1658 - RalfJung:forget, r=RalfJung

remove intrinsic that is now implemented in the rustc side

Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri