请注意，尽管ValueForKey可以实现为：

type ValueForKey<T, K extends keyof T> = 
   T extends {[Key in K]: infer U} ? U : never;

但我不得不收回这个声明，因为我发现了一个目前不起作用的例子。

type Test = {
    x: boolean;
    [K: string]: number | boolean;
}

let boolean: ValueForKey<Test, 'x'> = true;

// @ts-expect-error
boolean = 42

// Type 'boolean' is not assignable to type 'never'.(2322)
let shouldBeNumberOrBoolean: ValueForKey<Test, 'y'> = true
    ^^^^^^^^^^^^^^^^^^^^^^^

// Type 'number' is not assignable to type 'never'.(2322)
shouldBeNumberOrBoolean = 42;
^^^^^^^^^^^^^^^^^^^^^^^

let numberOrBoolean: Test['y'] = true;

numberOrBoolean = 42;

这意味着T[...]语法提供了其他方式无法产生的唯一语义。

这是我使用当前状态得到的最接近的解决方案。
它在大多数情况下都能工作。
但是在带有可选参数的重载中存在几个问题。

这是另一个用例：
实际：

function usesOverloadedFunction<T>(arg: T) // : inferred return type is whatever the last overload of
// `overloadedFunction` is when applied to `...args: [T]`. 
{
  return overloadedFunction(arg);
}

期望：

function usesOverloadedFunction<T>(arg: T) // : infers `(typeof overloadedFunction)(T)`
{
  return overloadedFunction(arg);
}

希望看到解决这个问题的方法。这是我不喜欢使用标准NodeJS EventEmitter的原因之一。这些事件经常有10多个以上的重载，所有事件名都需要手动输入。当你试图对事件进行编码时，这很好，但目前任何优雅的类型推断都是不可能的。

具体的例子是events.on和events.once,它们是两个通过promise轻松与emitter交互的两级函数，例如：

event.once(emitter, name[, options]) // => return a Promise
event.on(emitter, name[, options]) // => return an AsyncIterable

当你使用大量的async/await时，这两个函数都很棒，它可以节省在等待某些init/close-event(如net.Server、listening和close)时的恼人的回调嵌套。这会导致一些非常漂亮的线性代码。

但是TypeScript无法为你提供任何关于任何emitter上存在的事件的完成帮助，这使得如果不熟悉emitter的话，这两个函数使用起来非常繁琐。

server.listen(8124)
await once(server, 'listening')

server.close()
await once(server, 'close')

解决这个问题也可能成为与泛型函数相关问题的一个垫脚石，更智能的ReturnType和bind(...args)操作。我希望能最终准确地使用柯里化和泛型。

这是一个关于重复问题的讨论。根据提供的信息，这个问题与之前的某个问题有关，该问题被关闭为重复问题，但最终被拒绝。对于当前的问题，无法确定其具体情况。

Cross-linking #17961

从用户的Angular 来看，这个功能非常有用。我希望官方能更多地从用户的Angular 出发。

交叉链接到#52035(评论)以及具体术语“呼叫类型”