Skip to content

Commit 5c67429

Browse files
committed
Rust: allow shadowing of prelude items
1 parent 3b689a9 commit 5c67429

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: rust/ql/lib/codeql/rust/internal/PathResolution.qll

+1-1
Original file line numberDiff line numberDiff line change
@@ -178,7 +178,7 @@ abstract class ItemNode extends Locatable {
178178
Stages::PathResolutionStage::ref() and
179179
result = this.getASuccessorRec(name)
180180
or
181-
preludeEdge(this, name, result)
181+
preludeEdge(this, name, result) and not declares(this, _, name)
182182
or
183183
name = "super" and
184184
if this instanceof Module or this instanceof SourceFile

0 commit comments

Comments
 (0)