Predicate signature MakeImplCommon::CallContextSensitivity::PrunedViableImplInputSig::reducedViableImplInCallContext
signature predicate reducedViableImplInCallContext(DataFlowCall call, DataFlowCallable c, DataFlowCall ctx)signature predicate reducedViableImplInCallContext(DataFlowCall call, DataFlowCallable c, DataFlowCall ctx)