通常在这种情况下，我会引入一个助手函数，它检查一个值是否可以分配给一个类型，而不会将该值扩展到该类型。helper函数的一般版本如下所示：

const checkType = <T>() => <U extends T>(u: U) => u;

然后让它检查你调用的特定类型，并手动指定该类型：

const checkKeys = checkType<Record<string, keyof MyInterface>>();

现在你有了一个函数，它只接受正确类型的值，当你做错了什么时，它会给予你预期的错误：

export const MY_KEYS = checkKeys({
  CONSTANT_KEY_A: 'keyA',
  CONSTANT_KEY_B: 'keyB',
  // CONSTANT_KEY_C: 'keyC', // error! '"keyC"' is not assignable to  '"keyA" | "keyB"'.
})

但函数的输出不按需要加宽：

MY_KEYS.CONSTANT_KEY_A // "keyA"

请注意，您甚至不需要as const，因为编译器认为您希望将对象文字解释为可分配给Record<string, keyof MyInterface>，因此不会将文字字符串值扩展为string。不过，如果as const在其他方面有帮助，您仍然可以使用它。
从概念上讲，这与您的“死变量”想法没有什么不同，当然在运行时，(() => u => u)()(someValue)是编写someValue的一种奇怪方式。但是在TypeScript中没有内置的“验证可分配性而不扩大”操作符（比如microsoft/TypeScript#30809？），这是我所知道的一般情况下最好的方法。
好吧，希望能帮上忙;祝你好运！
Playground链接到代码

对于使用typescript 4.9.5或更高版本的用户，只需使用satisfies（链接）：

export const MY_KEYS = {
  CONSTANT_KEY_A: 'keyA',
  CONSTANT_KEY_B: 'keyB',
} as const satisfies Record<string, keyof MyInterface>;

MY_KEYS.CONSTANT_KEY_A
// (property) CONSTANT_KEY_A: "keyA"