Module MakeImplCommon::CallContextSensitivity::PrunedViableImpl

Gets the call context when returning from c to call.

Holds if the call context call either improves virtual dispatch in callable or if it allows us to prune unreachable nodes in callable.

Resolves a call from call in cc to result, where result is restricted by relevantResolveTarget.

Resolves a return from callable in cc to call.

Gets a viable run-time dispatch target for the call call in the context ctx. This is restricted to those calls for which a context makes a difference.

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.

Holds if call does not have a reduced set of dispatch targets in call context ctx.

Holds if a return does not have a reduced set of viable call sites to return to in call context ctx.