Denote a when statement which is required to exhaustively cover all cases.
when
annotation class Exhaustive