Disable recursive function call checking because it crashes.

viperproject · Jul 19, 2023 · 1d11890 · 1d11890
1 parent 0aeb4a3
commit 1d11890
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/prusti-interface/src/environment/mod.rs b/prusti-interface/src/environment/mod.rs
@@ -150,8 +150,11 @@ impl<'tcx> Environment<'tcx> {
                 .resolve_instance(param_env.and((called_def_id, call_substs)))
                 .unwrap()
             {
-                self.tcx()
-                    .mir_callgraph_reachable((instance, caller_def_id.expect_local()))
+                // FIXME: This call panics due to stolen MIR. Therefore, we
+                // unsoundly assume that the callee is not reachable.
+                // self.tcx()
+                //     .mir_callgraph_reachable((instance, caller_def_id.expect_local()))
+                false
             } else {
                 true
             }