Typescript 类型脚本中函数重载中的类型推断问题

为什么下面的示例无法编译？

function mapObjectValues<I, O, K extends keyof any>(obj: Record<K, I>, map: (value: I, key: K) => O): Record<K, O>
function mapObjectValues<K extends keyof any, I extends Record<K, any>, O extends Record<K, any>>(obj: I, map: (value: I[K], key: K) => O[K]): O
function mapObjectValues<I, O>(obj: Record<keyof any, I>, map: (value: I, key: keyof any) => O): Record<keyof any, O>
function mapObjectValues<I, O>(_obj: Record<keyof any, I>, _map: (value: I, key: keyof any) => O): Record<keyof any, O> {
    throw "not relevant"
}

function checker(_input: Record<string, string>) { }

// compiles
checker(mapObjectValues({
    foo: "bar"
}, (_, k) => k))

// compiles
checker(mapObjectValues({
    ["foo"]: "bar"
}, (_, k) => k))

// fails with:
//
// Argument of type 'Record<string | number, string | number>' is not assignable to parameter of type 'Record<string, string>'.
//   'string' index signatures are incompatible.
//     Type 'string | number' is not assignable to type 'string'.
//       Type 'number' is not assignable to type 'string'.
checker(mapObjectValues({
    [{
        foo: "foo"
    }.foo]: "bar"
}, (_, k) => k))

// compiles
checker(mapObjectValues({
    [({
        foo: "foo"
    } as const).foo]: "bar"
}, (_, k) => k))

Playground个

这是当前打字脚本中的类型推理的限制吗？