打字稿将混合数组过滤为一种类型

Question

我有两种可能的类型的数组，我试图过滤出一种类型，但是在下面的exists中，它仍然表明contains可以是任何一种类型。

我唯一需要过滤的是常量字符串（这是一个外部API）。

forEach

Answer 1

回答我自己的问题。使过滤器函数返回类型= t is t1：

types.filter((t): t is t1 => t.key === 'a').forEach(obj => { })