Infallible typedef

Infallible = Never

The error type for errors that can never happen

Implementation

typedef Infallible = Never;