They both return different types, and so the if-ex...
# getting-started
k
They both return different types, and so the if-expression has to unify them to
Any
.