TypeScript接口多次扩展类型是否合法？IntelliJ识别异常如何解决？

以下代码在VSCode（TypeScript 5.5.2）中可正常识别，但IntelliJ（同版本TS）提示variable.bar为未解析变量：

declare namespace MySymbols {
    const foo: unique symbol
    const bar: unique symbol
}

type LogicSymbols = typeof MySymbols 

// wraps an object type so that for any key K of that object
// that is also a key of MySymbols 
// that symbol is added to the object so that
// obj[K] has the same type as obj[MySymbols[K]]
type WithSymbols<T extends Record<string, unknown>> = T & {
    readonly [K in keyof (LogicSymbols | T) as LogicSymbols[K]]: T[K];
};

interface WithFooAndBar
    extends WithSymbols<{ foo: boolean; }>,
        WithSymbols<{ bar: boolean; }> {
}

declare let variable: WithFooAndBar;

let a = variable.foo; // 正常识别
let b = variable.bar; // IntelliJ提示未解析变量bar

代码在TypeScript官方编译器中运行正常，核心问题：

• 这是合法的TypeScript语法吗？
• 若是，如何让IntelliJ正确识别？
• 若不合法，该如何修复？

1. 语法合法性确认 #

这段代码是合法的TypeScript语法，TypeScript官方编译器（含Playground）能正确解析所有类型，说明语法完全符合规范。IntelliJ的提示属于IDE自身的类型解析兼容性bug，而非代码本身的语法问题。

2. 让IntelliJ正确识别的方案 #

方案一：更新IDE到最新版本 #

JetBrains系列IDE对TypeScript复杂类型的支持有时会滞后于官方编译器，优先将IntelliJ（或WebStorm等同系列产品）更新到最新稳定版，新版本通常会修复这类类型解析的bug。

方案二：简化WithSymbols的类型推导逻辑 #

如果更新IDE后问题仍存在，可修改WithSymbols的实现，让类型推导逻辑更清晰，帮助IntelliJ正确解析：

declare namespace MySymbols {
    const foo: unique symbol
    const bar: unique symbol
}

type LogicSymbols = typeof MySymbols;

// 直接遍历LogicSymbols的键，明确判断是否存在于T中
type WithSymbols<T extends Record<string, unknown>> = T & {
    readonly [S in keyof LogicSymbols as LogicSymbols[S]]: 
        S extends keyof T ? T[S] : never;
};

interface WithFooAndBar
    extends WithSymbols<{ foo: boolean; }>,
        WithSymbols<{ bar: boolean; }> {
}

declare let variable: WithFooAndBar;

let a = variable.foo;
let b = variable.bar; // IntelliJ可正常识别

修改后的实现避免了原代码中keyof (LogicSymbols | T)这种交叉类型键遍历的歧义，让IDE更容易处理类型映射逻辑。

方案三：合并扩展类型 #

将两个WithSymbols的扩展合并为一个，简化类型结构：

interface WithFooAndBar extends WithSymbols<{ foo: boolean; bar: boolean; }> {}

这种方式一次性传入所有需要映射的属性，减少IDE的类型合并压力，能快速解决识别问题。

3. 总结 #

代码本身合法，问题源于IntelliJ对复杂条件类型的解析兼容性限制。优先尝试更新IDE，若无效则通过简化类型定义的方式绕过IDE的解析bug。

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