Predicate MakeImplCommon::Cached::viableParamArg
Holds if arg is a possible argument to p in call, taking virtual
dispatch into account.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate viableParamArg(DataFlowCall call, ParamNode p, ArgNode arg)