https://github.com/rust-lang/rust/pull/87581 After #72 is merged. Needs updating to a more recent nightly.