Remove panic::Location::<'a>::caller from skippable functions (mode…

…l-checking#623)
tedinski · Apr 25, 2022 · 1411bfa · 1411bfa
1 parent 858dbc8
commit 1411bfa
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/compiler/rustc_codegen_rmc/src/codegen/function.rs b/compiler/rustc_codegen_rmc/src/codegen/function.rs
@@ -17,8 +17,6 @@ impl<'tcx> GotocCtx<'tcx> {
             "fmt::ArgumentV1::<'a>::as_usize" => true,
             // https://github.com/model-checking/rmc/issues/204
             name if name.ends_with("__getit") => true,
-            // https://github.com/model-checking/rmc/issues/205
-            "panic::Location::<'a>::caller" => true,
             // https://github.com/model-checking/rmc/issues/281
             name if name.starts_with("bridge::client") => true,
             // https://github.com/model-checking/rmc/issues/282