Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::viableImplCallContextReducedReverse

Gets a viable call site for the return from callable in call context ctx. This is restricted to those callables and contexts for which the possible call sites are restricted.