clippy fixes

metamath · Jan 3, 2024 · d24f560 · d24f560
1 parent ee02227
commit d24f560
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/metamath-rs/src/statement.rs b/metamath-rs/src/statement.rs
@@ -652,7 +652,7 @@ impl<'a> StatementRef<'a> {
     pub fn use_iter(&self) -> UseIter<'a> {
         let spans = self.proof_spans();
         let mut iter = spans.iter();
-        if spans.get(0).map(|sp| sp.as_ref(&self.segment.buffer)) == Some(b"(") {
+        if spans.first().map(|sp| sp.as_ref(&self.segment.buffer)) == Some(b"(") {
             iter.next();
         }
         UseIter {

diff --git a/metamath-rs/src/verify.rs b/metamath-rs/src/verify.rs
@@ -101,7 +101,7 @@ impl ProofBuilder for () {
     type Item = ();
     type Accum = ();
 
-    fn push(&mut self, _: &mut (), (): ()) {}
+    fn push(&mut self, (): &mut (), (): ()) {}
 
     fn build(&mut self, _: StatementAddress, (): (), _: &[u8], _: Range<usize>) {}
 }