// 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()
//  }
}