Upstream PR: https://github.com/rust-lang/rust/pull/122356 I will disable the CI temporarily, it should be brought back when the above PR is merged.