swift/test/ModuleInterface/conditional_pack_requirements.swift at main · ian-twilightcoder/swift · GitHub

Name: swift/test/ModuleInterface/conditional_pack_requirements.swift at main · ian-twilightcoder/swift · GitHub
Rating: 4.5 (7583 reviews)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/conditional_pack_requirements.swiftinterface) %s -target %target-swift-5.9-abi-triple
// RUN: %FileCheck %s < %t/conditional_pack_requirements.swiftinterface

publicprotocolP{
associatedtypeA
}

publicprotocolQ{}

publicclassC<eachT>{}

publicstructGG1<A:P,eachB:P>where A.A ==C<repeat(eachB).A>{}

extensionGG1:Qwhere A:Q,repeateachB:Q{}

// CHECK-LABEL: public struct GG1<A, each B> where A : conditional_pack_requirements.P, repeat each B : conditional_pack_requirements.P, A.A == conditional_pack_requirements.C<repeat (each B).A> {
// CHECK-LABEL: extension conditional_pack_requirements.GG1 : conditional_pack_requirements.Q where A : conditional_pack_requirements.Q, repeat each B : conditional_pack_requirements.Q {


publicstructGG2<eachA:P>{
publicstructNested<eachB:P>whererepeat(eachA).A ==(eachB).A {}
}

extensionGG2.Nested:QwhererepeateachA:Q,repeateachB:Q{}

// CHECK-LABEL: public struct GG2<each A> where repeat each A : conditional_pack_requirements.P {
// CHECK-LABEL: public struct Nested<each B> where repeat each B : conditional_pack_requirements.P, repeat (each A).A == (each B).A {
// CHECK-LABEL: extension conditional_pack_requirements.GG2.Nested : conditional_pack_requirements.Q where repeat each A : conditional_pack_requirements.Q, repeat each B : conditional_pack_requirements.Q {


publicstructGG3<A:P,eachB:P>where A.A :C<repeat(eachB).A>{}

extensionGG3:Qwhere A:Q,repeateachB:Q{}

// CHECK-LABEL: public struct GG3<A, each B> where A : conditional_pack_requirements.P, repeat each B : conditional_pack_requirements.P, A.A : conditional_pack_requirements.C<repeat (each B).A> {
// CHECK-LABEL: extension conditional_pack_requirements.GG3 : conditional_pack_requirements.Q where A : conditional_pack_requirements.Q, repeat each B : conditional_pack_requirements.Q {


publicstructGG4<eachA:P>{
publicstructNested<eachB:P>whererepeat(eachA).A :C<(eachB).A>{}
}

extensionGG4.Nested:QwhererepeateachA:Q,repeateachB:Q{}

// CHECK-LABEL: public struct GG4<each A> where repeat each A : conditional_pack_requirements.P {
// CHECK-LABEL: public struct Nested<each B> where repeat each B : conditional_pack_requirements.P, repeat (each A).A : conditional_pack_requirements.C<(each B).A> {
// CHECK-LABEL: extension conditional_pack_requirements.GG4.Nested : conditional_pack_requirements.Q where repeat each A : conditional_pack_requirements.Q, repeat each B : conditional_pack_requirements.Q {