Swiftで関数が投げる例外の型を明示する提案が出ている。

https://github.com/apple/swift-evolution/blob/main/proposals/0413-typed-throws.md

ただ、1つの型した指定できず、ユニオン型もないため、複数の種類の例外を投げる場合は従来と同じようにany Errorを投げるものとして扱われる。エラーをラップするようなenumを自前で定義する必要がある。