protocol A { associatedtype E } protocol B { associatedtype E } struct C: A, B { typealias A.E = Int typealias B.E = String }

これはムリ。困った。仕様?実装上の都合?