扩展类型的泛型和Typecript中的普通类型之间有什么区别？

Question

你好打字专家们，

有人可以解释为什么下面的代码在第 16 行给我一个错误，而不是在第 13 行给我一个错误。这是预期功能还是缺少功能？

密码

interface Config {
  // There need to be different types in here for the error to occur
  A: number
  B: string
}

type union = "A" | "B" 

var Global = {A: 1, B: "Hello"} as Config

function foo<K extends union>(key: K, x: union) {
  if (x === "A"){
    Global[x].toFixed()
  }
  if (key === "A"){
    Global[key].toFixed()
  }
}

游乐场链接