如何为... of循环输入assert？

Question

我有以下常量：

// type names = 'Fernando' | 'Henrique' | 'João' | 'Pedro'

const NAMES: names[] = ['Fernando', 'Henrique', 'João', 'Pedro']

我想遍历一个名称数组，并检查当前项是否在NAMES数组内。示例：

const names: RecordObject[] = await getNamesFromDatabase() // { 'Fernando': 1, 'Henrique': 2 // etc.. }
for (const name in names) {
  if (NAMES.includes(name)) {
    // etc...
  }
}

但是因为name只是一个字符串类型，所以检查失败，并显示以下内容：

Argument of type 'string' is not assignable to parameter of type '"Fernando"' etc

是否可以将name声明为类型names？