What guarantee does throws(ParseError) add to a function declaration?

What guarantee does throws(ParseError) add to a function declaration?

1. The function can propagate only ParseError, and the concrete failure type is part of its function type.
2. Every ParseError is caught automatically at the call site.
3. The function can return ParseError without using throw.
4. The runtime retries ParseError once before propagation.