-
Notifications
You must be signed in to change notification settings - Fork 10.5k
[Sema] Improve diagnoses of generic specializations #75526
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
Conversation
@swift-ci Please test source compatibility. |
@swift-ci Please smoke test. |
Looks like smoke test failed because of this test: swiftlang/swift-integration-tests#143 @swift-ci Please smoke test. |
@swift-ci Please smoke test. |
Added warning for macros and then squashed. @swift-ci Please smoke test. |
@swift-ci Please smoke test. |
@swift-ci Please smoke test. |
Always add constraints, find fixes during simplify. New separate fix for allow generic function specialization. Improve parse heuristic for isGenericTypeDisambiguatingToken. Degrade concrete type specialization fix to warning for macros.
@swift-ci Please smoke test. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thank you!
Let's run source compat, just in case. |
@swift-ci please test source compatibility |
I want to see how that warning looks like now in penny-bot project. |
Reapplication of PR #74909 (which got rolled back) along with PR #75463. Reapplied to up-to-date main branch and an addition to work around issue #75500.