Uninhabited Type (Never) Conversions

[DevAndArtist (Adrian Meister)]

One other major impact Never could have is described by @Joe_Groff in this post:

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…

Personally, I really can't wait for this type of generalization to happen.