TypeScript泛型过滤函数中类型守卫失效，推断never[]而非预期类型的问题求助

我正在TypeScript中编写一个通用的工具过滤函数，目标是根据给定条件过滤数组，同时严格保留过滤后数组的类型信息。但遇到了一个棘手的问题：当过滤条件使用自定义类型守卫时，TypeScript始终无法正确推断结果类型——要么直接把结果推断为never[]，要么抛出类型错误，完全没有按照预期收窄类型。

以下是我简化后的测试代码：

type Animal = { type: "dog" | "cat"; name: string };
type Dog = { type: "dog"; name: string; breed: string };

// 自定义类型守卫：判断是否为Dog类型
function isDog(animal: Animal): animal is Dog {
  return animal.type === "dog";
}

// 泛型过滤函数
function filterDogs<T>(items: T[], filterFn: (item: T) => item is T): T[] {
  return items.filter(filterFn); 
  // 这里TypeScript表面标注返回T[]，但内部的T会被推断为never
}

// 测试数据
const animals: Animal[] = [
  { type: "dog", name: "Fido", breed: "Labrador" },
  { type: "cat", name: "Whiskers" },
];

// 调用过滤函数
const dogs = filterDogs(animals, isDog); 
// ❌ 实际运行时得到的是Dog[]，但TypeScript要么报错，要么推断结果为never[]

我原本预期dogs会被TypeScript正确推断为Dog[]，但现实是TypeScript要么抛出类型错误，要么直接把dogs的类型推断为never[]。看起来在泛型的上下文环境中，TypeScript完全丢失了对自定义类型守卫的跟踪：它要么将泛型参数T错误地收窄为never，要么因为无法通过类型守卫正确收窄T而抛出错误。

我已经尝试过这些解决方案，但都没有效果：

• 调整过滤函数的签名结构
• 手动强制类型转换（但这完全违背了类型安全的初衷）
• 使用Extract<T, U>或ReturnType等TypeScript工具类型

现在实在没辙了，想请教各位：在泛型过滤函数中，应该怎么做才能正确保留类型守卫的类型推断呢？

内容来源于stack exchange