Member predicate MakeImpl::Impl::MkStage::Stage::SummaryCtx::isValidForFlowInNoThrough
Holds if this context is valid as a flow-in context when no flow-through is possible,
in which case innerSummaryCtx is the summary context to be used when entering the
callable.
predicate isValidForFlowInNoThrough(SummaryCtx innerSummaryCtx)