From 945f2d40f4a8bb45c9347a8bfbfe151196fa590f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Sun, 1 Mar 2026 12:10:00 +0100
Subject: [PATCH] Provide `context_def_id` from `FunctionData`

---
 src/borrow_pcg/abstraction/mod.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/borrow_pcg/abstraction/mod.rs b/src/borrow_pcg/abstraction/mod.rs
index 20e43461..93501960 100644
--- a/src/borrow_pcg/abstraction/mod.rs
+++ b/src/borrow_pcg/abstraction/mod.rs
@@ -332,6 +332,12 @@ impl<'tcx> FunctionData<'tcx> {
         self.def_id
     }
 
+    pub fn context_def_id(self) -> DefId {
+        self.caller_def_id
+            .map(|local_def_id| local_def_id.to_def_id())
+            .unwrap_or(self.def_id)
+    }
+
     pub(crate) fn shape_data_source(
         self,
         caller_substs: Option<GenericArgsRef<'tcx>>,