在我的应用程序中，我使用的值可以是静态值，也可以是返回这些值的函数。
对于typescript，我定义了静态值及其类型，如下所示

type Static = {
  key1: number;
  key2: string;
};

然后使用keyof Static：

type DynamicValue<T> = () => T;
type Dynamic = {[key in keyof Static]: DynamicValue<Static[key]>};

在我的理解中，这应该和写这篇文章完全一样：

type DynamicValue<T> = () => T;
type Dynamic = {
  key1: DynamicValue<number>;
  key2: DynamicValue<string>;
};

(and实际上，在下面的代码中，这两种方法都会产生相同的错误）
现在我有了一个函数，它接受动态值并从中创建静态值，这就是问题所在：

function dynamicToStatic(d: Dynamic): Static {
  const o: Static = {key1: 0, key2: ''};
  
  for (const [key, callback] of Object.entries(d))
    // the left-hand side of this assignment is marked with error:
    //   "Type 'string | number' is not assignable to type 'never'."
    o[key as keyof Static] = callback();

  return o;
}

（该函数还有一个变体，它应该将Partial<Dynamic>作为参数，并返回Partial<Static>，它显示了类似的错误：“类型”字符串|number'无法指派给型别' undefined '。”）
它似乎与Object.keys无关，因为此版本具有相同的错误：

function dynamicToStatic(d: Dynamic): Static {
  const o: Static = {key1: 1, key2: ''};
  
  const keys = ['key1', 'key2'] as Array<keyof Static>;
  for (const key of keys)
    o[key] = d[key]();

  return o;
}

我知道我可以通过将有问题的行替换为

(o as any)[key as keyof Static] = callback();

但很明显，typescript认为我做的事情有问题，但我就是不知道什么地方可能有问题。
那么，为什么我在上面的代码中看到这个错误呢？错误消息中的类型“undefined”/“never”到底是什么？为什么？
(full代码）