From 9728dbb2479143200b610dcf486463351b25f2b8 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Wed, 2 Jul 2025 18:50:02 +0100
Subject: [PATCH] Rust: Speed up use of Location.contains /
 isFromMacroExpansion.

---
 rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll
index 65cc6b3bd7c4..b49d537c1e99 100644
--- a/rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll
+++ b/rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll
@@ -133,7 +133,8 @@ module LocationImpl {
      * Holds if this location contains location `that`, meaning that it starts
      * before and ends after it.
      */
-    pragma[inline]
+    bindingset[this, that]
+    pragma[inline_late]
     predicate contains(Location that) { this.startsBefore(that) and this.endsAfter(that) }
 
     /**