Skip to content

[5.9] [CS] A couple of ExprPattern conjunction fixes #66566

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 2 commits into from
Jun 13, 2023

Conversation

hamishknight
Copy link
Contributor

5.9 cherry-pick of #66565

  • Explanation: Fixes a couple of issues where ExprPatterns could fail to resolve references to variables in the local scope.
  • Scope: Affects ExprPattern type-checking.
  • Radars: rdar://110617471, rdar://110649179
  • Risk: Low, extends existing conjunction solving logic to cover more cases.
  • Testing: Added tests to test suite
  • Reviewer: Pavel Yaskevich

Previously we would skip over ExprPatterns, but
we need to ensure that we walk them, as they may
have interesting variable references that the
closure needs to be connected to the type
variables for.

rdar://110617471
Apply the same logic that we apply to other
conjunction elements, to make sure that e.g
property wrapper projected values work correctly.

rdar://110649179
@hamishknight hamishknight requested a review from a team as a code owner June 12, 2023 17:42
@hamishknight
Copy link
Contributor Author

@swift-ci please test

@hamishknight hamishknight added swift 5.9 🍒 release cherry pick Flag: Release branch cherry picks labels Jun 12, 2023
@hamishknight hamishknight merged commit c3696ba into swiftlang:release/5.9 Jun 13, 2023
@hamishknight hamishknight deleted the connect-two-5.9 branch June 13, 2023 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🍒 release cherry pick Flag: Release branch cherry picks swift 5.9
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants