Predicate MakeImplCommon::argumentPositionMatch

Holds if arg is an argument of call with an argument position that matches parameter position ppos.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

predicate argumentPositionMatch(Call call, ArgNode arg, ParameterPosition ppos)