So the compiler is capable of detecting whether tw...

# announcements

[fmd]

So the compiler is capable of detecting whether two classes have the same supertype. Thus, after the first return statement, it should know that the second check is not correct.