为何TypeScript函数调用时类型推断正常，内部satisfies无法匹配类型？

调用getObjPath函数时，TypeScript能正确推断参数类型并拦截非法输入（比如getObjPath('a', '2')会直接报错），但在函数内部，返回值使用satisfies ObjPaths时却提示类型不匹配，这一现象的原因是什么？

代码示例：

const obj = {
  a: '1',
  b: '2',
} as const;

type Obj = typeof obj;
type ObjKeys = keyof Obj;
type ObjPaths = { [K in ObjKeys]: `${K} | ${Obj[K]}`}[ObjKeys];

const getObjPath = <K extends ObjKeys, V extends Obj[K]>(k: K, v: V) => {
  return `${k} | ${v}` satisfies ObjPaths; // 此处提示类型不匹配
}

getObjPath('a', '2'); // 此处能正确推断参数并报错

1. ObjPaths是固定的精确联合类型：展开后ObjPaths等价于"a | 1" | "b | 2"，是两个完全固定的字符串字面量的联合，每个成员严格对应obj中键值对的拼接结果。
2. 泛型函数内部的类型追踪限制：函数中的泛型参数K和V属于“未具体化”的类型变量——TypeScript仅知道V是Obj[K]的子类型，但无法在函数内部确认K与V的组合一定对应ObjPaths中的某个成员。哪怕调用时的约束会拦截非法组合，函数内部的TypeScript不会做这种运行时级别的假设，导致模板字面量${k} | ${v}的类型被推断为宽泛的 ${K} | ${V}``，无法匹配ObjPaths的固定联合类型。
3. 调用时的类型检查逻辑不同：调用函数时，TypeScript会将具体参数代入泛型，比如传入'a'和'2'时，K会被具体化为"a"，Obj[K]是"1"，而"2"不属于"1"的子类型，因此能直接触发错误。但这种参数具体化仅发生在调用阶段，不会延伸到函数内部的泛型逻辑中。

若要让函数内部的satisfies生效，可调整泛型定义，让v的类型严格绑定到Obj[K]，而非使用V extends Obj[K]的宽松约束：

const getObjPath = <K extends ObjKeys>(k: K, v: Obj[K]) => {
  return `${k} | ${v}` satisfies ObjPaths; // 此时类型匹配成功
}

此时v的类型是精确的Obj[K]，模板字面量会被推断为${K} | ${Obj[K]}，该类型正好是ObjPaths的子类型，satisfies就能正确识别。

内容的提问来源于stack exchange，提问作者bschnelle