如何在TypeScript中无需中间变量重分配类型别名？

先看简化示例：

type Response = {
  data: {
    bar: number;
  }
}

type MyData = {
  bar: number;
}

const responses: Response[] = [/**/];
const data = responses
  .map(response => response.data);

在IDE中悬停data时，会显示其类型为{ bar: number }[]，悬停.map函数则会显示更复杂、难以阅读的类型。实际场景中，复杂类型会导致悬停信息完全无用，错误信息也同理。

我希望让TypeScript将response.data视为MyData类型，实现如下效果：

const data = responses
  .map(response => {
    const data: MyData = response.data; // 若response.data不匹配MyData则报错
    return data; // 映射为`MyData`而非`{bar : number}`
  });

但不想用中间变量这种冗余模板代码，理想写法如下：

const data = responses
  .map(response => response.data with type MyData);

我尝试过几种方案，但实际场景中表现不佳：

1: 在Response类型中使用MyData #

type Response = { data : MyData }

这种方案要求能修改输入类型，但并非总能实现——比如响应类型可能是自动生成或来自第三方库。

2: 显式指定data变量的类型 #

const data: MyData[] = responses.map(response => response.data);

虽然能让data的类型更清晰，但.map仍保留原始复杂类型。在链式调用（如map/filter组合）的复杂场景中，仍会使用未别名的类型签名。

3: 使用as断言 #

const data = responses.map(response => response.data as MyData);

这种方式不安全：如果response.data变为MyData | undefined，代码仍能正常编译，但实际已经出错。

4: 使用satisfies断言 #

const data = responses.map(response => response.data satisfies MyData);

这种方式安全但无效，因为它会保留原始类型（这是satisfies的设计初衷）。

5: 显式设置类型参数 #

const data = responses.map<MyData>(response => response.data);

在这个简化示例中效果尚可，但实际场景并不总是适用。除了风格问题，主要缺陷是如果操作包含多个类型参数，必须提供所有参数，这既不理想，有时甚至无法实现。

请问是否存在一种无需中间变量即可“重分配”值类型的方法？该如何实现？

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