Closed
Description
We couldn't do it right away in #52 because rustc
required a fix (rust-lang/rust#81117, rust-lang/rust#81118).
The fix is now in (rust-lang/rust@f9275e1) and available since the 2021-01-21 nightly, so now we can go ahead and make the change.