Блок пропускается, поскольку выполняется только при истинном условии.

Go автоматически изменяет условие на true.

Программа не компилируется, потому что условия не могут быть false.

Блок выполняется дважды, чтобы подтвердить результат false.