In most situation, we can guarantee that, inside a...
# announcements
f
In most situation, we can guarantee that, inside a some block, it must be not null, and do not need compiler to check.