mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
1f008fb0d0
And update tests to use them. This commit depends on fixes in swiftlang/swift PRs #86905, #87129, and #87130. Fixes rdar://169749886.
15 lines
709 B
Swift
15 lines
709 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-emit-module-interface(%t/ParameterizedProtocols.swiftinterface) %s -module-name ParameterizedProtocols
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t/ParameterizedProtocols.swiftinterface) -module-name ParameterizedProtocols
|
|
// RUN: %FileCheck %s < %t/ParameterizedProtocols.swiftinterface
|
|
|
|
public protocol HasPrimaryAssociatedTypes<T, U> {
|
|
associatedtype T : Collection where T.Element == U
|
|
associatedtype U : Equatable
|
|
}
|
|
|
|
// CHECK: public protocol HasPrimaryAssociatedTypes<T, U> {
|
|
// CHECK-NEXT: associatedtype T : Swift::Collection
|
|
// CHECK-NEXT: associatedtype U : Swift::Equatable where Self.U == Self.T.Element
|
|
// CHECK-NEXT: }
|