Wrong typescript intelisense suggestions

[Siegrift]

• VSCode Version: 1.34
• OS Version: Linux Mint Tessa

The following code break the intelisense for TS.

export function get<T, K1 extends keyof T, K2 extends keyof T[K1]>(
  obj: T,
  keys: [K1, K2]
): T[K1][K2];
export function get<
  T,
  K1 extends keyof T,
  K2 extends keyof T[K1],
  K3 extends keyof T[K1][K2]
>(obj: T, keys: [K1, K2, K3]): T[K1][K2][K3];
export function get(obj: any, keys: any[]): any {
  for (const key of keys) obj = obj[key];
  return obj;
}

These are the TS suggestions

However, they are wrong, because the third value needs to be property of the object on path 'a.b', precisely only value 'c'.

The typings are correct, because intelisense is able to infer the result

Furthemore, it rejects all values except 'c', which means the intelisense should be able to provide correct suggestions.

[mjbvz]

Tested with typescript@3.5.0-dev.20190525

Complete example:

export function get<T, K1 extends keyof T, K2 extends keyof T[K1]>(
    obj: T,
    keys: [K1, K2]
): T[K1][K2];
export function get<
    T,
    K1 extends keyof T,
    K2 extends keyof T[K1],
    K3 extends keyof T[K1][K2]
>(obj: T, keys: [K1, K2, K3]): T[K1][K2][K3];
export function get(obj: any, keys: any[]): any {
    for (const key of keys) obj = obj[key];
    return obj;
}

const obj = { a: { b: { c: 'x ' } } }
get(obj, ["a", 'b', ''])

[tanhauhau]

I'm interested to try on this one. Maybe some pointers where I should start looking into?