BFE.devAI解答 - TypeScript 类型谜题
49. asserts never

可以使用never类型来实现一个类似于assertsNever()的函数：

function assertsNever(value: never): never {
  throw new Error(`Unexpected value: ${value}`);
}

在default分支中调用assertsNever()函数，如果在switch语句中漏掉了某些可能的情况，TypeScript会在编译时抛出错误，提示漏掉的情况。