Type Alias PathValue<T, KeyPath>

PathValue: unknown extends T
    ? unknown
    : T extends undefined
        ? undefined
        : KeyPath extends `${infer Key}.${infer Rest}`
            ? Key extends keyof NonNullable<T>
                ? PathValue<NonNullable<T>[Key], Rest>
                : unknown
            : KeyPath extends keyof NonNullable<T>
                ? NonNullable<T>[KeyPath]
                : unknown