类型T不满足约束'Partial <T＆U>'

Question

给出：

function Test<P extends {}, PP extends Partial<P> = Partial<P>>(p: P, end: boolean) {
  if (end) {
    return true
  } else {
    return function<C extends PP>(c: C) {
      return Test<P & C, C>({ // <--- Error Here
        ...p,
        ...c,
      }, true)
    }
  }
}

Link to playground

我不太明白为什么这不可能吗？显然C是否可以满足组合P & C的子集的要求？请帮助我理解这一点。非常感谢。