mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
85 lines
2.7 KiB
Swift
85 lines
2.7 KiB
Swift
// RUN: %target-typecheck-verify-swift -swift-version 4
|
|
|
|
func needsSameType<T>(_: T.Type, _: T.Type) {}
|
|
|
|
protocol Foo {}
|
|
func needsFoo<T: Foo>(_: T.Type) {}
|
|
|
|
protocol Foo2 {}
|
|
func needsFoo2<T: Foo2>(_: T.Type) {}
|
|
|
|
extension Int: Foo, Foo2 {}
|
|
extension Float: Foo {}
|
|
|
|
protocol Parent {
|
|
associatedtype T
|
|
}
|
|
func needsParent<X: Parent>(_: X.Type) {}
|
|
struct ConcreteParent: Parent { typealias T = Int }
|
|
struct ConcreteParent2: Parent { typealias T = Int }
|
|
struct ConcreteParentNonFoo2: Parent { typealias T = Float }
|
|
|
|
protocol SecondParent {
|
|
associatedtype U
|
|
}
|
|
struct ConcreteSecondParent: SecondParent { typealias U = Int }
|
|
struct ConcreteSecondParent2: SecondParent { typealias U = Int }
|
|
struct ConcreteSecondParentNonFoo2: SecondParent { typealias U = Float }
|
|
|
|
protocol Conforms: Parent where T: Foo {}
|
|
extension Conforms { func foo(_: T) {} }
|
|
func needsConforms<X: Conforms>(_: X.Type) {
|
|
needsFoo(X.T.self)
|
|
}
|
|
struct ConcreteConforms: Conforms {
|
|
typealias T = Int
|
|
}
|
|
struct BadConcreteConforms: Conforms {
|
|
// expected-error@-1 {{type 'BadConcreteConforms' does not conform to protocol 'Conforms}}
|
|
// expected-error@-2 {{type 'BadConcreteConforms.T' (aka 'String') does not conform to protocol 'Foo'}}
|
|
typealias T = String
|
|
}
|
|
|
|
protocol SameType: Parent, SecondParent where T == U { }
|
|
func needsSameTypeProtocol<X: SameType>(_: X.Type) {
|
|
needsSameType(X.T.self, X.U.self)
|
|
}
|
|
struct ConcreteSameType: SameType {
|
|
typealias T = Int
|
|
typealias U = Int
|
|
}
|
|
struct BadConcreteSameType: SameType {
|
|
// expected-error@-1 {{type 'BadConcreteSameType' does not conform to protocol 'SameType'}}
|
|
// expected-error@-2 {{'SameType' requires the types 'BadConcreteSameType.T' (aka 'Int') and 'BadConcreteSameType.U' (aka 'Float') be equivalent}}
|
|
// expected-note@-3 {{requirement specified as 'Self.T' == 'Self.U' [with Self = BadConcreteSameType]}}
|
|
typealias T = Int
|
|
typealias U = Float
|
|
}
|
|
|
|
// <rdar://problem/31041997> Some where-clause requirements aren't checked on conforming types
|
|
protocol NestedConforms: SecondParent where U: Parent, U.T: Foo2 {}
|
|
func needsNestedConforms<X: NestedConforms>(_: X.Type) {
|
|
needsParent(X.U.self)
|
|
needsFoo2(X.U.T.self)
|
|
}
|
|
struct ConcreteNestedConforms: NestedConforms {
|
|
typealias U = ConcreteParent
|
|
}
|
|
struct BadConcreteNestedConforms: NestedConforms {
|
|
// expected-error@-1 {{type 'BadConcreteNestedConforms' does not conform to protocol 'NestedConforms'}}
|
|
// expected-error@-2 {{type 'ConcreteParentNonFoo2.T' (aka 'Float') does not conform to protocol 'Foo2'}}
|
|
typealias U = ConcreteParentNonFoo2
|
|
}
|
|
|
|
|
|
// https://github.com/apple/swift/issues/47270
|
|
|
|
protocol P1 {}
|
|
struct X: P1 {}
|
|
struct Y<T: P1> {}
|
|
|
|
protocol P2 {
|
|
associatedtype AT
|
|
}
|
|
protocol P3: P2 where AT == Y<X> {}
|