如果 isSmallNumber(value): value is number 会对 -9 到 9 以外的数字返回 false，这个声明为什么不安全？

如果 isSmallNumber(value): value is number 会对 -9 到 9 以外的数字返回 false，这个声明为什么不安全？

1. 假分支仍可能包含数字，但 TypeScript 会从联合中排除 number。
2. 类型谓词只能用于对象类型。
3. 编译器会在假分支中把大数字转换成字符串。
4. 谓词每次返回 false 时都必须抛出异常。