clippy fixes

metamath · Jun 15, 2024 · 6d16caa · 6d16caa
1 parent 251c70c
commit 6d16caa
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/metamath-rs/src/axiom_use.rs b/metamath-rs/src/axiom_use.rs
@@ -34,7 +34,7 @@ struct UsagePass<'a> {
 impl<'a> UsagePass<'a> {
     // Parses the 'usage' commmands in the database,
     fn parse_command(
-        &mut self,
+        &self,
         sref: SegmentRef<'_>,
         args: &[CommandToken],
     ) -> Result<(), Vec<Diagnostic>> {

diff --git a/metamath-rs/src/bit_set.rs b/metamath-rs/src/bit_set.rs
@@ -60,6 +60,7 @@ impl Bitset {
     }
 
     fn tail(&self) -> &[usize] {
+        #[allow(clippy::manual_unwrap_or_default)] // clippy#12928
         match self.tail {
             None => Default::default(),
             Some(ref bx) => bx,

diff --git a/metamath-rs/src/database.rs b/metamath-rs/src/database.rs
@@ -996,7 +996,8 @@ impl Database {
     ///
     /// Currently there is no way to incrementally fetch diagnostics, so this
     /// will be a bit slow if there are thousands of errors.
-    pub fn diag_notations(&mut self) -> Vec<(StatementAddress, Diagnostic)> {
+    #[must_use]
+    pub fn diag_notations(&self) -> Vec<(StatementAddress, Diagnostic)> {
         let mut diags = self.parse_result().parse_diagnostics();
         if let Some(pass) = self.try_scope_result() {
             diags.extend(pass.diagnostics())