関数のセクション配置制御

SE-0492 の @section 属性を、あらゆる種類の関数へ適用できるように拡張します。対象となるのは、通常の関数（func）、イニシャライザ（init）、デイニシャライザ（deinit）、クロージャ、そして get / set などのアクセサです。

@section("__TEXT,boot")
func firmwareBootEntrypoint() { ... }

struct MyBootConfig: ~Copyable {
  @section("__TEXT,boot") init() {
    registerCallback { @section("__TEXT,boot") in
      ...
    }
  }

  @section("__TEXT,boot") deinit { }

  var bootPhase: Int {
    @section("__TEXT,boot") get { ... }
    @section("__TEXT,boot") set { ... }
  }
}

変数に対する @section と違い、関数ではジェネリックな関数やジェネリックな文脈の中にある関数に対する制約がありません。関数はすべてテキストセクションに置かれるためです。これにより、型のインスタンスメソッドにも @section を付けられます。

@section は、その関数だけでなく、実装が生成する関連する関数にも適用されます。

• async 関数に付けた場合、実装が生成する各 partial function も同じセクションに置かれます。
• ジェネリック関数に付けた場合、元のジェネリック定義に加え、コンパイラが生成する特殊化（specialization）にも適用されます。
• @main 型の main 関数に @section を付けた場合、コンパイラが出力する実際の main エントリポイントにも同じセクションが使われます。

アクセサ・クロージャ・ローカル関数への推論

アクセサやクロージャに @section が明示されていない場合、次のように推論されます。

• クロージャやローカル関数は、（存在すれば）それを囲む関数から @section を推論します。

  @section("__TEXT,boot")
  func firmwareBootEntrypoint() {
    func helper() { // @section("__TEXT,boot") を推論
  
    }
  
    registerCallback { // @section("__TEXT,boot") を推論
      ...
    }
  }
  

• 実装が合成する読み取り専用アクセサ（get / borrow / yielding borrow など）は、明示的に書かれたこれらのアクセサから @section を推論します。

• 実装が合成する書き込み系アクセサ（set / mutate / yielding mutate / init / didSet / willSet）は、明示的に書かれたこれらのアクセサから @section を推論します。

  var scratchSpace: MutableSpan<UInt> {
    @section("__TEXT,boot") borrow { ... }
    // 合成される get は borrow から @section("__TEXT,boot") を推論
  
    @section("__TEXT,boot") mutate { ... }
    // 合成される set は mutate から @section("__TEXT,boot") を推論
  }
  

ただし、変数からそのアクセサへ @section が推論されることはありません。コードとデータは通常異なるセクションに置かれるためです。また、ローカルな型（およびそのメンバー）にもセクションは推論されません。

推論の抑制

セクションとして default キーワードを指定すると、そのプラットフォームで既定のセクションを使うことを明示できます。これは、囲む関数などから働く推論を上書きします。たとえば、@section が付いた関数の中にあるローカル関数だけを既定のセクションに戻したい場合は、次のように書きます。

@section("__TEXT,boot")
func firmwareBootEntrypoint() {
  @section(default) func helper() { // @section("__TEXT,boot") の推論を抑制

  }
}

didSet / willSet の制約緩和

SE-0492 では、@section を付けた変数は didSet / willSet を持てないという制約がありました。本Proposalでこの制約を撤廃します。didSet / willSet 自体に @section を付けられるようになり、その値は実装がシンボルを合成する実体（たとえば set）への推論に使われます。