なるほど。

1:48 AM

Future Direction に書かれてる "where constraints on associated types of opaque types" とか "Conditional conformances" とかがないと標準ライブラリの問題に適用できなさそうなんだけど、それなしにでも先に導入したい理由があるのかな？