Change constant lifetime analysis

viperproject · Oct 10, 2023 · 9e79e87 · 9e79e87
1 parent 7e19cc7
commit 9e79e87
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/mir-state-analysis/src/coupling_graph/context/region_info/mod.rs b/mir-state-analysis/src/coupling_graph/context/region_info/mod.rs
@@ -185,8 +185,12 @@ impl<'tcx> Visitor<'tcx> for ConstantRegionCollector<'_, 'tcx> {
         self.super_rvalue(rvalue, location);
         if let Rvalue::Use(Operand::Constant(constant)) = rvalue {
             for r in constant.ty().walk().flat_map(|ga| ga.as_region()) {
-                assert!(r.is_var(), "{r:?} in {constant:?}");
-                self.map.set(r.as_var(), RegionKind::ConstRef(false));
+                // We may run into non-var regions here, e.g. assigning a const closure to a local where
+                // the closure captures state and thus that has e.g. `BrNamed` regions.
+                if  r.is_var() {
+                    // assert!(r.is_var(), "{r:?} in {constant:?} ({:?} at {location:?})", constant.ty());
+                    self.map.set(r.as_var(), RegionKind::ConstRef(false));
+                }
             }
         }
     }