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

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

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