A<T> 在 T 中是逆变的，因为它是从另一种类型中减去 T 而不是直接使用它。因此，对于 T 的更宽类型将产生一个较窄的 A<T> ,所以这个错误是可以预料到的。

A<T> 是对 T 的逆变，因为它是从另一种类型中减去 T 而不是将其原封不动地使用。因此，对于 T 的更宽类型将产生一个较窄的 A<T> ,所以这个错误是可以预料到的。

我没有看到它是如何从另一种类型中减去 T 的，因此是逆变的。Extract<T, U> 被定义为“从 T 中提取那些可以分配给 U 的类型”。如果 T 中的一个类型 S 可以分配给 U ,那么根据定义，S 也可以分配给 U | V 。在 A<T> 的情况下，我不认为扩大 T 会缩小 A<T> 的类型。执行类型替换应该使这一点变得清晰：

type A<T> = {
    val: Extract<number | string, T>;
};
type An = A<number>; /*
= { val: Extract<number | string, number>; };
= { val: number; }; */
type An = A<number | string>; /*
= { val: Extract<number | string, number | string>; };
= { val: number | string; }; */

最坏的情况下， A<T | V> 等于 A<T> (例如，数字和字符串都不能分配给 V )。

对不起，我的错误，我把 Extract 和 Exclude 混淆了。话虽如此，问题/错误似乎是 TS 以某种原因测量 A<T> 作为逆变量：

Type 'A<number>' is not assignable to type 'A<string | number>'.
  Type 'string | number' is not assignable to type 'number'.

string | number 的确不能分配给 number ,但这与 A 的方向相反。所以出于某种原因，它似乎认为 T 是逆变量的。🤔

它认为 A 是 不变的 ;这也失败了：

function f2(x: A<number | string>): A<number> {
    return x;
}

Type 'A<string | number>' is not assignable to type 'A<number>'.
  Types of property 'val' are incompatible.
    Type 'string | number' is not assignable to type 'number'.
      Type 'string' is not assignable to type 'number'.

这对于一般条件类型是有意义的(考虑 type X<T> = {} extends T ? 1 : 2 ; X<{}> 不能分配给或从 X<{ x: string }> ); Extract 只是特殊情况，其中它只具有协变性。
这里的真正错误是 TS 在这里进行协变性检查，而不是进行结构比较；协变性度量应该用 VarianceFlags.Unreliable 标记(这意味着协变性检查可能会产生假阴性，但不会产生假阳性)。

可能相关的： #43887