hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Remove predicates unused after refactor

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-04-30 17:39:22 +02:00
parent f584d22b53
commit c263d3faf9
1 changed files with 0 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
rust/ql/lib/codeql/rust/internal/TypeInference.qll
View File

@@ -662,15 +662,6 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {
tAdj = t
)
}
pragma[nomagic]
additional Type inferReceiverType(AstNode n) {
exists(Access a, AccessPosition apos |
result = inferType(n) and
n = a.getNodeAt(apos) and
apos.isSelf()
)
}
}
private module CallExprBaseMatching = Matching<CallExprBaseMatchingInput>;
@@ -813,15 +804,6 @@ private module FieldExprMatchingInput implements MatchingInputSig {
tAdj = t
)
}
pragma[nomagic]
additional Type inferReceiverType(AstNode n) {
exists(Access a, AccessPosition apos |
result = inferType(n) and
n = a.getNodeAt(apos) and
apos.isSelf()
)
}
}
private module FieldExprMatching = Matching<FieldExprMatchingInput>;