Skip to content

Commit a2e3839

Browse files
committed
Unified: Use CallableEx and ParameterEx in type inference implementation
1 parent 597d12c commit a2e3839

8 files changed

Lines changed: 200 additions & 275 deletions

File tree

‎unified/ql/lib/codeql/unified/internal/dataflow/CallGraph.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@ private import AllDataFlow
33
private import codeql.unified.internal.typeinference.TypeInference as T
44

55
DataFlowCallable viableCallable(DataFlowCall c) {
6-
result.asSourceCallable() = T::resolveCallTarget(c.asExplicitCall())
6+
result.asSourceCallable() = T::resolveCallTarget(c.asExplicitCall()).asCallable()
77
}

0 commit comments

Comments
 (0)