fix: tuple flow types

README.md

@@ -419,7 +419,7 @@ A validator that requires the value to be an instance of `Date`.
 ### `t.tuple(t.string(), t.number())`
 
 A validator that requires the value to be `[string, number]`.
-Accepts a variable number of arguments.
+Accepts a variable number of arguments, though type generation for Flow is only overloaded up to 8 arguments.
 
 ### `t.allOf(A, B)`
 

src/index.js.flow

@@ -155,9 +155,46 @@ declare export function record<K: string | number | symbol, V>(
 
 declare export function instanceOf<T>(classType: () => Class<T>): Type<T>
 
-declare export function tuple<T: Type<any>[]>(
-  ...types: T
-): Type<$TupleMap<T, <T>(T) => $PropertyType<T, '__type'>>>
+declare export function tuple<T1>(...types: [Type<T1>]): Type<[T1]>
+declare export function tuple<T1, T2>(
+  ...types: [Type<T1>, Type<T2>]
+): Type<[T1, T2]>
+declare export function tuple<T1, T2, T3>(
+  ...types: [Type<T1>, Type<T2>, Type<T3>]
+): Type<[T1, T2, T3]>
+declare export function tuple<T1, T2, T3, T4>(
+  ...types: [Type<T1>, Type<T2>, Type<T3>, Type<T4>]
+): Type<[T1, T2, T3, T4]>
+declare export function tuple<T1, T2, T3, T4, T5>(
+  ...types: [Type<T1>, Type<T2>, Type<T3>, Type<T4>, Type<T5>]
+): Type<[T1, T2, T3, T4, T5]>
+declare export function tuple<T1, T2, T3, T4, T5, T6>(
+  ...types: [Type<T1>, Type<T2>, Type<T3>, Type<T4>, Type<T5>, Type<T6>]
+): Type<[T1, T2, T3, T4, T5, T6]>
+declare export function tuple<T1, T2, T3, T4, T5, T6, T7>(
+  ...types: [
+    Type<T1>,
+    Type<T2>,
+    Type<T3>,
+    Type<T4>,
+    Type<T5>,
+    Type<T6>,
+    Type<T7>
+  ]
+): Type<[T1, T2, T3, T4, T5, T6, T7]>
+declare export function tuple<T1, T2, T3, T4, T5, T6, T7, T8>(
+  ...types: [
+    Type<T1>,
+    Type<T2>,
+    Type<T3>,
+    Type<T4>,
+    Type<T5>,
+    Type<T6>,
+    Type<T7>,
+    Type<T8>
+  ]
+): Type<[T1, T2, T3, T4, T5, T6, T7, T8]>
+declare export function tuple(...types: Type<any>[]): Type<any>
 
 declare export function allOf<T1>(...types: [Type<T1>]): Type<T1>
 declare export function allOf<T1, T2>(