appease clippy

viperproject · Dec 6, 2023 · 3916dd3 · 3916dd3
1 parent f95a192
commit 3916dd3
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();