// RUN: not %target-swift-frontend %s -typecheck

protocol DC {
  init()
}

protocol P {
  associatedtype A: DC

  func f() -> A
}

protocol Q: P {
  associatedtype A
}

extension Q {
  func f() -> A { return A() }
}

struct X<T> { }

extension X: P where T: P {
  typealias A = T.A
}

extension X: Q where T: Q {
}