Auto merge of #62434 - Manishearth:clippyup, r=Manishearth

bors · bors · commit dbeed58adee2 · 2019-07-07T08:07:54.000Z
Update clippy r? @ghost
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642
+Subproject commit 316da7eb41f2c263963fc1b74fe9bb528860817f
