Ensuring every case is handled in a switch.
const _n: never = s
function check(s: 'a' | 'b') { switch(s) { case 'a': return 1; case 'b': return 2; default: const _n: never = s; return _n; } }