Hamish Knight fa406ed17c [Sema] Fix try/await handling for if/switch expressions ...

Previously we allowed an attached `try` or `await`
on an `if`/`switch` expression to cover the branches,
which does not match what was proposed, and is
especially harmful for multi-statement cases. Fix
the effect handling logic such that we reset
effect coverage for `if`/`switch` expressions
similar to closures, but continue to maintain the
state needed for rethrows checking.

rdar://116066748

2023-09-27 10:39:51 +01:00

1.1 KiB

Raw Permalink Blame History

View Raw