为什么应把switch默认分支的值传给assertNever，而不是返回 "unknown"？

为什么应把switch默认分支的值传给assertNever，而不是返回 "unknown"？

1. 联合类型新增成员后会产生编译错误，直到代码补上对应分支。
2. assertNever会把未知运行时数据转换成合法联合成员。
3. 它会让每个switch分支都执行一次。
4. 它会从输出的JavaScript中删除判别字段。