diff options
| author | bors <bors@rust-lang.org> | 2016-10-31 10:56:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-31 10:56:25 -0700 |
| commit | f26eedb571c8e3f55385f3933be256689deed277 (patch) | |
| tree | 3ecbcebf7c5c6fddb41bbe2b341c264bf9accd04 /src/libserialize/json.rs | |
| parent | bf5b824c1cb1fa5ec9b060f9b552cf7fd7465f01 (diff) | |
| parent | ef6a07221d66bff1ef8edac4f9ffc39013abf256 (diff) | |
| download | rust-f26eedb571c8e3f55385f3933be256689deed277.tar.gz rust-f26eedb571c8e3f55385f3933be256689deed277.zip | |
Auto merge of #37191 - zackmdavis:we_heard_you_the_first_time_really, r=nikomatsakis
introing one-time diagnostics: only emit "lint level defined here" once This is a revised resubmission of PR #34084 (which was closed due to inactivity on account of time constraints on the author's part). --- We introduce a new `one_time_diagnostics` field on `rustc::session::Session` to hold a hashset of diagnostic messages we've set once but don't want to see again (as uniquified by span and message text), "lint level defined here" being the motivating example dealt with here. This is in the matter of #24690. --- r? @nikomatsakis
Diffstat (limited to 'src/libserialize/json.rs')
0 files changed, 0 insertions, 0 deletions