]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #45424 - petrochenkov:grlint, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 29 Oct 2017 23:59:07 +0000 (23:59 +0000)
committerbors <bors@rust-lang.org>
Sun, 29 Oct 2017 23:59:07 +0000 (23:59 +0000)
Add several lints into `unused` lint group

Also a couple of obsolete (not reported) lints are removed.

r? @oli-obk

1  2 
src/tools/toolstate.toml

index e62597c52169fb6a5c15d860a2fcd1534b3794d9,9dd420c14586d5add18cde7756c6af237e51d04a..f1684f4c5acbe42f5f8eb94ba87a3408b9bd5bc9
  miri = "Broken"
  
  # ping @Manishearth @llogiq @mcarton @oli-obk
- clippy = "Compiling"
+ clippy = "Broken"
  
  # ping @nrc
 -rls = "Broken"
 +rls = "Testing"
  
  # ping @nrc
 -rustfmt = "Broken"
 +rustfmt = "Testing"