Closed
Description
I originally submitted this to rust-lang, but it was closed as a clippy issue:
Metadata
Metadata
Assignees
Labels
Type
Projects
Milestone
Relationships
Development
No branches or pull requests
Participants
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
Activity
mati865 commentedon Oct 8, 2019
Sorry I couldn't find it earlier but is should be fixed by #4590
It should be included in next nightly.
flip1995 commentedon Oct 9, 2019
Thanks for the report, this is already fixed though.