Typescript 打字脚本：为什么它能工作？

看起来，当我们使用销毁和动态键时，typescript的工作方式是错误的

下面是代码的图片：

接口很简单{
字段1:{value:string}
}
让o：简单；
常量更新=（键：字符串，值：字符串）=>{
o={…o[key]：value}；//应该抛出错误
}

正如我们看到的，的值不应该是

string

type（应该是

{value:string}

），但是typescript不会抛出错误吗

---

typescript版本：3.7.3

我对这种类型的检查感到惊讶。@TitianCernicova Dragomir这是因为。。。。事实并非如此：在TypeScript中，对对象排列进行DExcess属性检查很奇怪。我不知道发生这种情况的确切原因，但可能是GitHub中的相关问题：（hi@TitianCernicova Dragomir）@jcalz不仅仅是我，对吧？这似乎是错的。。在TS标准中，即使是传播也是奇怪的。。