Skip to content

Teach diagnostic about non-Sendable global lets to respect @preconcurrency #73676

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

DougGregor
Copy link
Member

@DougGregor DougGregor commented May 16, 2024

The diagnostic for non-Sendable globa/static let properties was checking for a Sendable conformance without considering @preconcurrency. Emit this diagnostic via a @preconcurrency-sensitive path.

Fixes rdar://121889248.
Fixes #72182.

…currency`

The diagnostic for non-Sendable globa/static `let` properties was checking
for a Sendable conformance without considering `@preconcurrency`. Emit
this diagnostic via a `@preconcurrency`-sensitive path.

Fixes rdar://121889248.
@DougGregor
Copy link
Member Author

@swift-ci please smoke test

@DougGregor DougGregor merged commit ffba38d into swiftlang:main May 16, 2024
3 checks passed
@DougGregor DougGregor deleted the global-sendable-let-preconcurrency branch May 16, 2024 22:02
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.

@preconcurrency fails to suppress concurrency warnings
1 participant