从“上下文”推导（Contextual Typing）

你把一个值放到某个“有类型的槽位”里，TS 会按槽位来推。

• 回调函数最典型：

[1, 2, 3].map(n => n * 2) // n 自动推导为 number

因为 map 的签名告诉 TS：回调参数类型是数组元素类型。