[SR-10483] Proto: Class + Class: Proto + default witness causes conformance error #52883
Description
| Previous ID | SR-10483 |
| Radar | None |
| Original Reporter | @AnthonyLatsis |
| Type | Bug |
| Status | In Progress |
| Resolution |
Environment
Xcode 10.2
Additional Detail from JIRA
| Votes | 0 |
| Component/s | Compiler |
| Labels | Bug |
| Assignee | @AnthonyLatsis |
| Priority | Medium |
md5: c46ccac37ead8a2381cdb08fa1486b14
Issue Description:
class A: P {} // error: type 'A' does not conform to protocol 'P'
protocol P: A {
func foo()
}
extension P {
func foo() {}
}