Bug报告

我在进行“Type | Treat”的第五天时遇到了这个奇怪的行为。

🔎 搜索词

Map函数参数推断

🕗 版本与回归信息

• 这种行为在每个我尝试的版本中都存在，我也查看了关于类型系统行为的常见问题解答。

我尝试了所有带有 as 支持的 Playground 版本。

⏯ Playground 链接

带有相关代码的 Playground 链接

💻 代码

function bug<Es extends 'foo' | 'bar'>(_: { [E in Es as `on${E}`]: (e: string) => void }) {
}

bug({
  onfoo(_e) {}, // _e: any; onfoo: (e: string) => void
  onbar(_e) {}  // _e: any; onbar: (e: string) => void
})

function workaround_1<Es extends 'foo' | 'bar'>(_: { [E in `on${Es}`]: (e: string) => void }) {
}

workaround_1({
  onfoo(_e) {}, // _e: string
  onbar(_e) {}  // _e: string
})

function workaround_2<Es extends 'foo' | 'bar'>(_: Es extends never ? {} : { [E in Es as `on${E}`]: (e: string) => void }) {
}

workaround_2({
  onfoo(_e) {}, // _e: string
  onbar(_e) {}  // _e: string
})

🙁 实际行为

onfoo 和 onbar 的类型被正确地推断为 (e: string) => void,但参数 _e 被错误地类型化为 any 而不是 string。

🙂 预期行为

我希望 _e 具有 string 的类型，因为已知该函数具有 (e: string) => void 的类型。我提供了两个类型正确的变体--一个没有使用 as,另一个强制类型取决于 Es。这三个都应该等效。我特别惊讶的是 bug 和 workaround_2 的行为不同，因为它只是强制将 Es 稍微提前评估。