Needs to be done before https://github.com/rust-lang/rust/pull/107360 can be reverted.