extension S: Error where X: Error に対して extension S: Sendable where X: Error {} が自動で定義されるのはちょっと不思議ですね