macro unreachable() { ... }

Treats the location as unreachable during program flow.

In debug mode, this macro will panic if ever reached. In release mode, it will cause undefined behavior. This is a way to satisfy type-checker, especially useful in switch expressions.

Example