Closed ghost closed 2 years ago
Also see https://github.com/rust-lang/rust/pull/91284
Seems reasonable to me! If you wouldn't mind pinging this when the upstream rust-lang/rust PR has merged I'll merge this here as well.
It has been merged. Thanks!
Also see https://github.com/rust-lang/rust/pull/91284