fix(validator): Input must union the Rest generic param

typp-js · Feb 21, 2024 · 6569fcc · 6569fcc
1 parent d3c2482
commit 6569fcc
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/packages/validator/src/index.ts b/packages/validator/src/index.ts
@@ -181,7 +181,7 @@ declare module '@typp/core' {
       >(
         data: TT | Rest,
         options?: Opts
-      ): ValidateReturnType<T, ExtendsT, TT, Exclude<typeof data, ExtendsT>, Opts & O>
+      ): ValidateReturnType<T, ExtendsT, TT | Rest, Exclude<typeof data, ExtendsT>, Opts & O>
       narrow<
         TT extends ExtendsT,
         Rest extends true extends(

diff --git a/packages/validator/tests/validate.type.spec.ts b/packages/validator/tests/validate.type.spec.ts
@@ -22,6 +22,13 @@ describe('validate', () => {
     type Opts = { try: true }
     expectTypeOf<t.ValidateReturnType<number, number, 1, never, Opts>>().toEqualTypeOf<t.ValidateSuccessResult<number>>()
     expectTypeOf<t.ValidateReturnType<number, number, number, never, Opts>>().toEqualTypeOf<t.ValidateSuccessResult<number>>()
+    expectTypeOf<t.ValidateReturnType<
+      number,
+      number | Number,
+      number | Number | string,
+      string,
+      Opts
+    >>().toEqualTypeOf<t.ValidateErrorResult>()
     expectTypeOf<t.ValidateReturnType<string, string, string, never, Opts>>().toEqualTypeOf<t.ValidateSuccessResult<string>>()
     expectTypeOf<t.ValidateReturnType<string, string, 1, 1, Opts>>().toEqualTypeOf<t.ValidateErrorResult>()