We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 0647086 + 9728dbb commit 1289f14Copy full SHA for 1289f14
rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll
@@ -133,7 +133,8 @@ module LocationImpl {
133
* Holds if this location contains location `that`, meaning that it starts
134
* before and ends after it.
135
*/
136
- pragma[inline]
+ bindingset[this, that]
137
+ pragma[inline_late]
138
predicate contains(Location that) { this.startsBefore(that) and this.endsAfter(that) }
139
140
/**
0 commit comments