如何让TypeScript对多余属性抛出错误并保留类型推断？

以下是Markdown内容的格式化规则及对应示例：

• 标题：使用数字符号 # 定义，数量对应标题层级（1-6级）
  示例：

  # 一级标题
  ### 三级标题
  

• 列表项：无序列表以短横线 - 开头
  示例：

  - 列表第一项
  - 列表第二项
  

• 文本强调：单个星号 * 包裹实现斜体，两个星号 ** 包裹实现粗体
  示例：

  *斜体强调文本*
  **粗体突出文本**
  

• 代码/命令：单行代码用反引号 ` 包裹，多行代码块用三个反引号 ``` 包裹，可指定语言类型实现语法高亮
  示例：

  单行代码：`console.log('Hello')`
  多行代码块：
  ```typescript
  interface User {
    name: string;
    age: number;
  }
  

• 引用文本：使用大于号 > 标记引用内容，多层引用可叠加多个 >
  示例：

  > 一级引用内容
  >> 嵌套的二级引用内容
  

• 链接：格式为 [显示文本](目标URL)
  示例：

  [Markdown 基础教程](https://daringfireball.net/projects/markdown/)
  

• 图片：格式为 [图片替代文本](图片URL)
  示例：

  [示例图片](https://example.com/image.png)
  

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