Now that https://github.com/rust-lang/rust/pull/42526 is merged.
Now that rust-lang/rust#42526 is merged.