>JoeGroff: The implementation for an opaque type in another module does use witness tables just like a generic parameter; it has to in order to accommodate protocol resilience.

4:59 AM

モジュールまたいでopaque typeを使うときはジェネリックパラメータのところで使うwitness tableを使う

5:00 AM

もうランタイムレベルではassociated type付きexistentialが存在してると言って良さそう

5:00 AM

あ、 struct Box<T: P> { var value: T } の形でそれは元からあったか。

5:02 AM

IRGenのレベルで見た時にこの機能がこれまでと違うのはモジュール内部で使う直接形式と外部で使うresilentな形式が同時に生成されることか。関数シンボルが２つできるのかな？ (edited)