Skip to content

[6.0] [Sema] Requestify pattern resolution #74587

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

hamishknight
Copy link
Contributor

6.0 cherry-pick of #74387

  • Explanation: Fixes a crash that could occur when completing for a pattern argument
  • Scope: Affects code completion in patterns
  • Issue: rdar://128661960
  • Risk: Low, the fix is fairly straightforward
  • Testing: Added tests to test suite
  • Reviewer: Rintaro Ishizaki, Pavel Yaskevich

Add a cached request to perform pattern resolution.
This is needed to prevent the constraint system
from resolving the same pattern multiple times
along different solver paths, which could result
in creating different pattern nodes for each path.
Once pattern resolution is moved to pre-checking
we ought to be able to make this uncached.

rdar://128661960
@hamishknight hamishknight added 🍒 release cherry pick Flag: Release branch cherry picks swift 6.0 labels Jun 20, 2024
@hamishknight hamishknight requested a review from bnbarham June 20, 2024 20:32
@hamishknight hamishknight requested a review from a team as a code owner June 20, 2024 20:32
@hamishknight
Copy link
Contributor Author

@swift-ci please test

@hamishknight
Copy link
Contributor Author

@swift-ci please test Windows

@hamishknight hamishknight merged commit e296735 into swiftlang:release/6.0 Jun 21, 2024
4 checks passed
@hamishknight hamishknight deleted the pattern-resolution-6.0 branch June 21, 2024 15:59
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 6.0
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants