Skip to content

[Concurency] Allow declarations with @isolated(any) parameters be m… #82689

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
merged 1 commit into from
Jul 2, 2025

Conversation

xedin
Copy link
Contributor

@xedin xedin commented Jul 1, 2025

…arked as @concurrent/nonisolated(nonsending)

It's shouldn't be possible to use these attributes directly on the function type that is @isolated(any) as per SE-0461 proposal but it shouldn't preclude declarations that have parameters with @isolated(any) from using them.

Resolves: rdar://154754939

@xedin xedin requested a review from gottesmm July 1, 2025 18:00
@xedin xedin requested review from hborla and slavapestov as code owners July 1, 2025 18:00
@xedin xedin force-pushed the rdar-154754939 branch from 508985f to 2b80bd2 Compare July 1, 2025 18:00
@xedin
Copy link
Contributor Author

xedin commented Jul 1, 2025

@swift-ci please test

@gottesmm
Copy link
Contributor

gottesmm commented Jul 1, 2025

@xedin this needs SILGen and potentially a runtime test.

@xedin
Copy link
Contributor Author

xedin commented Jul 1, 2025

Sure, I can add them!

@xedin
Copy link
Contributor Author

xedin commented Jul 1, 2025

@gottesmm I don't think this is any different from any other situation we have though because @isolated(any) on a parameter has no impact on the declaration.

@xedin
Copy link
Contributor Author

xedin commented Jul 1, 2025

Do you want to make sure that we are passing the isolation down to that function correctly when it's called?

…arked as `@concurrent`/`nonisolated(nonsending)`

It's shouldn't be possible to use these attributes directly on
the function type that is `@isolated(any)` as per SE-0461 proposal
but it shouldn't preclude declarations that have parameters with
`@isolated(any)` from using them.

Resolves: rdar://154754939
@xedin xedin force-pushed the rdar-154754939 branch from 2b80bd2 to a522448 Compare July 1, 2025 22:07
@xedin xedin requested a review from jckarter as a code owner July 1, 2025 22:07
@xedin
Copy link
Contributor Author

xedin commented Jul 1, 2025

@swift-ci please test

@xedin
Copy link
Contributor Author

xedin commented Jul 2, 2025

@swift-ci please test Windows platform

@xedin xedin merged commit c677554 into swiftlang:main Jul 2, 2025
5 checks passed
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.

2 participants