TypeScript版本： 4.0.3
搜索词：

• module
• declare
• merging
• declaration
  代码
• 源文件 index.ts :

import { foo } from "./foo.ts"
console.log(foo({ fooField: "hello" }))

• 源文件 foo.ts :

import { Bar } from "bar"

declare module "bar" {
  interface Bar {
    fooField?: string
  }
}

export const foo = (e: Bar) => e.fooField

• 编译后的 index.d.ts :

export {};

• 编译后的 foo.d.ts :

import { Bar } from "bar"
declare module "bar" {
    interface Bar {
        fooField?: string;
    }
}
export declare const foo: (e: Bar) => string | undefined;

预期行为：

• 编译后的 index.d.ts 应该看起来像：

import "./foo"
export {};

当导入 index.d.ts 时，模块 "bar" 的声明合并应该发生。更准确地说：
当生成 .d.ts 文件时，如果没有使用/暴露 foo.d.ts 中的类型，但导入该文件会导致模块声明合并，则编译器应自动将 import { x } from "./foo" 替换为 import "./foo" 。

实际行为：

index.d.ts 没有导入 ./foo.d.ts ,这意味着模块 "bar" 的声明合并并未发生。
现在，如果我们决定从 foo.ts 导出一些内容，那么一切都“正常工作”( ./foo.d.ts 从 index.d.ts 中被引用),这是错误的，原因如下：

• 我们可能不希望从 foo 中导出任何内容
• 如果导入文件依赖于 Bar.fooField (如果它依赖于 Bar.fooField ),则可能会开始出现编译错误(因为一个无关的导出被删除了)
• 在开发 index.ts 时，开发者会“看到” Bar.fooField 属性，并错误地认为任何使用该文件的用户都会“看到”它。

目前支持这种方式的方法是在 index 的开头手动添加 x1m29n1x (除了 x1m29n2x 之外)。但是，这意味着您需要了解每个依赖项的内部情况(您只需要显式导入声明要合并的模块)。
编译器应在 x24n3x 文件中自动用 x24n4x 替换 x24n5x,即使没有使用来自 x25n6x 的类型，如果导入该文件会导致声明合并。

Playground链接：

https://www.typescriptlang.org/play?#code/JYWwDg9gTgLgBAbzgMwhOBfFUIjgIgDoB6VCfAWACgBjCAOwGcIAbAU0JYgHMAKM3ggwBKYdWrFicYMjgkyhKIzh16MAIbAmcZiDZwAJmxot1UdTGAM4eqNy3cANHBgALNgE84AdwYByeAAjfXUwMBZgNgMfd3ppcGhLem4XV2BlZGB2IA