fix: execute cargo clippy and fmt

Author: coeff-aij

src/analyze/local_def.rs

@@ -135,7 +135,7 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
             .next()
             .is_some()
     }
-    
+
     // TODO: unify this logic with extraction functions above
     pub fn is_fully_annotated(&self) -> bool {
         let has_require = self

src/annot.rs

@@ -482,7 +482,9 @@ where
                         // parse them as user-defined predicate calls.
                         let next_tt = self.look_ahead_token_tree(0);
 
-                        if let Some(TokenTree::Delimited(_, _, Delimiter::Parenthesis, args)) = next_tt {
+                        if let Some(TokenTree::Delimited(_, _, Delimiter::Parenthesis, args)) =
+                            next_tt
+                        {
                             let args = args.clone();
                             self.consume();