Do you know in what cases would we get errors but succeed in compilation here?

If they are simply compilation errors, why don't we put them into the "else" branch later?