1 files changed, 0 insertions, 1 deletions
diff --git a/bin/clippy b/bin/clippy
index c778f0f..fbf5dc7 100755
--- a/bin/clippy
+++ b/bin/clippy
@@ -36,7 +36,6 @@ SUPPRESS=(
     unneeded_field_pattern
     unused_unit
     useless_format
-    while_let_loop
 
     # To be resolved or suppressed locally.
     cast_ptr_alignment