TypeScript中函数第二个参数的类型由第一个传入参数决定

Question

interface Test {
  one: boolean
  two: string
}
declare type K = keyof Test
function foo(key: K, value: any): void {
  // do something...
}

如所示代码，希望实现编译阶段就对foo函数的第二个参数value进行正确的类型推导，若传入key为'one',则value限制为boolean,若传入key为'two',同理...
新手，求大佬解答一下实现方式，或者TypeScript是否能实现？？？

Answer 1

function foo<K extends keyof Test>(key: K, val: Test[K]) {
    // 
}