fix: run cargo fmt

Author: coeff-aij

src/analyze/crate_.rs

@@ -39,14 +39,23 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
             let tt = ts.trees().next().expect("string literal");
 
             let raw_command = match tt {
-                TokenTree::Token(Token{ kind: TokenKind::Literal(lit), .. }, _)
-                    if lit.kind == LitKind::Str => Some(lit.symbol.to_string()),
+                TokenTree::Token(
+                    Token {
+                        kind: TokenKind::Literal(lit),
+                        ..
+                    },
+                    _,
+                ) if lit.kind == LitKind::Str => Some(lit.symbol.to_string()),
                 _ => None,
-            }.expect("invalid raw_command annotation");
+            }
+            .expect("invalid raw_command annotation");
 
-            self.ctx.system.borrow_mut().push_raw_command(
-                chc::RawCommand {command: raw_command}
-            );
+            self.ctx
+                .system
+                .borrow_mut()
+                .push_raw_command(chc::RawCommand {
+                    command: raw_command,
+                });
         }
     }
 

src/chc/smtlib2.rs

@@ -378,19 +378,13 @@ pub struct RawCommand<'a> {
 
 impl<'a> std::fmt::Display for RawCommand<'a> {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
-        write!(
-            f,
-            "{}",
-            self.inner.command,
-        )
+        write!(f, "{}", self.inner.command,)
     }
 }
 
 impl<'a> RawCommand<'a> {
     pub fn new(inner: &'a chc::RawCommand) -> Self {
-        Self {
-            inner
-        }
+        Self { inner }
     }
 }