Skip to content

Preliminary support for member type representations with non-identifier qualifiers #62319

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 9 commits into from
Jan 7, 2023

Conversation

AnthonyLatsis
Copy link
Collaborator

@AnthonyLatsis AnthonyLatsis commented Nov 30, 2022

Silly example: [Int].Element. This patch simply paves the way — no functional changes except for that one diagnostic. Beside tackling the edge case of sugared qualifiers, this will later allow us to diagnose illegal type qualification in Sema and lay the foundation for expressing structural qualifiers in the future if the need arises.

Partially resolves #59923

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test macOS

@AnthonyLatsis AnthonyLatsis added sugared types Feature: sugared types, e.g. 'Int?' or '[Int]' compiler The Swift compiler itself labels Nov 30, 2022
@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test macOS

@AnthonyLatsis AnthonyLatsis added the nested types Feature: nested types label Dec 1, 2022
@AnthonyLatsis AnthonyLatsis changed the title Preliminary support for member type representations with sugared base components Preliminary support for member type representations with non-identifier qualifiers Dec 5, 2022
@AnthonyLatsis
Copy link
Collaborator Author

@slavapestov ping

@AnthonyLatsis
Copy link
Collaborator Author

@hborla ping

@hborla
Copy link
Member

hborla commented Dec 20, 2022

@AnthonyLatsis thank you for the ping! This is on my TODO list to review today/tomorrow

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test macOS

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test

@AnthonyLatsis
Copy link
Collaborator Author

@swift-ci please smoke test Linux

@AnthonyLatsis AnthonyLatsis merged commit 14394ad into swiftlang:main Jan 7, 2023
@AnthonyLatsis AnthonyLatsis deleted the sugar-type-members branch January 7, 2023 22:39
@AnthonyLatsis
Copy link
Collaborator Author

Thanks, Holly!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
compiler The Swift compiler itself nested types Feature: nested types sugared types Feature: sugared types, e.g. 'Int?' or '[Int]'
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Issue accessing nested types on sugared types
2 participants