Doug Gregor 3369e3349f [Typed throws] Handle explicitly-specified throws on do..catch in closures ...

Teach the constraint system to use the same primitives as elsewhere to
determine the type context for a `throw` statement and the caught
error type within a `do..catch` statement. This makes
explicitly-specified `throws` work on `do..catch` that occurs in
closures.

Cleans up some redundant computations for caught error types.

2023-12-12 00:06:17 -08:00

94 KiB

Raw Blame History

View Raw