强制元组中的变量具有与其他变量的通用类型相同的类型

问题描述

想象以下代码

interface SomeClass<T> {
  someFnc(value: T): boolean;
}

const a: SomeClass<string>;

const b: MissingType = [a,c]; 

我想实现c必须是字符串,因为SomeClass的通用类型输入是字符串。有人可以告诉我如何定义MissingType吗?

解决方法

如何创建一个新类型?

type MyTuple<T> = [SomeClass<T>,T];
const b: MyTuple<string> = [a,c];