推断超级类型的通用包装纸元组

Question

我正在尝试在打字稿中创建一种类型约束，该约束可以为包装类型强制实施Supertype关系。 假设我定义了以下类型（以及用于构建它的实用程序函数）：

interface Wrapper<T> { 
    item: T; 
}

function wrap<T>(t: T): Wrapper<T> { 
    return { item: t } 
}

然后，我创建了以下类型来推断超级类型的关系（我在0 vs 下方解释了Never问题）：

type SuperTypesWrappers<C, T extends ReadonlyArray<Wrapper<any>>> = {
    [K in keyof T]: T[K] extends Wrapper<infer V> ?
    C extends V ? Wrapper<V> :
    0 : 0 // never : never  -> doesn't work
};

我定义了3个示例包装器，如以下内容：

interface A { a: string; }
const A = wrap<A>({ a: 'a' });

interface B { b: string; }
const B = wrap<B>({ b: 'b' });

interface C extends B { c: string; }
const C = wrap<C>({ b: 'b', c: 'c' });

以及一种验证约束的类型：

// WORKS FINE: type Test1 = [0, Wrapper<B>]
type Test1 = SuperTypesWrappers<C, [typeof A, typeof B]>;

如预期，类型数组中的第一个项目是0，因为a不是c的超级模型，而是b是。

到目前为止，一切都很好。

然后，我创建了一个AUX类型来实施整体数组有效性：它返回数组类型，因为它是或从不代码>包装器＆lt; x＆gt;：

type ValidSuperTypesWrappers<X> = X extends ReadonlyArray<Wrapper<any>> ? X : never;

// WORKS FINE: never
type Test2 = ValidSuperTypesWrappers<Test1>;

然后，我创建了一个利用这两种类型的函数：

export function defineHierarchy<C, T extends ReadonlyArray<Wrapper<any>>>(
    wrapper: Wrapper<C>, 
    superWrappers: ValidSuperTypesWrappers<SuperTypesWrappers<C, T>>
): ValidSuperTypesWrappers<SuperTypesWrappers<C, T>> {
    // some implementation
    return superWrappers;
}

当我调用它时，我希望检查第二个参数，在下面的示例中，它应该引起类型错误（基于示例类型test1和test2）的情况：

// DOES NOT WORK: should raise type error for the array argument!
// inferred type: const h: readonly Wrapper<any>[]
const h = defineHierarchy(C, [A, B]);

可能我缺少某些东西，还是可能是一个错误？如何更改这些类型以使其在上面的defineHierArchy函数中起作用（可能不指定函数调用中的通用类型参数）？

---

注1：如果我使用从不：在supertypeswrappers中，甚至test2不起作用：

// DOES NOT WORK: type Test2 = [never, Wrapper<B>]
type Test2 = ValidSuperTypesWrappers<Test1>;

注2：我不想依靠partial＆lt; t＆gt;来表达supertype约束，上面的类型应更好地表示约束。