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-13169] Sema: lift derivative registration restriction for protocol requirements #55611

Open
dan-zheng opened this issue Jul 7, 2020 · 2 comments
Open

[SR-13169] Sema: lift derivative registration restriction for protocol requirements #55611

dan-zheng opened this issue Jul 7, 2020 · 2 comments

Comments

@dan-zheng
Copy link
Collaborator

Previous ID SR-13169
Radar rdar://problem/69987699
Original Reporter @dan-zheng
Type Sub-task
Additional Detail from JIRA
Votes 0
Component/s
Labels Sub-task
Assignee None
Priority Medium

md5: 2a7d1215db20e6b052a6a57349233222

Parent-Task:

  • SR-13166 Default derivative implementations for protocol requirements

Issue Description:

Currently, derivative registration (via @derivative attribute) is banned for protocol requirements, precisely because default derivative implementations is not supported.

We need to lift this type-checking restriction to test default derivative implementations of protocol requirements.

To do that: delete AbstractFunctionDeclLookupErrorKind::CandidateProtocolRequirement and associated diagnostics.
@swift-ci
Copy link
Collaborator

Comment by Mustafa YALCIN (JIRA)

3

@rxwei
Copy link
Member

rxwei commented Oct 6, 2020

@swift-ci create

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@rxwei @dan-zheng @swift-ci