type foo = 'hey' | 'nay'; let value : foo = 'hey'; switch (value) { case 'hey': doThis(); break; case 'nay': doThat(); break; default: void; // <-- syntax TBD that indicates: 1. no other than known options are allowed 2. all known options must be considered }