条件が false になることはないため、プログラムはコンパイルに失敗します。

Go が条件を自動的に true に変更します。

条件が true の場合にのみ実行されるため、ブロックはスキップされます。

false という結果を確認するため、ブロックが 2 回実行されます。