More information on https://github.com/rust-lang/rust/pull/88292
More information on #88292