条件可选参数类型

Question

目前我有一个演示条件参数的示例，传入的第二个参数的值将取决于第一个参数的类型。

type Check<G, T> = T extends number ? string : number

function Example<T>(arg: T) { 
    return function <P>(arg: Check<P, T>) { 

    }
}

// Valid:

Example('hello')(1)
Example(1)('hello')

如何更改上面的代码以使此示例正常运行？

Example()(1)
Example(1)()

我添加 ? 时的问题是它永久可选，没有它是必需的。

Answer 1

void 成功了！

type Check<G, T> = T extends number ? void : number

function Example<T>(arg?: T) { 
    return function <P>(arg: Check<P, T>) { 

    }
}

Example()(1)
Example(1)()