Pavel Yaskevich dbe19b6d5f [TypeChecker] Remove @_inheritActorContext effect from synchronous types ...

The compiler would previously accept use of `@_inheritActorContext`
on a parameter with a synchronous function type which wasn't marked
as `@isolated(any)`. That is incorrect because in such cases the
attribute has no effect and furthermore would prevent Sendable
and isolation checking.

Uses like that are currently diagnosed by the type-checker but we
need to go one step further and remove the effect in such case to
prevent invalid uses.

Resolves: rdar://143581268

2025-06-10 10:15:37 -07:00

17 KiB

Raw Permalink Blame History

View Raw