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) }
 
     /**