I'd love if the Core Team and/or the Language Steering Group reconsidered the absolute rejection of anonymous union types for Swift. Several modern languages are adopting them, they are objectively useful in many cases and, just to think of an example in Swift, they would enable ergonomic typed throws. For example, Richard Feldman in this recent talk shows how they can be leveraged for representing functional effects.