diff --git a/packages/validator/src/index.ts b/packages/validator/src/index.ts
index 23a37b7..2c363d6 100644
--- 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
index b99e6df..ff27a53 100644
--- 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>()