| // RUN: not %target-swift-frontend -typecheck %s | |
| struct S { | |
| // presence of a static instance seems to be | |
| // necessary to cause this problem | |
| static let s = S() | |
| } | |
| protocol P { | |
| associatedtype T | |
| init(t: T) | |
| } | |
| extension S: P { | |
| // Uncomment to stop assertion: | |
| // init(t: Int) { | |
| // self = S() | |
| // } | |
| } |