type to path into object keys with typescript,

typescript_path.ts

type PathInto<T extends Record<string, any>> = keyof {
  [K in keyof T as T[K] extends string
  ? K
  : T[K] extends Record<string, any>
  ? `${K & string}.${PathInto<T[K]> & string}`
  : never]: any
}

type PathTrace<T, K extends keyof T = keyof T> =
    K extends string
    ? T[K] extends Record<string, any>
        ? `${K}.${Path<T[K]>}`
        : K
    : never;