fix(form-core): any types (#1419)

* fix: any types

* chore: remove IsAny

Author: chorobin

packages/form-core/src/util-types.ts

@@ -19,8 +19,6 @@ type Try<A1, A2, Catch = never> = A1 extends A2 ? A1 : Catch
  */
 export type Narrow<A> = Try<A, [], NarrowRaw<A>>
 
-type IsAny<T> = 0 extends 1 & T ? true : false
-
 export interface AnyDeepKeyAndValue {
   key: string
   value: any
@@ -117,15 +115,13 @@ export interface UnknownDeepKeyAndValue<TParent extends AnyDeepKeyAndValue> {
   value: unknown
 }
 
-export type DeepKeyAndValueUnknown<TParent extends AnyDeepKeyAndValue> =
-  UnknownDeepKeyAndValue<TParent>
-
 export type DeepKeysAndValues<
   T,
   TParent extends AnyDeepKeyAndValue = never,
   TAcc = never,
-> =
-  IsAny<T> extends true
+> = unknown extends T
+  ? TAcc | UnknownDeepKeyAndValue<TParent>
+  : unknown extends T // this stops runaway recursion when T is any
     ? T
     : T extends string | number | boolean | bigint | Date
       ? TAcc
@@ -134,7 +130,7 @@ export type DeepKeysAndValues<
           ? DeepKeyAndValueArray<TParent, T, TAcc>
           : DeepKeyAndValueTuple<TParent, T, TAcc>
         : keyof T extends never
-          ? TAcc | DeepKeyAndValueUnknown<TParent>
+          ? TAcc | UnknownDeepKeyAndValue<TParent>
           : T extends object
             ? DeepKeyAndValueObject<TParent, T, TAcc>
             : TAcc

packages/form-core/tests/util-types.test-d.ts

@@ -354,3 +354,30 @@ type Userr = {
 }
 
 type UserKeys = DeepValue<Userr, DeepKeys<Userr>>
+
+type ObjectWithAny = {
+  a: any
+  b: number
+  obj: {
+    c: any
+    d: number
+  }
+}
+
+type AnyObjectKeys = DeepKeys<ObjectWithAny>
+expectTypeOf(0 as never as AnyObjectKeys).toEqualTypeOf<
+  'a' | 'b' | 'obj' | `a.${string}` | 'obj.c' | `obj.c.${string}` | 'obj.d'
+>()
+type AnyObjectExample = DeepValue<ObjectWithAny, 'a'>
+expectTypeOf(0 as never as AnyObjectExample).toEqualTypeOf<any>()
+type AnyObjectExample2 = DeepValue<ObjectWithAny, 'b'>
+expectTypeOf(0 as never as AnyObjectExample2).toEqualTypeOf<number>()
+type AnyObjectExample3 = DeepValue<ObjectWithAny, 'obj'>
+expectTypeOf(0 as never as AnyObjectExample3).toEqualTypeOf<{
+  c: any
+  d: number
+}>
+type AnyObjectExample4 = DeepValue<ObjectWithAny, 'obj.c'>
+expectTypeOf(0 as never as AnyObjectExample4).toEqualTypeOf<any>()
+type AnyObjectExample5 = DeepValue<ObjectWithAny, 'obj.d'>
+expectTypeOf(0 as never as AnyObjectExample5).toEqualTypeOf<number>()