fix: some strict fn type improvements

src/Condition.ts

@@ -68,7 +68,7 @@ class Condition<T extends SchemaLike = SchemaLike> {
       ref.getValue(options?.value, options?.parent, options?.context),
     );
 
-    let schema = this.fn.apply(base, values.concat(base, options));
+    let schema = this.fn.apply(base, values.concat(base, options) as any);
 
     if (schema === undefined || schema === base) return base;
 

src/number.ts

@@ -1,6 +1,6 @@
 import { MixedLocale, number as locale } from './locale';
 import isAbsent from './util/isAbsent';
-import type { AnyObject, Maybe } from './types';
+import type { AnyObject, Maybe, Message } from './types';
 import type Reference from './Reference';
 import type { Defined, If, Thunk } from './util/types';
 import BaseSchema from './schema';

src/object.ts

@@ -27,7 +27,10 @@ export type Assign<T extends {}, U extends {}> = {
 
 export type AnyObject = Record<string, any>;
 
-export type ObjectShape = Record<string, AnySchema | Reference | Lazy<any>>;
+export type ObjectShape = Record<
+  string,
+  AnySchema | Reference | Lazy<any, any>
+>;
 
 export type DefaultFromShape<Shape extends ObjectShape> = {
   [K in keyof Shape]: Shape[K] extends ObjectSchema<infer TShape>

src/util/createValidation.ts

@@ -13,7 +13,7 @@ import type { AnySchema } from '../schema';
 
 export type CreateErrorOptions = {
   path?: string;
-  message?: Message;
+  message?: Message<any>;
   params?: ExtraParams;
   type?: string;
 };
@@ -45,7 +45,7 @@ export type TestOptions<TSchema extends AnySchema = AnySchema> = {
 
 export type TestConfig<TValue = unknown, TContext = {}> = {
   name?: string;
-  message?: Message;
+  message?: Message<any>;
   test: TestFunction<TValue, TContext>;
   params?: ExtraParams;
   exclusive?: boolean;
@@ -59,7 +59,7 @@ export default function createValidation(config: {
   name?: string;
   test: TestFunction;
   params?: ExtraParams;
-  message?: Message;
+  message?: Message<any>;
 }) {
   function validate<TSchema extends AnySchema = AnySchema>(
     {

test/types.ts

@@ -79,6 +79,9 @@ string().required().nullable();
     lazy: lazy(() => number().required()),
   });
 
+  const foo = object({
+    string: string().default(''),
+  });
   // type F = StringSchema<string>;
   // type f = F extends TypedSchema ? F['__inputType'] : false;
 

tsconfig.json

@@ -2,7 +2,8 @@
   "extends": "@4c/tsconfig/web",
   "compilerOptions": {
     "allowJs": true,
-    "rootDir": "src"
+    "rootDir": "src",
+    "strictFunctionTypes": true
   },
   "include": ["src"]
 }