From 3916dd3586e8de83858135f9a083a5621a3c1b90 Mon Sep 17 00:00:00 2001
From: Zack Grannan <zgrannan@protonmail.com>
Date: Wed, 29 Nov 2023 12:08:28 -0800
Subject: [PATCH] appease clippy

---
 prusti-viper/src/encoder/snapshot/encoder.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prusti-viper/src/encoder/snapshot/encoder.rs b/prusti-viper/src/encoder/snapshot/encoder.rs
index 08f70cec01f..f4181144a58 100644
--- 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();