打字稿:如何合并此交集的表示形式(在工具提示中)

Question

我有一个重载函数：

interface FunctionWithOverload {
    (): {
        a: 1
        b: 1
    }
    <T>(arg: T): {
        a: 1
        b: 1
    } & (T extends number ? { c: 1 } : {})
}
const fwo: FunctionWithOverload = () => {return {} as any}
const result = fwo() // result has a nice type: {a: 1, b: 1}
const result1 = fwo(1) // result1 does not: {a: 1, b: 1} & {c: 1}

操场

如果将鼠标悬停在 result 上，您可以在工具提示中看到它有一个不错的类型{a:1,b:1}，但是result1有一个丑陋的类型{a:1, b:1} & {c:1}。

问题是：在我的情况下，如何以某种方式将{a:1, b:1} & {c:1}合并到{a:1, b:1, c:1}？

要求

函数重载必须保持原样，即不允许我向返回类型添加相互可选属性c。

不应将任何类型的别名添加到工具提示的输出中（除非它是此问题的唯一解决方案）。

漂亮很重要，因为它符合我的任务要求。

Answer 1

我已经设法（在提香切尔尼科娃-德拉戈米尔的帮助下）解决了这个问题！喜欢这个：

interface FunctionWithOverload {
    (): {
        a: 1
        b: 1
    }
    <T>(arg: T): Id<{
        a: 1
        b: 1
    } & (T extends number ? { c: 1 } : {})>
}
type Id<T>={} & { [P in keyof T] :T[P]}
const fwo: FunctionWithOverload = () => {return {} as any}
const result = fwo() // result has a nice type: {a: 1, b: 1}
const result1 = fwo(1) // result1 DOES HAVE TOO!!! {a: 1, b: 1, c: 1} 

操场

我认为它的工作方式可能是：TS 引擎认为映射类型值得命名类型，如接口，而任何联合、交集（如上面的解决方案）或基本类型（如字符串文字）则不然。