Predicate MakeImpl::Impl::Stage1::viableParamArgNodeCandFwd1
Import path
import codeql.dataflow.internal.DataFlowImplpredicate viableParamArgNodeCandFwd1(DataFlowCall call, ParamNodeEx p, ArgNodeEx arg)import codeql.dataflow.internal.DataFlowImplpredicate viableParamArgNodeCandFwd1(DataFlowCall call, ParamNodeEx p, ArgNodeEx arg)