fix[isTupleOf]: fix return type

Author: Milly

is/tuple_of.ts

@@ -102,7 +102,7 @@ export function isTupleOf<
   predTup: T,
   predRest: R,
   predTrail: L,
-): Predicate<[...TupleOf<T>, ...PredicateType<R>, ...TupleOf<T>]>;
+): Predicate<[...TupleOf<T>, ...PredicateType<R>, ...TupleOf<L>]>;
 
 export function isTupleOf<
   T extends readonly [Predicate<unknown>, ...Predicate<unknown>[]],
@@ -116,7 +116,7 @@ export function isTupleOf<
   | TupleOf<T>
   | [...TupleOf<T>, ...PredicateType<R>]
   | [...PredicateType<R>, ...TupleOf<T>]
-  | [...TupleOf<T>, ...PredicateType<R>, ...TupleOf<T>]
+  | [...TupleOf<T>, ...PredicateType<R>, ...TupleOf<L>]
 > {
   if (typeof predTupOrRest === "function") {
     const predRest = predTupOrRest as R;
@@ -163,7 +163,9 @@ export function isTupleOf<
     );
   } else {
     return rewriteName(
-      (x: unknown): x is [...TupleOf<T>, ...PredicateType<R>] => {
+      (
+        x: unknown,
+      ): x is [...TupleOf<T>, ...PredicateType<R>, ...TupleOf<L>] => {
         if (!isArray(x) || x.length < (predTup.length + predTrail.length)) {
           return false;
         }

is/tuple_of_test.ts

@@ -317,13 +317,13 @@ Deno.test("isTupleOf<T, R, L>", async (t) => {
   await t.step("predicated type is correct", () => {
     const predTup = [is.Number, is.String, is.Boolean] as const;
     const predRest = is.ArrayOf(is.Number);
-    const predTrail = [is.Number, is.String, is.Boolean] as const;
-    const a: unknown = [0, "a", true, 0, 1, 2, 0, "a", true];
+    const predTrail = [is.Number, is.Boolean] as const;
+    const a: unknown = [0, "a", true, 0, 1, 2, 0, true];
     if (isTupleOf(predTup, predRest, predTrail)(a)) {
       assertType<
         Equal<
           typeof a,
-          [number, string, boolean, ...number[], number, string, boolean]
+          [number, string, boolean, ...number[], number, boolean]
         >
       >(
         true,