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-6914] Extensions don't add conformance to inherited protocols #49463

Closed
swift-ci opened this issue Feb 3, 2018 · 3 comments
Closed

[SR-6914] Extensions don't add conformance to inherited protocols #49463

swift-ci opened this issue Feb 3, 2018 · 3 comments
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself conditional conformances Feature → protocol → conformances: conditional conformances

Comments

@swift-ci
Copy link
Collaborator

swift-ci commented Feb 3, 2018

Previous ID SR-6914
Radar None
Original Reporter Claus Ruete (JIRA User)
Type Bug
Status Resolved
Resolution Duplicate
Environment

Xcode 9.2, newest Swift 4.1 compiler available for download, compiling to macOS

Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Bug, ConditionalConformance
Assignee None
Priority Medium

md5: f683d5a7647a6342152a7071c9036e6f

duplicates:

  • SR-6474 Conditional conformance to refined protocol inappropriately fails

relates to:

  • SR-6922 [SE-0143] [release mode] type ... does not conform to protocol ...

Issue Description:

protocol A { }

protocol B: A { }

struct C<D> { }

struct E { }

extension C: B where D == E { }

This stuff causes the compiler to cry about C not conforming to a.

Workaround: {code:swift}extension C: A, B where D == E { }
@swift-ci
Copy link
Collaborator Author

swift-ci commented Feb 3, 2018

Comment by Claus Ruete (JIRA)

Also, there should be a "source-code formatter" for Swift. That would be very appropriate for the Swift bug tracker.

@belkadan
Copy link
Contributor

belkadan commented Feb 5, 2018

@DougGregor, you were working on this, right?

[re: formatter: it turns out to be non-trivial to add formatters to JIRA's default renderer, but changing to a different renderer would mess up all existing posts]

@belkadan
Copy link
Contributor

Consolidating.

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself conditional conformances Feature → protocol → conformances: conditional conformances
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@belkadan @swift-ci