The type of `1 + 1` is Int. Then, the result type...
# announcements
k
The type of
1 + 1
is Int. Then, the result type should be inferred as Int