Predicate signature MakeImplCommon::CallContextSensitivityInputSig::reducedViableImplInCallContextCand

Holds if the call context ctx may reduce the set of viable run-time dispatch targets of call call in c.