typealias A<Field: Sendable> = S<Field, String> extension A: Error {} あ〜、書けてる気がしてきた Aの条件は先じゃないのか別にField: Sendable でなければ A にならないからその条件が先行する気がしたけどA にならない事と S: Error が成立しないことは連動しているからextension S: Error where K: Sendable, V == String と書いたところで、 (edited)