Manish Goregaokar 5414eae452
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
2020-07-14 07:39:19 -07:00
2020-07-13 22:23:08 -07:00
2020-07-10 23:26:54 -07:00
2020-07-10 23:26:51 -07:00
2020-07-11 08:53:13 -07:00
2020-07-14 11:59:11 +02:00
2020-07-14 07:39:13 -07:00
2020-06-24 12:09:35 +01:00
2020-06-24 12:09:35 +01:00
2020-06-25 18:52:41 -07:00
2020-06-20 14:45:00 -07:00
2020-07-11 09:22:17 +02:00
2020-07-01 20:35:48 -07:00
2020-06-23 09:25:46 -07:00
2020-07-09 14:11:44 +10:00
2020-07-06 17:45:22 -07:00
2020-07-11 08:53:13 -07:00
2020-07-11 08:53:19 -07:00
2020-07-03 17:17:05 -07:00
2020-07-02 16:48:35 +03:00
2020-07-14 07:39:02 -07:00
2020-07-09 11:50:32 -07:00
2020-07-10 07:39:28 -04:00
2020-07-11 08:53:06 -07:00
2020-06-28 10:08:09 -07:00
2020-07-10 07:39:28 -04:00
2020-07-14 10:31:54 +10:00
2020-07-06 20:44:16 +00:00
2020-07-10 23:26:47 -07:00
2020-07-06 17:45:17 -07:00
2020-07-10 07:39:28 -04:00
2020-06-26 00:39:04 -07:00
2020-07-10 07:39:28 -04:00
2020-07-14 07:39:06 -07:00
2020-07-11 08:53:06 -07:00
2020-07-09 11:50:28 -07:00
2020-07-10 23:26:45 -07:00
2020-07-09 14:11:44 +10:00
2020-07-10 23:26:47 -07:00
2020-07-05 23:00:14 +03:00
2020-07-05 23:00:14 +03:00
2020-06-28 10:08:09 -07:00
2020-07-11 08:53:25 -07:00
2020-07-03 00:04:48 +03:00
2020-07-09 07:00:27 +00:00
2020-07-11 08:55:05 -07:00
2020-07-05 23:00:14 +03:00
2020-07-11 17:20:33 -04:00
2020-07-10 07:39:28 -04:00
2020-07-05 23:00:14 +03:00
2020-07-09 11:50:28 -07:00
2020-07-14 07:39:11 -07:00
2020-07-14 07:38:50 -07:00
2020-07-14 07:39:04 -07:00
2020-06-24 11:28:41 +02:00
2020-07-12 18:49:14 +00:00
2020-07-11 08:53:13 -07:00
2020-07-14 07:39:11 -07:00
2020-07-14 14:59:59 +02:00
2020-06-20 11:13:47 -07:00
Manish Goregaokar
5414eae452