在 TypeScript 中，如何确认数组包含字符串文字联合类型的所有可能值？

Question

我有一个从库继承的字符串文字联合类型，它有数百个成员（IconName来自@fortawesome/fontawesome-common-types 的类型，如果你好奇的话）。我无法重新定义此类型或使用枚举来代替。

我知道您无法将字符串文字联合转换为数组。但是是否有某种方法可以使用类型来确保数组包含字符串文字联合的所有可能值？

我可以做类似的事情

const iconNames: IconName[] = [
  ...
]

但这只能保证数组的所有成员都是有效的IconName，并不能保证列表是详尽的。

有没有一种方法可以详尽地确认数组的所有成员都符合某种类型，并且该数组列出了该类型的所有可能值？

正如我所说，我不控制这种类型，因此我不能将其重写为枚举，或者将其重写为数组，然后从数组派生联合类型。这里的预期用例是为用户提供一个下拉列表，以从可能的有效值列表中选择一个图标。