Type Alias KnownPath<T>

KnownPath: unknown extends T
    ? never
    : NonNullable<T> extends readonly unknown[]
        ? never
        : NonNullable<T> extends object
            ? {
                [Key in KnownStringKeys<NonNullable<T>>]:
                    | Key
                    | (
                        KnownPath<NonNullable<(...)>[Key]> extends infer ChildPath extends
                            string
                            ? `${Key}.${ChildPath}`
                            : never
                    )
            }[KnownStringKeys<NonNullable<T>>]
            : never