現段階での挙動ではなく、理論上可能かどうかという意味でです。

3:04 AM

たとえば、 encode のバイナリにリビルドするのに十分な付加情報を埋め込んでおけば（バイナリ化されたASTとか）リンク時に specialize することはできるはずです。

3:06 AM

そこまでしなくても、プロトコル型引数が抽象表現されているはずなので、それを specialize することってできそうな気がするんですが無理なんでしょうか？ローレベルに詳しくないので想像の話ですが。