Clippy 1.84.0 (#178)

metamath · Jan 13, 2025 · 9043997 · 9043997
1 parent 9074259
commit 9043997
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/metamath-rs/src/comment_parser.rs b/metamath-rs/src/comment_parser.rs
@@ -340,7 +340,7 @@ impl<'a> CommentParser<'a> {
             && self
                 .buf
                 .get(self.pos + 1)
-                .map_or(false, |c| CLOSING_PUNCTUATION.contains(c))
+                .is_some_and(|c| CLOSING_PUNCTUATION.contains(c))
     }
 }
 

diff --git a/metamath-rs/src/verify_markup.rs b/metamath-rs/src/verify_markup.rs
@@ -392,13 +392,13 @@ fn verify_markup_comment(
     fn ensure_space_before(buf: &[u8], i: usize, diag: &mut impl FnMut(Diagnostic)) {
         if i.checked_sub(1)
             .map(|j| buf[j])
-            .map_or(false, |c| !c.is_ascii_whitespace())
+            .is_some_and(|c| !c.is_ascii_whitespace())
         {
             diag(Diagnostic::MarkupNeedsWhitespace(i as u32))
         }
     }
     fn ensure_space_after(buf: &[u8], i: usize, diag: &mut impl FnMut(Diagnostic)) {
-        if buf.get(i + 1).map_or(false, |c| !c.is_ascii_whitespace()) {
+        if buf.get(i + 1).is_some_and(|c| !c.is_ascii_whitespace()) {
             diag(Diagnostic::MarkupNeedsWhitespace(i as u32))
         }
     }
-Original file line number
+Diff line change
@@ Expand Up / @@ -340,7 +340,7 @@ impl<'a> CommentParser<'a> { @@
                 && self
                     .buf
                     .get(self.pos + 1)
-                    .map_or(false, |c| CLOSING_PUNCTUATION.contains(c))
+                    .is_some_and(|c| CLOSING_PUNCTUATION.contains(c))
         }
     }
@@ Expand Down @@