appease clippy

viperproject · Nov 29, 2023 · c0d5298 · c0d5298
1 parent 93f8c5d
commit c0d5298
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-viper/src/encoder/snapshot/encoder.rs b/prusti-viper/src/encoder/snapshot/encoder.rs
@@ -1841,7 +1841,7 @@ impl SnapshotEncoder {
                     .map(|f| {
                         let field_access_func = field_access_funcs
                             .get(&f.name)
-                            .expect(&format!("No accessor for field {}", f.name));
+                            .unwrap_or_else(|| panic!("No accessor for field {}", f.name));
                         field_access_func.apply(vec![self_expr.clone()])
                     })
                     .collect();