Update clippy to latest master

diff --git a/src/tools/clippy b/src/tools/clippy
index afd91248eda02cf2968e4e02c77b6c10ecd3fd4f..b0dabce47803c18b935ec5390de69e04ad5304c2 160000 (submodule)
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit afd91248eda02cf2968e4e02c77b6c10ecd3fd4f
+Subproject commit b0dabce47803c18b935ec5390de69e04ad5304c2