Maybe swift compiler is smart enough that it sees ...
# announcements
m
Maybe swift compiler is smart enough that it sees that a is not null so the type will be Int at the end.