Type Alias ValueAtPath<T, Path>

ValueAtPath: Path extends `${infer Key}.${infer Rest}`
    ? Key extends keyof T
        ? ValueAtPath<NonNullable<(...)[(...)]>, Rest>
        : never
    : Path extends keyof T ? T[Path] : never

What sits at the given path of T, the counterpart of AutocompletablePaths. never whenever the path names nothing.