mirror of
https://github.com/apple/swift.git
synced 2026-10-08 12:50:50 +02:00
Aviva Ruben
019ddea691
Leans on the previous refactor to apply file-level default isolation via isolation inference. Follows the 'final' version of 478, so top level globals are included in file-level default isolation. Adds `effectivelyExplicit` method, to be used instead of checking for the Explicit enum value directly, since a file-level default isolation should be treated as effectively default for free un/adopt (the non-explicit form would be unintuitive to express without the module feature flag). This commit will diagnose @available or @diagnose until the next commit... Note that computeActorIsolation needs to be updated to accept isolation on file-scope global stored properties, the old check was too broad, and in (i think?) trying to reject isolation on computed properties of types, also rejected it on top-level code.