https://github.com/rust-lang/rust/pull/62761 was merged without any apparent indicator of approval.