catch clause annotations

[samwgoldman]

TypeScript supports annotations for try/catch, which is not listed in the proposal. Should this be added as well?

microsoft/TypeScript#41013

[VitorLuizC]

Maybe something like @throws to describe function/method's possible thrown errors.

https://jsdoc.app/tags-throws.html

[ljharb]

imo this proposal should definitely include the ability to annotate the type of every single binding that is brought into scope, including catch bindings (see #37).

Catch bindings are structurally identical to function signatures, so I'm not sure why they'd need a different mechanism to annotate them.

[giltayar]

@samwgoldman I believe type annotations in the catch clause was added after I wrote the first draft of this proposal, so we missed it.

But this proposal isn't really trying to be exhaustive. I guess that's going to happen in stage 2. 😀