mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
02d2b4aa46
The extension may have requirements stating new conformance requirements that aren't present in the underlying substitution map for the conforming type. rdar://152164768
106 lines
2.6 KiB
Swift
106 lines
2.6 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module-path %t/print_synthesized_extensions_generics.swiftmodule -emit-module-doc -emit-module-doc-path %t/print_synthesized_extensions_generics.swiftdoc %s
|
|
// RUN: %target-swift-ide-test -print-module -synthesize-extension -print-interface -no-empty-line-between-members -module-to-print=print_synthesized_extensions_generics -I %t -source-filename=%s | %FileCheck %s
|
|
|
|
public protocol P1 {
|
|
associatedtype T
|
|
associatedtype U
|
|
}
|
|
|
|
public class A {}
|
|
public class B<T> : A {}
|
|
|
|
extension P1 where T : B<U> {
|
|
public func qux() {}
|
|
}
|
|
extension P1 where T : B<Int> {
|
|
public func flob() {}
|
|
}
|
|
|
|
public class C<T : A, U> {}
|
|
extension C : P1 {}
|
|
// CHECK: extension C where T : print_synthesized_extensions_generics.B<U> {
|
|
// CHECK-NEXT: func qux()
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: extension C where T : print_synthesized_extensions_generics.B<Int> {
|
|
// CHECK-NEXT: func flob()
|
|
// CHECK-NEXT: }
|
|
|
|
public class D<U> {}
|
|
extension D : P1 {
|
|
public typealias T = B<U>
|
|
}
|
|
// CHECK: class D<U> {
|
|
// CHECK-NEXT: func qux()
|
|
// CHECK-NEXT: }
|
|
|
|
// FIXME: Arguably we should support this
|
|
// CHECK-NOT: extension D where U == Int
|
|
|
|
public class E {}
|
|
extension E: P1 {
|
|
public typealias T = B<U>
|
|
public typealias U = Int
|
|
}
|
|
// CHECK: class E {
|
|
// CHECK-NEXT: func qux()
|
|
// CHECK-NEXT: func flob()
|
|
// CHECK-NEXT: }
|
|
|
|
public class F {}
|
|
extension F : P1 {
|
|
public typealias T = B<U>
|
|
public typealias U = String
|
|
}
|
|
// CHECK: class F {
|
|
// CHECK-NEXT: func qux()
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK-NOT: extension F where T : B<Int>
|
|
|
|
public protocol P2 {
|
|
associatedtype T : P1
|
|
}
|
|
|
|
extension P2 where T.T : A {
|
|
public func blah() {}
|
|
}
|
|
|
|
public class G<T : P1> {}
|
|
extension G : P2 {}
|
|
|
|
// CHECK: extension G where T.T : print_synthesized_extensions_generics.A {
|
|
// CHECK-NEXT: func blah()
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: extension P1 where Self.T : print_synthesized_extensions_generics.B<Self.U> {
|
|
// CHECK-NEXT: func qux()
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: extension P1 where Self.T : print_synthesized_extensions_generics.B<Int> {
|
|
// CHECK-NEXT: func flob()
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: extension P2 where Self.T.T : print_synthesized_extensions_generics.A {
|
|
// CHECK-NEXT: func blah()
|
|
// CHECK-NEXT: }
|
|
|
|
public protocol P3 {
|
|
associatedtype A
|
|
}
|
|
public protocol P4 {
|
|
associatedtype B: P3
|
|
}
|
|
|
|
public struct S1<A> {}
|
|
|
|
// Make sure we don't crash. Unfortunately we don't yet correctly output these
|
|
// though.
|
|
extension S1: P4 where A: P4, A.B.A == A {
|
|
public typealias B = A.B
|
|
}
|
|
extension P3 where A: P4, A.B.A == A {
|
|
public func foo() {}
|
|
}
|