Skip to content

[TypeChecker] Improve diagnostics for access to actor-isolated values… #81719

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
May 23, 2025

Conversation

xedin
Copy link
Contributor

@xedin xedin commented May 22, 2025

… outside of the actor

Replaces generic expression is 'async' but is not marked with 'await diagnostic with a tailed one for cases where there is an access to an actor-isolated value outside of its actor without await keyword.

This makes the diagnostics for async and sync contexts consistent and actually identifies a problem instead of simply pointing out the solution.

Resolves: rdar://151720646

@xedin
Copy link
Contributor Author

xedin commented May 22, 2025

@swift-ci please test

… outside of the actor

Replaces generic `expression is 'async' but is not marked with 'await`
diagnostic with a tailed one for cases where there is an access to an
actor-isolated value outside of its actor without `await` keyword.

This makes the diagnostics for async and sync contexts consistent
and actually identifies a problem instead of simply pointing out
the solution.

Resolves: rdar://151720646
@xedin xedin force-pushed the rdar-151720646 branch from 7a6ba8e to 9e56288 Compare May 23, 2025 07:20
@xedin
Copy link
Contributor Author

xedin commented May 23, 2025

@swift-ci please test

@xedin xedin merged commit 43c3e4a into swiftlang:main May 23, 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