lints

circify · Jan 4, 2024 · a6b50cc · a6b50cc
1 parent 2f3dca0
commit a6b50cc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/front/c/mod.rs b/src/front/c/mod.rs
@@ -1225,7 +1225,7 @@ impl CGen {
     }
 
     /// Returns whether this was a builtin, and thus has been handled.
-    fn maybe_handle_builtins(&mut self, name: &String, args: &Vec<CTerm>) -> Option<CTerm> {
+    fn maybe_handle_builtins(&mut self, name: &String, args: &[CTerm]) -> Option<CTerm> {
         if self.sv_functions && (name == "__VERIFIER_assert" || name == "__VERIFIER_assume") {
             assert!(args.len() == 1);
             let bool_arg = cast_to_bool(args[0].clone());
@@ -1241,7 +1241,7 @@ impl CGen {
         }
     }
 
-    fn fn_call(&mut self, name: &String, arg_sorts: &Vec<Sort>, rets: &Sort) {
+    fn fn_call(&mut self, name: &String, arg_sorts: &[Sort], rets: &Sort) {
         debug!("Call: {}", name);
 
         // Get function types

diff --git a/src/front/c/term.rs b/src/front/c/term.rs
@@ -71,7 +71,7 @@ impl CTermData {
     pub fn term(&self, ctx: &CirCtx) -> Term {
         let ts = self.terms(ctx);
         assert!(ts.len() == 1);
-        ts.get(0).unwrap().clone()
+        ts.first().unwrap().clone()
     }
 
     pub fn simple_term(&self) -> Term {