Gives a strong typing to string accessors like `lodash/get`

PropertyType.ts

// Extracts the type of a property deeply nested in an object
// Example: DeepProperty<'foo[0].bar', { foo: Array<{ bar: { baz: string } }> }> === { baz: string }
export type PropertyType<
    TModel extends Record<string, any>,
    TPath extends string
> = TPath extends keyof TModel
    ? TModel[TPath]
    : TPath extends `${infer Key}.${infer RemainingPath}`
    ? Key extends keyof TModel
        ? PropertyType<TModel[Key], RemainingPath>
        : TPath extends `${infer DeeperKey}[${number}].${infer DeeperPath}`
        ? DeeperKey extends keyof TModel
            ? TModel[DeeperKey] extends any[]
                ? PropertyType<TModel[DeeperKey][0], DeeperPath> | undefined
                : never
            : never
        : never
    : TPath extends `${infer Key}[${number}]`
    ? TPath extends `${infer DeeperKey}[${number}].${infer RemainingPath}`
        ? DeeperKey extends keyof TModel
            ? TModel[DeeperKey] extends any[]
                ? PropertyType<TModel[DeeperKey][0], RemainingPath> | undefined
                : never
            : never
        : Key extends keyof TModel
        ? TModel[Key] extends any[]
            ? TModel[Key][0] | undefined
            : never
        : never
    : never;