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