diff options
| author | Ryan Cumming <[email protected]> | 2019-06-25 12:44:27 +0100 |
|---|---|---|
| committer | Ryan Cumming <[email protected]> | 2019-06-25 12:44:27 +0100 |
| commit | 5c6ab1145319414e897a8eaca2bf1ad5558ccf24 (patch) | |
| tree | 5a760afdfc07aa4c6e4ae67cb5f0983020453606 /editors/code/.gitignore | |
| parent | d997fd8ea510f364719b51dc5d8a77b0fcf1b3d3 (diff) | |
Tweak isUnusedOrUnnecessary
The first cut was a bit rough with the blanket `unused_*` rule. This
trigger for things like `unused_mut` where the code is used but it's
suboptimal. It's misleading to grey out the code in those cases.
Instead, use an explicit list of things known to be dead code.
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions