Rules for making switch/case expressions for union type values exhaustively checkable at compile time.
