Predicate signature MakeImplCommon::CallContextSensitivity::PrunedViableImplInputSig::getSpecificCallContextReturn
signature CallContextNoCall getSpecificCallContextReturn(DataFlowCallable c, DataFlowCall call)
signature CallContextNoCall getSpecificCallContextReturn(DataFlowCallable c, DataFlowCall call)