SE-0314: AsyncStream and AsyncThrowingStream

[DevAndArtist (Adrian Meister)]

Here is the post that you've just mentioned (I have it bookmarked):

Pitch: Genericizing over annotations like throws

Another interesting future direction we could take to address polymorphism over throws specifically would be to adopt typed throws, and make the error type an independent type argument of all function types. This would mean that a type that doesn't throw effectively throws Never, and one that throws without a type by default throws Error: (X, Y, Z) -> W === (X, Y, Z) throws Never -> W (X, Y, Z) throws -> W === (X, Y, Z) throws Error -> W This would allow protocols to be generic over thr…