Merge pull request #822 from Manishearth/fix-820

fix #820
2026-06-01 05:57:03 +03:00 · 2016-04-01 10:40:58 +02:00
parent fc64053da4 4c6c84e0a1
commit 45bb75bee2
1 changed files with 2 additions and 1 deletions
@@ -302,7 +302,8 @@ fn get_lints(&self) -> LintArray {
                    CLONE_ON_COPY,
                    CLONE_DOUBLE_REF,
                    NEW_RET_NO_SELF,
-                    SINGLE_CHAR_PATTERN)
+                    SINGLE_CHAR_PATTERN,
+                    SEARCH_IS_SOME)
    }
 }