Skip to content

[region-isolation] Propagate global actor-ness of functions/closures. #72710

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

gottesmm
Copy link
Contributor

I fixed a bunch of small issues around here that resulted in a bunch of radars
being fixed. Specifically:

  1. I made it so that we treat function_refs that are from an actor isolated
    function as actor isolated instead of sendable.

  2. I made it so that autoclosures which return global actor isolated functions
    are treated as producing a global actor isolated function.

  3. I made it so that we properly handle SILGen code patterns produced by
    Sendable GlobalActor isolated things.

rdar://125452372
rdar://121954871
rdar://121955895
rdar://122692698

@gottesmm gottesmm requested a review from ktoso as a code owner March 29, 2024 20:37
@gottesmm
Copy link
Contributor Author

@swift-ci smoke test

@gottesmm gottesmm enabled auto-merge March 29, 2024 20:37
@gottesmm
Copy link
Contributor Author

Forgot to include the Input file for the test... :doh:

ActorIsolation already has a "I have no value case": unspecified. Lets just use
that.

Just a mistake I made that I am trying to fix before anything further depends on
this code.
I fixed a bunch of small issues around here that resulted in a bunch of radars
being fixed. Specifically:

1. I made it so that we treat function_refs that are from an actor isolated
function as actor isolated instead of sendable.

2. I made it so that autoclosures which return global actor isolated functions
are treated as producing a global actor isolated function.

3. I made it so that we properly handle SILGen code patterns produced by
Sendable GlobalActor isolated things.

rdar://125452372
rdar://121954871
rdar://121955895
rdar://122692698
@gottesmm gottesmm force-pushed the pr-feb1fe7a002640b270451f2187f141f4ed5da65d branch from 11a106e to 1cf4e99 Compare March 29, 2024 21:39
@gottesmm
Copy link
Contributor Author

@swift-ci smoke test

@gottesmm gottesmm merged commit 604d403 into swiftlang:main Mar 30, 2024
@gottesmm gottesmm deleted the pr-feb1fe7a002640b270451f2187f141f4ed5da65d branch March 30, 2024 01:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant