好吧，我找到了一个变通办法。
因为我们要扩展，所以我们保留T。所以这应该仍然有效

type Foo<T> = {
    nodes: Foo<T>[]
}

function Bar<A extends Foo<A>>():null{
    return null;
}

// desired usage:

interface Vegetables{
    id:number
    nodes: Vegetables[]
}

interface Fruits{
    id:number
    nodes: Fruits[]
}

Bar<Vegetables>()
Bar<Fruits>

但是如果有人有办法让它以原来的方式工作，请留下回应

尚不清楚此类型参数的用途，但我感觉您希望此操作失败

interface Stuff {
    id:number
    nodes: Vegetables[]
    type: 'stuff' // adding a discriminant so that Stuff ≠ Vegetables
}

// @ts-expect-error: Stuff is not Stuff & { nodes: Stuff[] }
Bar<Stuff>()

虽然不漂亮，但你可以这样做

function Bar<
    A extends Foo<unknown> & Check,
    Check = A extends Foo<A> ? unknown: never
>():null{
    return null;
}

由于unknown是交集的中性元素，因此当满足约束时Check不影响第一类型参数，并且由于此条件不返回A，因此它不是循环约束。
现在，当不满足约束时，您不需要返回never，任何与Foo<unknown>不兼容的类型都将是错误的，因此您可以返回一些错误消息，解释A应该是递归的。