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

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

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