The comma expression requires that the expressions on both sides of the
colon are of the same type. But I think this syntax should be accepted:

bool AllInUniversial();

std::optional<int> r = AllInUniversial() ? 42 : std::nullopt;