From 55753510b291eb78dba69d721aba8cb77c63f974 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Thu, 4 Nov 2021 13:38:35 +0000
Subject: [PATCH] Remove `panic::Location::<'a>::caller` from skippable
 functions

---
 compiler/rustc_codegen_rmc/src/codegen/function.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/compiler/rustc_codegen_rmc/src/codegen/function.rs b/compiler/rustc_codegen_rmc/src/codegen/function.rs
index b7200ec1401a..f2d32a4db1c6 100644
--- 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