函数声明中的 throws(ParseError) 增加了什么保证？

函数声明中的 throws(ParseError) 增加了什么保证？

1. 函数只能传播 ParseError，而且具体失败类型属于函数类型的一部分。
2. 每个 ParseError 都会在调用点被自动捕获。
3. 函数可以不使用 throw 就返回 ParseError。
4. 运行时会在传播 ParseError 前自动重试一次。