For example, https://github.com/rust-lang/rust/pull/96359 or https://github.com/rust-lang/rust/pull/96179