vargo fmt

verus-lang · Jul 25, 2023 · ff1a562 · ff1a562
1 parent bb28dae
commit ff1a562
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/source/rust_verify/src/lifetime_generate.rs b/source/rust_verify/src/lifetime_generate.rs
@@ -1632,7 +1632,9 @@ fn erase_fn_common<'tcx>(
             &mut generic_bounds,
         );
         let mut params: Vec<(Option<Span>, Id, Typ, bool)> = Vec::new();
-        for ((input, param), param_info) in inputs.iter().zip(f_vir.x.params.iter()).zip(params_info.iter()) {
+        for ((input, param), param_info) in
+            inputs.iter().zip(f_vir.x.params.iter()).zip(params_info.iter())
+        {
             let name = if let Some((_, name)) = &param.x.unwrapped_info {
                 name.to_string()
             } else {