Typescript 未对对象数组强制实施区分类型

问：

我创建了以下一组类型（简化）：

enum Prevals {
  one = 'one',
  two = 'two',
  three = 'three',
}

type PrevalParams = {
  [Prevals.one]: {
    name: string;
    age: number;
  };
  [Prevals.two]: {
    t: 'thing';
  };
  [Prevals.three]: undefined;
}

type PrevalConfig<Id extends Prevals> = {
  id: Id;
  level: 'error' | 'warning';
  params: PrevalParams[Id];
};

鉴于上述类型，我希望能够将多个对象分配给一个数组，并让打字稿强制执行其参数。但是，它似乎将参数解释为所有可能的参数的并集，而不是与给定的特定 ID 关联的参数。PrevalConfig

例如，以下内容应引发错误，但不会：

const prevals: PrevalConfig<Prevals>[] = [
  {
    id: Prevals.one,
    level: 'warning',
    params: {
      t: 'thing'
    }
  }
]

我相信这是因为该类型本质上是“PrevalConfig 对象的数组，其中参数是所有可能的 Prevals 的并集”。鉴于这种解释，从技术上讲，它键入“所有可能的参数的并集”是正确的。然而，这不是我想要的。PrevalConfig<Prevals>[]Idparams

我该如何完成这项工作？

(这是一个预装了所有这些的游乐场）