Skip to content

Commit c263d3f

Browse files
committed
Rust: Remove predicates unused after refactor
1 parent f584d22 commit c263d3f

File tree

1 file changed

+0
-18
lines changed

1 file changed

+0
-18
lines changed

rust/ql/lib/codeql/rust/internal/TypeInference.qll

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -662,15 +662,6 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {
662662
tAdj = t
663663
)
664664
}
665-
666-
pragma[nomagic]
667-
additional Type inferReceiverType(AstNode n) {
668-
exists(Access a, AccessPosition apos |
669-
result = inferType(n) and
670-
n = a.getNodeAt(apos) and
671-
apos.isSelf()
672-
)
673-
}
674665
}
675666

676667
private module CallExprBaseMatching = Matching<CallExprBaseMatchingInput>;
@@ -813,15 +804,6 @@ private module FieldExprMatchingInput implements MatchingInputSig {
813804
tAdj = t
814805
)
815806
}
816-
817-
pragma[nomagic]
818-
additional Type inferReceiverType(AstNode n) {
819-
exists(Access a, AccessPosition apos |
820-
result = inferType(n) and
821-
n = a.getNodeAt(apos) and
822-
apos.isSelf()
823-
)
824-
}
825807
}
826808

827809
private module FieldExprMatching = Matching<FieldExprMatchingInput>;

0 commit comments

Comments
 (0)