问TypeScript能否验证一个.js文件是否与它自己的.d.ts声明一致？

EN

是否可以让TypeScript编译器检查JavaScript文件foo.js与其自己的声明文件foo.d.ts是否一致？

我们有一堆JavaScript代码，出于各种原因，我们希望保留在JavaScript中。但是，如果可能的话，我们希望使用TypeScript来实现两个目标: 1)确认我们自己的JavaScript代码是类型安全的，2)向有兴趣使用TypeScript的客户提供声明。

对于给定的JavaScript文件foo.js，我们可以创建相应的文件foo.d.ts以满足目标2(支持TypeScript客户)。但据我们所知，foo.d.ts的存在并不会导致对foo.js的任何检查。也就是说，声明文件只对foo.js的外部使用者感兴趣，编译器不验证JavaScript代码是否与自己的.d.ts声明一致。

我们已经在foo.js中尝试使用foo.js类型注释，TypeScript编译器确实验证了该文件中的代码是否与声明的类型一致。这似乎满足了目标1(检查我们自己的代码)。

但是，jsDoc注释并不像TypeScript声明文件中的完整TypeScript语法那样强大(例如，对泛型的jsDoc支持是基本的)，这限制了我们可以在哪里使用它们。此外，TypeScript编译器似乎没有提供任何jsDoc注释与.d.ts声明一致的验证。我们冒着两种类型信息来源之间不一致的风险。

我们正在寻找关于在这样的TypeScript项目上下文中使用JavaScript类型检查的最佳方法的指导。