The ship has sailed on ABI interactions; AsyncSequence types all require this to function. However typed throws are still an option in conjunction with rethrowing conformances; shortly after this pitch was initially posed I worked on a branch that added typed throws (with a minimal subset of failure types since I didn't want to delve into the actual implementation of a union type just yet). It worked and was ABI compatible from what I could tell.
8 Likes