今回の価値はextension Tと、extension T where Self: Uが、きちんと期待通りに動くケース

3:52 AM

そうね

3:52 AM

protocol requirementsにエントリがあってwitness tableに載ってると、 existential extensionのselfからのメソッド呼び出しでディスパッチできる。