Typescript里，为什么infer R不能写在三元运算符的冒号后面？

Question

Answer 1

应该是

type P<T> = T extends (...args:infer R)=>boolean ? R:any

因为 R 只有条件成立时才存在

Answer 2

因为能推断出R是什么的前提是 T extends (...args: infer R) => boolean为真，放到冒号后面了它哪知道R是什么.

你要实现什么功能