为何TypeScript中keyof never的结果为string | number | symbol联合类型？

当对never类型使用keyof操作符时，它会解析为所有可能的属性键的联合类型，这和keyof any的结果完全一致。

示例代码：

type t = keyof never // 等同于 keyof any，结果为 string | number | symbol

将鼠标悬停在类型t上时，TypeScript会显示其具体类型为：

string | number | symbol

内容的提问来源于stack exchange，提问作者D1g1taL