diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2021-02-28 00:12:54 -0500 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2021-02-28 01:04:34 -0500 |
| commit | df156c1958bd029101136bc69d705af63972a8c5 (patch) | |
| tree | d5c9a292994fbd281d6dc25bdf1781fd37a6027c /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | 8a9f7862bcfa5870a34bb54f77a03c73d1db5c37 (diff) | |
| download | rust-df156c1958bd029101136bc69d705af63972a8c5.tar.gz rust-df156c1958bd029101136bc69d705af63972a8c5.zip | |
Apply lint restrictions from renamed lints
Previously, if you denied the old name of a renamed lint, it would warn about using the new name, but otherwise do nothing. Now, it will behave the same as if you'd used the new name.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions