[#60669](https://github.com/rust-lang/rust/pull/60669) has been merged.
#60669 has been merged.