Skip to content

Commit 3f63d3a

Browse files
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 1acbb84 commit 3f63d3a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,7 @@ private module Input implements TypeFlowInput<J::Location> {
157157
*/
158158
pragma[nomagic]
159159
private predicate upcastCand(TypeFlowNode n, RefType t1, RefType t1e, RefType t2, RefType t2e) {
160-
exists(TypeFlowNode next | step(n, next) or Make<J::Location, Input>::joinStep(n, next) |
160+
exists(TypeFlowNode next | step(n, next) or joinStep(n, next) |
161161
n.getType() = t1 and
162162
next.getType() = t2 and
163163
t1.getErasure() = t1e and

0 commit comments

Comments
 (0)