@Yuta Saito san 型パラと別名のassociatedtypeにしたら通ったのと、https://bugs.swift.org/browse/SR-9533 のRogerさんのコードのスタックトレースのWhile emitting witness table for protocol conformance to ...が僕のと同じなので既知のBugでした、ありがとうございました