We couldn't do it right away in #52 because `rustc` required a fix (https://github.com/rust-lang/rust/issues/81117, https://github.com/rust-lang/rust/pull/81118). The fix is now in (https://github.com/rust-lang/rust/commit/f9275e1092232fcb8ec117fc4acca990f57cba15) and available since the 2021-01-21 nightly, so now we can go ahead and make the change.
We couldn't do it right away in #52 because
rustcrequired 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.