TypeScript类型生成异常：为何im的类型被简化为单一类型？

以下是我编写的TypeScript代码：

declare function get_el(): number | null;
var el = get_el() 
export const im = (function(){  
  if (el == null){    
    const ans = {      
      exists: false    
    }    
    return ans  
  }  
  const ans2 = {    
    value: 7,    
    exists: true,  
  }    
  return ans2
})()

按照代码逻辑，im的类型应该是联合类型：

const im: {
    value: number;
    exists: boolean;
} | {
    exists: boolean;
}

但实际生成的.d.ts文件中，im的类型被定义为：

export declare const im: {
    exists: boolean;
};

请问这是什么原因？

原因解析 #

这是TypeScript生成声明文件时的类型简化逻辑导致的：

• el是模块作用域的var变量，而非立即执行函数内部的局部变量。TypeScript无法在声明文件中保留el的取值对im类型的分支影响——从模块外部视角，el的结果是不确定的，im可能是两种类型中的任意一种。
• 对于这类包含多分支的联合类型，TypeScript会选择所有分支的公共超类型作为导出类型：两个分支的公共属性只有exists: boolean，value仅存在于其中一个分支。为了保证外部代码的类型安全，声明文件会将类型简化为仅包含所有分支都具备的公共属性，也就是{ exists: boolean }。
• 声明文件的核心作用是描述模块对外暴露的类型兼容性，而非精确复刻内部的分支逻辑。外部代码只能安全访问所有分支都存在的属性，因此TypeScript会省略仅部分分支存在的属性，避免外部代码错误依赖可选属性。

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