[Variadic Generics] fix tests incorrect pack expansion syntax in some tests, but also disable them due to triggering a constraints checker assertion

Author: sophiapoirier

test/Constraints/pack_expansion_types.swift

@@ -257,7 +257,7 @@ func patternInstantiationConcreteInvalid() {
   let _: (Array<Int>, Set<String>) = patternInstantiationTupleTest1() // expected-error {{type of expression is ambiguous without more context}}
 }
 
-func patternInstantiationGenericValid<T..., U...>(t: repeat each T, u: repeat each U) where (repeat (each T, each U)): Any, T: Hashable {
+func patternInstantiationGenericValid<T..., U...>(t: repeat each T, u: repeat each U) where (repeat (each T, each U)): Any, each T: Hashable {
   let _: (repeat Array<each T>) = patternInstantiationTupleTest1()
   let _: (repeat Array<each T>, Array<String>) = patternInstantiationTupleTest1()
   let _: (Array<String>, repeat Array<each T>) = patternInstantiationTupleTest1()
@@ -279,7 +279,7 @@ func patternInstantiationGenericValid<T..., U...>(t: repeat each T, u: repeat ea
   let _: (Dictionary<Int, String>, repeat Dictionary<each T, each U>, Dictionary<Double, Character>) -> () = patternInstantiationFunctionTest2()
 }
 
-func patternInstantiationGenericInvalid<T...>(t: repeat each T) where T: Hashable {
+func patternInstantiationGenericInvalid<T...>(t: repeat each T) where each T: Hashable {
   let _: (repeat Set<each T>) = patternInstantiationTupleTest1() // expected-error {{cannot convert value of type '(repeat Array<each T>)' to specified type '(repeat Set<each T>)}}
   // expected-error@-1 {{generic parameter 'T' could not be inferred}}
 

test/Constraints/variadic_generic_constraints.swift

@@ -47,7 +47,7 @@ takesAnyObject(C(), S(), C())  // expected-error {{type of expression is ambiguo
 
 // Same-type requirements
 
-func takesParallelSequences<T..., U...>(t: repeat each T, u: repeat each U) where T: Sequence, U: Sequence, T.Element == U.Element {}
+func takesParallelSequences<T..., U...>(t: repeat each T, u: repeat each U) where each T: Sequence, each U: Sequence, each T.Element == each U.Element {}
 // expected-note@-1 {{where 'T.Element' = 'String', 'U.Element' = 'Int'}}
 
 takesParallelSequences()  // ok

test/Constraints/variadic_generic_functions.swift

@@ -3,15 +3,15 @@
 // REQUIRES: asserts
 
 func debugPrint<T...>(_ items: repeat each T)
-  where T: CustomDebugStringConvertible
+  where each T: CustomDebugStringConvertible
 {
   /*for (item: T) in items {
     stdout.write(item.debugDescription)
   }*/
 }
 
 func max<T...>(_ values: repeat each T) -> T?
-  where T: Comparable
+  where each T: Comparable
 {
   return nil
 }

test/Constraints/variadic_generic_types.swift

@@ -1,3 +1,5 @@
+// REQUIRES: rdar104716322
+
 // RUN: %target-typecheck-verify-swift -enable-experimental-feature VariadicGenerics
 
 // REQUIRES: asserts
@@ -9,17 +11,16 @@ func f<T...>(_: repeat each T) {
   _ = G< >.self
   _ = G<Int>.self
   _ = G<Int, String>.self
-  _ = G<repeat T>.self
-  _ = G<Int, repeat Array<T>>.self
+  _ = G<repeat each T>.self
+  _ = G<Int, repeat Array<each T>>.self
 }
 
 // Forming PackExpansionTypeReprs in simplifyTypeExpr()
 func g<T...>(_: repeat each T) {
-  _ = (repeat T).self
-  _ = (Int, repeat T).self
-  _ = ((repeat T) -> ()).self
-  _ = ((Int, repeat Array<T>) -> ()).self
+  _ = (repeat each T).self
+  _ = (Int, repeat each T).self
+  _ = ((repeat each T) -> ()).self
+  _ = ((Int, repeat Array<each T>) -> ()).self
 
-  _ = (repeat Int).self // expected-error {{variadic expansion 'Int' must contain at least one variadic generic parameter}}
+  _ = (repeat each Int).self // expected-error {{variadic expansion 'Int' must contain at least one variadic generic parameter}}
 }
-

test/Generics/pack-shape-requirements.swift

@@ -13,7 +13,7 @@ func inferSameShape<T..., U...>(ts t: repeat each T, us u: repeat each U) where
 
 // CHECK-LABEL: desugarSameShape(ts:us:)
 // CHECK-NEXT: Generic signature: <T..., U... where T : P, ((T, U)...) : Any, U : P>
-func desugarSameShape<T..., U...>(ts t: repeat each T, us u: repeat each U) where T: P, U: P, (repeat (each T.A, each U.A)): Any {
+func desugarSameShape<T..., U...>(ts t: repeat each T, us u: repeat each U) where each T: P, each U: P, (repeat (each T.A, each U.A)): Any {
 }
 
 // CHECK-LABEL: multipleSameShape1(ts:us:vs:)

test/Generics/tuple-conformances.swift

@@ -11,7 +11,7 @@ protocol P {
   func f()
 }
 
-extension Builtin.TheTupleType: P where Elements: P {
+extension Builtin.TheTupleType: P where each Elements: P {
   typealias A = (repeat each Elements.A)
   typealias B = Float
   func f() {}

test/IRGen/variadic_generic_types.swift

@@ -1,3 +1,5 @@
+// REQUIRES: rdar104716322
+
 // RUN: %target-swift-frontend -emit-ir -primary-file %s -enable-experimental-feature VariadicGenerics | %FileCheck %s
 
 // Because of -enable-experimental-feature VariadicGenerics
@@ -18,7 +20,7 @@ struct G<T...> {
   }
 
   func makeTuple1() -> (repeat each T).Type {
-    return (repeat T).self
+    return (repeat each T).self
   }
 
   func makeTuple2() -> (repeat Array<each T>).Type {

test/Interpreter/variadic_generic_types.swift

@@ -1,3 +1,5 @@
+// REQUIRES: rdar104716322
+
 // RUN: %target-run-simple-swift(-enable-experimental-feature VariadicGenerics) | %FileCheck %s
 
 // REQUIRES: executable_test
@@ -7,7 +9,7 @@
 
 struct G<T...> {
   func makeTuple() {
-    print((repeat (Array<T>)).self)
+    print((repeat (Array<each T>)).self)
   }
 }
 

test/SILGen/pack_expansion_type.swift

@@ -1,3 +1,5 @@
+// REQUIRES: rdar104716322
+
 // RUN: %target-swift-emit-silgen %s -enable-experimental-feature VariadicGenerics | %FileCheck %s
 
 // Experimental features require an asserts compiler
@@ -36,10 +38,10 @@ func variadicMetatypes<T...>(_: repeat each T) {
   _ = VariadicType< >.self
   _ = VariadicType<Int>.self
   _ = VariadicType<Int, String>.self
-  _ = VariadicType<repeat T>.self
-  _ = VariadicType<Int, repeat Array<T>>.self
-  _ = (repeat T).self
-  _ = (Int, repeat Array<T>).self
-  _ = ((repeat T) -> ()).self
-  _ = ((Int, repeat Array<T>) -> ()).self
+  _ = VariadicType<repeat each T>.self
+  _ = VariadicType<Int, repeat Array<each T>>.self
+  _ = (repeat each T).self
+  _ = (Int, repeat Array<each T>).self
+  _ = ((repeat each T) -> ()).self
+  _ = ((Int, repeat Array<each T>) -> ()).self
 }

test/type/pack_expansion.swift

@@ -61,7 +61,7 @@ struct Outer<T...> {
   }
 
   struct AlsoGood<U...> {
-    typealias Value = (repeat (T, E<repeat each U>))
+    typealias Value = (repeat (each T, E<repeat each U>))
   }
 }