[swift-evolution] [Draft] Change @noreturn to unconstructible return type

Brent Royal-Gordon brent at architechies.com
Tue Jun 7 18:37:08 CDT 2016

> But it’s *not* a type.

The bottom type is as much a type as the top type (Any) is. There is a *lot* of literature on this. Respectfully, if you believe otherwise, you need to research type systems more until you change your mind.

Brent Royal-Gordon

More information about the swift-evolution mailing list