制約付きのsome typeの表現は・・・

4:08 AM

some Sequence<.Element = Int> とか、 .Element = Int は、結局普通のジェネリクスの where で修飾してるのと同じで、

4:09 AM

それ自体の受け渡し方やmetatypeをcalleeから取る補助関数の仕組みは変わらなそうだな。

4:10 AM

メタタイプからSequenceのwitness tableを取り出してそれ経由で操作するのは同じで、

4:10 AM

その時に、埋まってないassociatedtypeが絡む部分についてはメソッドが呼び出せないって制限についてはコンパイル時に事前にかけるだけか。

4:11 AM

そのへんの仕組みはこの前実装されてたexistentialの制限緩和と関連するな。