# Status check: Typed throws **URL:** \ **Category:** Discussion\ **Tags:** exceptions, typed-throws\ **Created:** [August 7, 2023, 8:55pm UTC](https://forums.swift.org/t/status-check-typed-throws/66637 "2023-08-07T20:55:45Z")\ **Posts on this page:** 1\ **Showing post:** 8
**Author:** ![xwu](https://avatars.discourse-cdn.com/v4/letter/x/b487fb/32.png) [@xwu](https://forums.swift.org/u/xwu)\ **Post date:** [August 8, 2023, 12:41am UTC](https://forums.swift.org/t/status-check-typed-throws/66637/8 "2023-08-08T00:41:14Z")
> [@wadetregaskis](#): > > You mean a general syntax to say "ProtocolA _or_ ProtocolB", complimentary to the existing syntax for `ProtocolA & ProtocolB`? > > I saw some overlapping discussions topics about this, during my research, but I didn't dig into them. Is there a succinct status for that idea - evidently it's not been formally proposed yet, unless I missed the SEP, but is there consensus within these forums on if and how that should be added? It is a [commonly rejected change](https://github.com/apple/swift-evolution/blob/main/commonly_proposed.md): > - [Disjunctions (logical ORs) in type constraints](https://forums.swift.org/t/returned-for-revision-se-0095-replace-protocol-p1-p2-syntax-with-any-p1-p2/2855): These include anonymous union-like types (e.g. `(Int | String)` for a type that can be inhabited by either an integer or a string). "[This type of constraint is] something that the type system cannot and should not support." --- _[View the full topic](https://forums.swift.org/t/status-check-typed-throws/66637)._