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.
1 parent beb27bf commit 0b850a2Copy full SHA for 0b850a2
rust/ql/lib/codeql/rust/elements/Locatable.qll
@@ -8,6 +8,7 @@ private import codeql.rust.generated.Synth
8
private import codeql.rust.generated.Raw
9
10
class Locatable extends Generated::Locatable {
11
+ /** Gets the primary location of this element. */
12
pragma[nomagic]
13
final Location getLocation() {
14
exists(Raw::Locatable raw |
0 commit comments