Skip to content

[Concurrency] Handle self apply exprs when computing @preconcurency in the availability checker. #77510

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
Nov 11, 2024

Conversation

hborla
Copy link
Member

@hborla hborla commented Nov 9, 2024

Otherwise, the availability checker won't appropriately downgrade unavailable Sendable conformances for @preconcurrency declarations.

@hborla hborla requested review from ktoso and tshortli as code owners November 9, 2024 18:14
@hborla
Copy link
Member Author

hborla commented Nov 9, 2024

@swift-ci please build toolchain

@hborla
Copy link
Member Author

hborla commented Nov 9, 2024

@swift-ci please smoke test

@hborla hborla merged commit f8bb5d1 into swiftlang:main Nov 11, 2024
6 checks passed
@hborla hborla deleted the preconcurrency-downgrade branch November 11, 2024 17:26
xedin added a commit to xedin/swift that referenced this pull request Feb 14, 2025
…expressions

This expands swiftlang#77510 to base
expressions of calls, subscripts and members to make sure that if
the base has `@preconcurrency` declaration at some level. Otherwise,
the availability checker won't appropriately downgrade unavailable
`Sendable` conformances for `@preconcurrency` declarations.
xedin added a commit to xedin/swift that referenced this pull request Feb 17, 2025
…expressions

This expands swiftlang#77510 to base
expressions of calls, subscripts and members to make sure that if
the base has `@preconcurrency` declaration at some level. Otherwise,
the availability checker won't appropriately downgrade unavailable
`Sendable` conformances for `@preconcurrency` declarations.

(cherry picked from commit aa0b356)
xedin added a commit to xedin/swift that referenced this pull request Feb 17, 2025
…expressions

This expands swiftlang#77510 to base
expressions of calls, subscripts and members to make sure that if
the base has `@preconcurrency` declaration at some level. Otherwise,
the availability checker won't appropriately downgrade unavailable
`Sendable` conformances for `@preconcurrency` declarations.

(cherry picked from commit aa0b356)
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