[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/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/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
 }