Type Completion::BooleanCompletion

The expression completes with value outerValue overall and with the last control flow node having value innerValue.

Direct supertypes