Skip to content

Remove auto traits not deduped warning #354

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jun 9, 2018

Conversation

Havvy
Copy link
Contributor

@Havvy Havvy commented Jun 9, 2018

This was fixed by me in rust-lang/rust#51276 so one less warning needed in the reference.

@matthewjasper
Copy link
Contributor

CI error is unrelated, so I'm merging this.

@matthewjasper matthewjasper merged commit dc76544 into rust-lang:master Jun 9, 2018
@Havvy Havvy deleted the trait-warning-removal branch June 9, 2018 21:58
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants