diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2020-07-14 07:39:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-14 07:39:19 -0700 |
| commit | 5414eae4521d0b6141b9db4c44be144757e5d5fb (patch) | |
| tree | d02268730c1ae866eb4a1ec31e144592b868be3d /src/test/rustdoc-ui/coverage/doc-examples.rs | |
| parent | 2fb307aca5b4ac317b09c7e91a8d4259fbebf17a (diff) | |
| parent | f82ac4d44822ace21ea240115aca9b04cd1606a8 (diff) | |
| download | rust-5414eae4521d0b6141b9db4c44be144757e5d5fb.tar.gz rust-5414eae4521d0b6141b9db4c44be144757e5d5fb.zip | |
Rollup merge of #74324 - flip1995:clippyup, r=Manishearth
Update Clippy ~~I'm not sure, if we can/should land this before beta is branched.~~ (Nvm, beta is already branched) The last Clippy update was 3 weeks ago: #73660 This includes, besides other minor things: - New lints - One lint deprecation - One lint was moved to pedantic - Some FP fixes - I think an ICE fix? cc @Mark-Simulacrum r? @Manishearth --- We probably should also think of some process when and how often we should sync Clippy to the rust repo, so that we don't end up with those huge updates. Maybe every 2 weeks? Or even every week? cc @rust-lang/clippy
Diffstat (limited to 'src/test/rustdoc-ui/coverage/doc-examples.rs')
0 files changed, 0 insertions, 0 deletions