↑↑はあってる、で、どちらもprotocol extensionの実装

2:38 PM

具体型のimplだと通るのはそれがoverloadで静的に見つかるからと思う、witness-tableから引いてるわけではなさそう