From ff1a56283e40db2e019b86de6263e3d9486c4df1 Mon Sep 17 00:00:00 2001
From: Joao Pereira <joaopereira.19@gmail.com>
Date: Mon, 24 Jul 2023 17:07:47 -0700
Subject: [PATCH] vargo fmt

---
 source/rust_verify/src/lifetime_generate.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/source/rust_verify/src/lifetime_generate.rs b/source/rust_verify/src/lifetime_generate.rs
index b1a084cec2..333cc522d8 100644
--- 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 {