Predicate MakeImplCommon::TypeFlow::typeFlowValidEdgeOut
Holds if the edge call
-to-c
is valid in the out-going direction.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate typeFlowValidEdgeOut(DataFlowCall call, DataFlowCallable c)