此代码示例是一个函数，用于对记录进行简洁的不可变编辑以设置布尔值。
该函数应该接受布尔值记录和匹配键列表。它应该返回一个新记录，其中所有键都设置为true（使用"不可变"更新模式，其中原始记录不被修改）。
我得到的错误是如此的基本，我觉得我需要另一双眼睛。我一定是错过了什么。我如何配置泛型，以获得下面的代码编译和运行明智？

function createNextFlags<Key extends string>(
  flags: Record<Key, boolean>,
  ...keys: [Key, ...Key[]]
) {
  const nextFlags = {
    ...flags
  }
  for (const key of keys) {
    nextFlags[key] = true;
  }
  return nextFlags;
}

createNextFlags({
  vanilla:false,
  chocolate:true, // this line generates a compiler error because flags constraint is too narrow
}, "vanilla")

您可以在this playground中处理该问题
错误行表明Typescript很难推断Key的范围太窄。通过仅从keys数组进行推断，而不是尝试从flags对象进行推断，如果flags对象有任何不在keys中的属性名，它最终会抱怨flags对象无效...
激励性示例
虽然这是一个非常简单的例子，但我正在处理的更复杂的例子具有类似的性质，错误条件类似于这里的多余属性检查-换句话说，keys驱动flags的约束类型，而应该以相反的方式推断它-keys应该从flags的属性推断。
解决方案
您可能认为下面的解决方法会为flags对象的类型创建一个占位符....

// Define Flags explicitly

function createNextFlags<Flags extends Record<Key, boolean>, Key extends string>(
  flags: Flags,
  ...keys: [Key, ...Key[]]
) {
  const nextFlags = {
    ...flags
  }
  for (const key of keys) {
    nextFlags[key] = true; // this assignment is apparently illegal!
  }
  return nextFlags;
}

createNextFlags({
  vanilla:false,
  chocolate:true,
}, "vanilla")

然而，这种方法会产生一个更奇怪的错误。将鼠标悬停在对nextFlags属性的明显错误的赋值上会显示出令人惊讶的错误行（我不骗你）...

const nextFlags: Flags extends Record<Key, boolean>
Type 'boolean' is not assignable to type 'Flags[Key]'

我还尝试过使用keyof直接从flags类型派生密钥，结果与此相同，尽管它完全消除了Key泛型，并使keys类型完全派生自flags。

// use keyof to ensure that the property name aligns

function createNextFlags<Flags extends Record<any, boolean>>(
  flags: Flags,
  ...keys: [keyof Flags, ...(keyof Flags)[]]
)

然而，它也有同样的错误

const nextFlags: Flags extends Record<any, boolean>
Type 'boolean' is not assignable to type 'Flags[keyof Flags]'

我还尝试过使用infer直接从flags类型派生密钥，如下所示...

type InferKey<Flags extends Record<any, boolean>> = Flags extends Record<infer Key, boolean> ? Key: never;

function createNextFlags<Flags extends Record<any, boolean>>(
  flags: Flags,
  ...keys: [InferKey<Flags>, ...InferKey<Flags>[]]
)

这导致了一个同样令人惊讶的错误...

const nextFlags: Flags extends Record<any, boolean>
Type 'boolean' is not assignable to type 'Flags[InferKey<Flags>]'

解决这个问题的正确方法是什么，以便Key类型可以从flags对象中推断出来，从而约束keys参数？我遗漏了什么？