Fix type parameters in StandardSchemaV1 to ensure correct type inference

Author: switchmd

src/internal/_createStandardSchema.ts

@@ -4,7 +4,7 @@ import { IValidation } from "../IValidation";
 
 export const _createStandardSchema = <T>(
   fn: (input: unknown) => IValidation<T>,
-): ((input: unknown) => IValidation<T>) & StandardSchemaV1<unknown, T> =>
+): ((input: unknown) => IValidation<T>) & StandardSchemaV1<T, T> =>
   Object.assign(fn, {
     "~standard": {
       version: 1,
@@ -25,7 +25,7 @@ export const _createStandardSchema = <T>(
         }
       },
     },
-  } satisfies StandardSchemaV1<unknown, T>);
+  } satisfies StandardSchemaV1<T, T>);
 
 enum PathParserState {
   // Start of a new segment

src/module.ts

@@ -708,7 +708,7 @@ export function createValidate(): never;
  * @returns A reusable `validate` function
  */
 export function createValidate<T>(): ((input: unknown) => IValidation<T>) &
-  StandardSchemaV1<unknown, T>;
+  StandardSchemaV1<T, T>;
 
 /** @internal */
 export function createValidate(): ((input: unknown) => IValidation) &
@@ -852,7 +852,7 @@ export function createValidateEquals(): never;
 export function createValidateEquals<T>(): ((
   input: unknown,
 ) => IValidation<T>) &
-  StandardSchemaV1<unknown, T>;
+  StandardSchemaV1<T, T>;
 
 /** @internal */
 export function createValidateEquals(): ((input: unknown) => IValidation) &

test/src/internal/_test_standardSchema_validate.ts

@@ -6,7 +6,7 @@ import { TestStructure } from "../helpers/TestStructure";
 export const _test_standardSchema_validate =
   (name: string) =>
   <T>(factory: TestStructure<T>) =>
-  (validate: StandardSchemaV1<unknown, T>): void => {
+  (validate: StandardSchemaV1<T, T>): void => {
     const input: T = factory.generate();
     const valid = validate["~standard"].validate(input);
     if (!("value" in valid))

website/src/content/docs/validators/validate.mdx

@@ -131,8 +131,8 @@ In the below example case, as `id` property is different with its type definitio
 ]}>
   <Tabs.Tab>
 ```typescript copy
-export function createValidate<T> = (input: unknown) => IValidation<T> & StandardSchemaV1<unknown, T>;
-export function createValidateEquals<T> = (input: unknown) => IValidation<T> & StandardSchemaV1<unknown, T>;
+export function createValidate<T> = (input: unknown) => IValidation<T> & StandardSchemaV1<T, T>;
+export function createValidateEquals<T> = (input: unknown) => IValidation<T> & StandardSchemaV1<T, T>;
 ```
   </Tabs.Tab>
   <Tabs.Tab>