I suppose the compiler can notice that the outer r...
# announcements
z
I suppose the compiler can notice that the outer return is unreachable and not bother to type check the return type.