// 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] | |
} |