// RUN: %empty-directory(%t)
// RUN: %target-build-swift -emit-module-path %t/foo.swiftmodule %s

public protocol P { }
public struct X<T: P> {
  public init() { }
}
public protocol Q {
  associatedtype A: P
  associatedtype C: Collection where C.Element == MyX
  typealias MyX = X<A>
}
public struct Y: P { }
extension X: Q {
  public typealias A = Y
  public typealias C = [MyX]
}