Typescript 条件类型不能用于索引类型

Question

假设我想编写一个像Merge这样的实用程序类型

type Merge<A, B> = {
  [P in (keyof A | keyof B)]: P extends keyof A ? A[P] : B[P]  
}

但是，上面的代码会得到

类型“P”不能用于索引类型“B”。

虽然我可以这样写

type Merge<A, B> = {
  [P in (keyof A | keyof B)]: P extends keyof A ? A[P] : P extends keyof B ? B[P] : never
}

但是是不是太啰嗦了？

我已经限制了P P in (keyof A | keyof B)中 P 的类型，那么为什么仍然需要P extends keyof B呢？