extension S: Error where X: Error から、 暗黙に extension S: Sendable where X: Error が生成されているよね、というのはextension S: Error where X: Sendable ←禁止されているのはこっちですね これは実行時に X: Sendable がテストできないから駄目(情報自体が実行時には消えている) (edited)extension S: Sendable where X: Error ←こっちは実行時に条件部をテストする事自体はできる。 できるけど、 Sendableへの動的キャストが禁止されているから意味が無い。