Exhaustive

Also written: exhaustive switch

A switch that covers every possible case (every enum constant or every permitted sealed type), so it needs no default and stops compiling if a case is added.