Doug Gregor cc7904cf52 Use the closure type during type checking for establishing use of new features ...

When evaluating whether code is within a closure that uses concurrency
features, use the type of the closure as it's known during type checking,
so that contextual information (e.g., it's passed to a `@Sendable` or
`async` parameter of function type) can affect the result. This
corrects the definition for doing strict checking within a minimal
context for the end result of the type-check, rather than it's initial
state, catching more issues.

Fixes SR-15131 / rdar://problem/82535088.

2021-12-14 07:15:49 -08:00

484 KiB

Raw Blame History

View Raw