Closed tgross35 closed 1 week ago
This just suppresses a warning. Ideally this should go to 2021 but that requires quite a bit of refactoring, so hold off until the rest of the 0.2 cleanup is complete.
r? @JohnTitor
rustbot has assigned @JohnTitor. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r? to explicitly pick a reviewer
r?
This just suppresses a warning. Ideally this should go to 2021 but that requires quite a bit of refactoring, so hold off until the rest of the 0.2 cleanup is complete.