TypeScript异步函数返回类型推断在PhpStorm中的异常问题

这是PhpStorm自身的符号导航bug，TypeScript层面两种类型完全一致，不存在类型定义或实际类型差异的问题。

类型验证：两种写法类型完全相同 #

先明确TypeScript的类型推导逻辑：

• typeof foo得到函数类型() => Promise<Foo>
• ReturnType<typeof foo>提取函数返回值类型，即Promise<Foo>
• Awaited<Promise<Foo>>解包Promise得到最终类型Foo

而const auto = await foo()中，TypeScript自动推断auto的类型就是Foo，和显式指定的Awaited<ReturnType<typeof foo>>完全等价。可以通过以下代码验证：

type AutoType = typeof auto;
type TypedType = Awaited<ReturnType<typeof foo>>;
// 类型检查会通过，证明两者完全一致
type IsEqual = AutoType extends TypedType ? true : false; // 结果为true
type IsEqualReverse = TypedType extends AutoType ? true : false; // 结果为true

PhpStorm导航差异的原因 #

你的PhpStorm版本（2022.2.4）属于较旧版本，其内置的TypeScript符号解析引擎对**嵌套复合类型（Awaited + ReturnType）**的导航支持存在缺陷：

• 自动推断的auto类型直接关联到Foo类的实例类型，IDE能精准定位到对应的bar.baz属性；
• 显式书写的Awaited<ReturnType<typeof foo>>在IDE的符号索引中没有正确关联到Foo类的具体属性，触发了模糊匹配逻辑，导致列出所有同名的baz属性。

建议升级到PhpStorm的新版本（如2023.x及以上），这类类型导航的bug通常会在后续版本中被修复。

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