Blog post: never patterns, exhaustive matching, and uninhabited types

[notriddle]

@newpavlov

Do we need traits to describe if type is inhabited or not?

There's already a topic for that. Please stop hijacking this one.