Repro for https://github.com/rust-lang/rust/pull/107013 - View it on GitHub