Ugly commit 29.31

viperproject · Feb 4, 2024 · 0c631d2 · 0c631d2
1 parent d6ceef4
commit 0c631d2
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/prusti-interface/src/environment/mir_body/borrowck/facts/patch.rs b/prusti-interface/src/environment/mir_body/borrowck/facts/patch.rs
@@ -264,8 +264,11 @@ pub fn apply_patch_to_borrowck<'tcx>(
         match data.terminator().kind {
             mir::TerminatorKind::Drop { place, .. } => {
                 let point = lt_patcher.start_point(block.index(), data.statements.len());
-                let variable = place.as_local().unwrap();
-                borrowck_input_facts.var_dropped_at.push((variable, point));
+                if let Some(variable) = place.as_local() {
+                    borrowck_input_facts.var_dropped_at.push((variable, point));
+                } else {
+                    // FIXME.
+                }
             }
             _ => {}
         }