As per @eddyb in https://github.com/rust-lang/rust/pull/61062#discussion_r287073229