三元运算符初始化导致静态类型识别错误问题

最近我碰到个特别闹心的TypeScript问题：我用三元表达式初始化变量的时候，这个表达式可能返回我自己写的一个简单自定义类的实例。结果发现VSCode的悬停提示，还有tsc（v5.8.3版本）给出的类型信息，都错误地识别了mm7和mm8这两个变量的类型。

说也奇怪，把TypeScript转译成JavaScript之后，代码运行完全正常，一点问题都没有，但就是在原始的.ts源文件里，类型检查工具会给出错误的类型提示，而且这个问题还不是每次都出现，只在某些特定的代码场景下才会触发。

备注：内容来源于stack exchange，提问作者user3624334