diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll index ac781e223f2..4096b83e5f1 100644 --- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll @@ -157,7 +157,7 @@ private module Input implements TypeFlowInput { */ pragma[nomagic] private predicate upcastCand(TypeFlowNode n, RefType t1, RefType t1e, RefType t2, RefType t2e) { - exists(TypeFlowNode next | step(n, next) or Make::joinStep(n, next) | + exists(TypeFlowNode next | step(n, next) or joinStep(n, next) | n.getType() = t1 and next.getType() = t2 and t1.getErasure() = t1e and