さっきのだとSequenceの条件があってはじめて、prefixが生えてませんか?

8:43 AM

protocol A { associatedtype B func hoge(arg: B) } class C: A { func hoge(arg: String) { } }

8:44 AM

条件なしなら、これが通る理由をそのまま適用できる