あーなるほど。associatedtypeをnon-rethrowingで埋めてる、という形で再帰的なセットアップになるのか。

3:53 AM

返り値とかじゃなくて「全てのassociatedtype」なら、「全てのメソッド」と同じような感覚になっているしちょっとスッキリした。