Miwa / Ensan

自己適合をextension any P: Pって書くのがSE-0335のFuture Directionになってるので、その意味でもany Errorがおそらく望まれてる表記で正しいですね (edited)

ただ、 Error は暗黙の self conformance があるので、 Error は Any とかと同じく特別表記もありだったとは思うんですよね。