Doug Gregor cfe2b3c87d [Typed throws] Implement support for do throws(...) syntax ...

During the review of SE-0413, typed throws, the notion of a `do throws`
syntax for `do..catch` blocks came up. Implement that syntax and
semantics, as a way to explicitly specify the type of error that is
thrown from the `do` body in `do..catch` statement.

2023-12-02 07:37:47 -08:00

102 KiB

Raw Blame History

View Raw