TypeScript版本：typescript@3.7.0-dev.20190831
搜索词： tagged disjoint union generic

这个问题源于我在StackOverflow上提出的问题，@jcalz 慷慨地为我进行了研究。我将他的例子改编成一个更接近#17110的示例。

代码

interface A { a: string; }

interface W {
    x: A
}

function foo<W1 extends W>(w: W1, k: keyof W1['x']) {
  w.x[k]; // Type 'keyof W1["x"]' cannot be used to index type 'A'.

  const x: W1['x'] = w.x; // Okay
  x[k] // Okay
}

预期行为：

与#17110相同。然而，与#17110不同，W['x']只有A,而不是A | B | undefined。给出的关于为什么#17110不是一个bug的解释是：
keyof W1["x"]的约束是keyof (A | B),简化后为keyof A & keyof B,即never(因为没有共同属性)。
然而，在这里keyof W1['x']是keyof A,这并不是never。

实际行为：

与#17110相同。

** playground链接：**http://www.typescriptlang.org/play/#code/JYOwLgpgTgZghgYwgAgILIN7LgLmQZzClAHMBuZAXwChrRJZEUB1Ta5D5ADz1WpuowAriARhgAexDIYEiQB5mARmQQukEABN8yZgD4AFAHc8ygDTIA1nksQAnhJi6lAbQDkXNwF0AlGw5GAHRcLpZeFAD0EcgAKnYADihutg5Oyi4ARFwZXm7ICHAgIBJgyABGKEL4EJrIYBLIoJpqdQlJqG6BtBwIUoTcpq4e3sgAvMhBXJHRAPKWcHbs3KFeyFHIcwv8QA
相关问题：#17110