Allow trailing closures in guard conditions

Swift の if / while / guard は同じ条件節（condition-clause）を共有していて、真偽値の条件、#available 節、let / case によるパターン束縛を並べて書けるようになっています。しかし、これらの条件節に書ける式には共通の制約として、トップレベルでのトレイリングクロージャが禁止 されていました。

if / while で禁止されている理由

if と while の場合、条件節のすぐ後ろには本体の { ... } が続きます。このため、条件式の末尾に { が現れると「トレイリングクロージャの始まり」と「本体ブロックの始まり」とをパーサーが区別できません。

if foo {   // トレイリングクロージャの開始なのか、if 本体の開始なのか?

任意先読みや型チェックを絡めれば判別できるケースもありますが、コンパイラのアーキテクチャへの影響が大きいため、パーサーを単純に保つ方針として、if / while では条件節のトップレベルでのトレイリングクロージャを禁止しています。

guard では本来その制約が要らない

一方で guard は本体が else キーワードで明示的に区切られるため、条件節の直後に現れる { は常にトレイリングクロージャの始まりであって、本体ブロックではありません。つまり guard には if / while のような曖昧さはそもそも存在しません。

それにもかかわらず、guard でも条件節のトップレベルでのトレイリングクロージャは一律禁止されていました。たとえば次のようなコードはコンパイルが通りません。

guard let object = someSequence.findElement { $0.passesTest() } else {
    return
}

これは歴史的な経緯によるもので、初期の設計では guard は else を使わない unless キーワードで表現されていました。その名残で、guard/else 構文に変更されたあとも条件節のトレイリングクロージャ禁止ルールだけが残ってしまっていた、という整理です。本提案は、この guard に限定された不要な制約を取り除こうとするものでした。