Hi @JCKL, this is a commonly rejected change:
- Disjunctions (logical ORs) in type constraints: 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."