See https://github.com/rust-lang/rust/pull/109597#discussion_r1339553254 Cc @cjgillot