Member predicate MakeWithSplitting::SplitImplementations::ConditionalCompletionSplitting::ConditionalCompletionSplitImpl::hasEntryScope

Holds if this split is entered when control passes from scope to the entry point first.

Invariant: hasEntryScope(scope, first) implies scopeFirst(scope, first).