Clippy update (#145)

metamath · Oct 18, 2023 · c9aea15 · c9aea15
1 parent cf25861
commit c9aea15
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/nameck.rs b/src/nameck.rs
@@ -343,7 +343,7 @@ impl Nameset {
     #[must_use]
     pub fn lookup_label(&self, label: TokenPtr<'_>) -> Option<LookupLabel> {
         self.labels.get(label).and_then(|lslot| {
-            lslot.labels.first().map(|&(addr, _)| LookupLabel {
+            lslot.labels.first().map(|&(addr, ())| LookupLabel {
                 atom: lslot.atom,
                 address: addr,
             })
@@ -358,7 +358,7 @@ impl Nameset {
                 stype,
                 atom: syminfo.atom,
                 address: addr,
-                const_address: syminfo.constant.first().map(|&(addr, _)| addr),
+                const_address: syminfo.constant.first().map(|&(addr, ())| addr),
             })
         })
     }

diff --git a/src/verify.rs b/src/verify.rs
@@ -101,9 +101,9 @@ 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>) {}
+    fn build(&mut self, _: StatementAddress, (): (), _: &[u8], _: Range<usize>) {}
 }
 
 /// Working memory used by the verifier on a segment.  This expands for the