Explore Library
QuizIntermediate

never in Exhaustiveness Checking

Understand how the never type verifies all union cases are handled.

In a `switch` over a union, what type should the value have in the `default` case if every member has been handled?