In that case it would be like returning two differ...

# language-proposals

[janvladimirmostert]

In that case it would be like returning two different types, unit and "" in which case the compiler will complain.
But it also means using if statements in loops becomes a pain