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