Sema: Split up test/Constraints/type_sequences.swift

Author: slavapestov

test/Constraints/type_sequence.swift renamed to test/Constraints/variadic_generic_functions.swift

@@ -1,10 +1,5 @@
 // RUN: %target-typecheck-verify-swift -enable-experimental-variadic-generics
 
-struct TupleStruct<First, Rest...> {
-  var first: First
-  var rest: (Rest...)
-}
-
 func debugPrint<T...>(_ items: T...)
   where T: CustomDebugStringConvertible
 {
@@ -23,44 +18,6 @@ func min<T...: Comparable>(_ values: T...) -> T? {
   return nil
 }
 
-func directAliases() {
-  typealias Tuple<Ts...> = (Ts...)
-
-  typealias Many<T, U, V, Ws...> = Tuple<T, U, V, Ws... >
-
-  let _: Many<Int, String, Double, Void, Void, Void, Void> = 42 // expected-error {{cannot convert value of type 'Int' to specified type}}
-}
-
-func bindPrefix() {
-  struct Bind<Prefix, U...> {}
-
-  typealias TooFew0 = Bind<> // expected-error {{expected type}}
-  typealias TooFew1 = Bind<String> // OK
-  typealias TooFew2 = Bind<String, String> // OK
-  typealias JustRight = Bind<String, String, String> // OK
-  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
-}
-
-func bindSuffix() {
-  struct Bind<U..., Suffix> {}
-
-  typealias TooFew0 = Bind<> // expected-error {{expected type}}
-  typealias TooFew1 = Bind<String> // OK
-  typealias TooFew2 = Bind<String, String> // OK
-  typealias JustRight = Bind<String, String, String> // OK
-  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
-}
-
-func bindPrefixAndSuffix() {
-  struct Bind<Prefix, U..., Suffix> {} // expected-note {{generic type 'Bind' declared here}}
-
-  typealias TooFew0 = Bind<> // expected-error {{expected type}}
-  typealias TooFew1 = Bind<String> // expected-error {{generic type 'Bind' specialized with too few type parameters (got 1, but expected at least 2)}}
-  typealias TooFew2 = Bind<String, String> // OK
-  typealias JustRight = Bind<String, String, String> // OK
-  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
-}
-
 func invalidPacks() {
   func monovariadic1() -> (String...) {} // expected-error {{variadic expansion 'String' must contain at least one variadic generic parameter}}
   func monovariadic2<T>() -> (T...) {} // expected-error {{variadic expansion 'T' must contain at least one variadic generic parameter}}

test/Generics/variadic_generic_types.swift

@@ -0,0 +1,44 @@
+// RUN: %target-typecheck-verify-swift -enable-experimental-variadic-generics
+
+struct TupleStruct<First, Rest...> {
+  var first: First
+  var rest: (Rest...)
+}
+
+func directAliases() {
+  typealias Tuple<Ts...> = (Ts...)
+
+  typealias Many<T, U, V, Ws...> = Tuple<T, U, V, Ws... >
+
+  let _: Many<Int, String, Double, Void, Void, Void, Void> = 42 // expected-error {{cannot convert value of type 'Int' to specified type}}
+}
+
+func bindPrefix() {
+  struct Bind<Prefix, U...> {}
+
+  typealias TooFew0 = Bind<> // expected-error {{expected type}}
+  typealias TooFew1 = Bind<String> // OK
+  typealias TooFew2 = Bind<String, String> // OK
+  typealias JustRight = Bind<String, String, String> // OK
+  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
+}
+
+func bindSuffix() {
+  struct Bind<U..., Suffix> {}
+
+  typealias TooFew0 = Bind<> // expected-error {{expected type}}
+  typealias TooFew1 = Bind<String> // OK
+  typealias TooFew2 = Bind<String, String> // OK
+  typealias JustRight = Bind<String, String, String> // OK
+  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
+}
+
+func bindPrefixAndSuffix() {
+  struct Bind<Prefix, U..., Suffix> {} // expected-note {{generic type 'Bind' declared here}}
+
+  typealias TooFew0 = Bind<> // expected-error {{expected type}}
+  typealias TooFew1 = Bind<String> // expected-error {{generic type 'Bind' specialized with too few type parameters (got 1, but expected at least 2)}}
+  typealias TooFew2 = Bind<String, String> // OK
+  typealias JustRight = Bind<String, String, String> // OK
+  typealias Oversaturated = Bind<String, String, String, String, String, String, String, String> // OK
+}