下面的问题让我很困惑。我有一个简单的标签联合：

type MyUnion = 
    | { tag: "Foo"; field: string; } 
    | { tag: "Bar"; } 
    | null;

现在我有了这个泛型函数：

const foo = <T extends MyUnion>(value: T) => {
    // Narrowing works as expected.
    if (value === null) { return; }
    const notNull: NonNullable<T> = value;

    // Narrowing works with field access, but not with `Extract` type.
    if (value.tag !== "Foo") { return; }
    const s: string = value.field;  // Field can be accessed -> all good here.
    const extracted: Extract<T, { tag: "Foo" }> = value;  // error!
};

（Playground）
最后一行导致此错误：

Type 'T & {}' is not assignable to type 'Extract<T, { tag: "Foo"; }>'.

我真的不明白为什么。在函数外编写它而不使用泛型Extract<MyUnion, { tag: "Foo" }>会得到正确的类型。这是怎么回事？

• 注意 *：在我的真实的代码中，该函数有另一个参数回调：（v：提取〈T，{标签：“Foo”}〉）=〉void。调用该回调会导致相同类型的错误。所以我的目标是以某种方式使它工作：因此，函数foo基本上对一个值执行特定的检查，以某种方式处理特殊情况，然后用经过清理的值调用回调。我假设TypeScript以某种方式允许我表达这种抽象？