enhance: Object.value|entries supports a generic Record type

[hachibeeDI]

Overview

Add type support for Record<K, V> like below:

function x<K extends string, V>(arg: Record<K, V>): readonly V[] {
  return Object.values(arg);
}

Expected result

Works 👌

Actual result

Type 'unknown[] | Record<K, V>[K & (string | number | symbol)][] | Record<K, V>[K & string][] | Record<K, V>[K & number][]' is not assignable to type 'readonly V[]'.

Note

I tried to add a conditional type infer for that but doesn't work. :(

  T extends Record<any, infer V> 
    ? V[]
    : string | number extends keyof T
    ? T[string | number][]
    : string extends keyof T
    ? T[string][]
    : number extends keyof T
    ? T[number][]
    : unknown[];

So I use overload to fix this issue.

[uhyo]

Sorry for very late review.
LGTM.
Thank you very much!