j1mmie

type CombineAll<T> = T extends {[name in keyof T]: infer Type} ? Type : never

type PropertyNameMap<T, IncludeIntermediate extends boolean> = {
    [name in keyof T]: T[name] extends object ? (
        SubPathsOf<name, T, IncludeIntermediate> | (IncludeIntermediate extends true ? name : never) 
    ) : name
}

type SubPathsOf<key extends keyof T, T, IncludeIntermediate extends boolean> = (
    `${string & key}.${string & PathsOf<T[key], IncludeIntermediate>}`