Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[SR-3716] Allow generic constraints in generic extensions #46301

Open
iby opened this issue Jan 25, 2017 · 3 comments
Open

[SR-3716] Allow generic constraints in generic extensions #46301

iby opened this issue Jan 25, 2017 · 3 comments
Labels
compiler The Swift compiler in itself feature A feature request or implementation generics Feature: generic declarations and types swift evolution proposal needed Flag → feature: A feature that warrants a Swift evolution proposal

Comments

@iby
Copy link

iby commented Jan 25, 2017

Previous ID SR-3716
Radar None
Original Reporter @iby
Type New Feature
Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels New Feature, LanguageFeatureRequest
Assignee None
Priority Medium

md5: f916cdbe37c3981324bd7a8a9bd20dc4

Issue Description:

Consider the following situation, where T1 and T2 can be of any type.
@iby
Copy link
Author

iby commented Jan 25, 2017

@DougGregor I found your manifesto related to this matter, did it get anywhere?

@DougGregor
Copy link
Member

The manifesto proposed some syntax like this:

{code}
extension<T2> Foo where T1 == Bar<T2> { ... }
{code}

As far as I know, nobody has thought about this beyond what's in the generics manifesto. It's a big feature, so it won't happen in Swift 4.

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
@shengyang998
Copy link

Any progress about this feature? How can I help?

@AnthonyLatsis AnthonyLatsis added swift evolution proposal needed Flag → feature: A feature that warrants a Swift evolution proposal generics Feature: generic declarations and types and removed new feature labels Nov 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler The Swift compiler in itself feature A feature request or implementation generics Feature: generic declarations and types swift evolution proposal needed Flag → feature: A feature that warrants a Swift evolution proposal
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@DougGregor @iby @shengyang998 @AnthonyLatsis