Uh oh!
There was an error while loading. Please reload this page.
Add check for unused error codes - #31288
Merged
Merged
Conversation
steveklabnik
commented
Jan 29, 2016
Contributor
I like this idea but don't usually modify these files. r? @brson or @alexcrichton ? |
GuillaumeGomezforce-pushed
the
error_code_tidy
branch
from
January 29, 2016 15:37
ea56cc1 to
c78bf9dComparebrson
commented
Jan 29, 2016
Contributor
@bors r+ Good idea. |
bors
commented
Jan 29, 2016
Collaborator
📌 Commit c78bf9d has been approved by |
bors
commented
Jan 30, 2016
Collaborator
⌛ Testing commit c78bf9d with merge 1e186cd... |
bors
commented
Jan 30, 2016
Collaborator
💔 Test failed - auto-linux-cross-opt |
alexcrichton
commented
Jan 30, 2016
Member
@bors: retry On Fri, Jan 29, 2016 at 9:03 PM, bors notifications@github.com wrote:
|
bors
commented
Jan 30, 2016
Collaborator
bors added a commit
that referenced
this pull request
Jan 30, 2016
bors
commented
Jan 30, 2016
Collaborator
This was referenced Jan 31, 2016
Manishearth added a commit
to Manishearth/rust
that referenced
this pull request
Feb 2, 2016
Small modification to rust-lang#31288. Shows full path and line number for unused error codes.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
r? @steveklabnik