Exhaustive

Also written: non-exhaustive patterns

Covering every possible value. A `match` must be exhaustive, or the compiler reports an error until you add the missing arm or a `_` arm.