@koher ジェネリスメソッドのwhere句で回避できるんですね。

5:14 AM

よくよく考えたら今回の問題はparameterized extension ではなくて、型条件によってtypealiasの宣言の形を切り替えられるようにならないといけないのかもしれないです (edited)

5:15 AM

@swiftbot struct A<T> { } extension A where T == Bool { typealias B = String } extension A { typealias B = Int }