为何Promise<any>是合法TS返回类型？如何强制返回Promise<Response>？

• 核心是any类型在TypeScript中的特殊兼容性规则：any是类型系统设计的明确逃生口，任何类型的值都可以赋值给any类型的变量，any类型的值也可以赋值给任何类型的目标变量，整个过程完全跳过类型兼容性检查。
• 代码里调用的res.json()，Web标准库给出的类型定义就是Promise<any>，await解包后拿到的data自然是any类型。当你在分支中返回data时，TS根本不会校验它是否符合Response的结构要求，直接判定为符合类型约束。
• 嵌套在泛型里的any同样会触发这个规则：Promise<any>可以直接赋值给任意Promise<T>类型，不会触发泛型参数的兼容性校验。如果把any换成其他具体类型，比如Promise<number>，赋值给Promise<Response>时会立刻抛出类型错误。
• 顺带一提，这段代码本身就存在逻辑错误：命中JSON判断分支时，返回的是解析后的普通JavaScript值，根本不是Response实例，本身就违反了Layer类型的返回值约定，这个问题完全被any掩盖了。

• 首先开启TS配置的严格模式，在tsconfig.json中设置"strict": true，从编译层面禁止隐式any生成。注意这一步无法拦截标准库明确定义的显式any，比如res.json()的返回值。
• 显式标注内部异步函数的返回值类型，不要完全依赖上下文类型推导，同时修正原代码的逻辑错误（JSON分支需要返回Response实例，而不是解析后的原始值）：

type Layer = (req: Request) => Promise<Response>;
type Middleware = (next: Layer) => Layer;

export const json: Middleware = (next: Layer) => async (req: Request): Promise<Response> => {
  const res = await next(req);

  if (res.headers.get('Content-Type') === 'application/json') {
    const data = await res.json();
    // 修正逻辑：将解析后的数据重新包装为Response对象返回
    return Response.json(data);
  }

  return res;
};

• 如果要彻底阻断any的传播，可以把res.json()的返回值手动标注为unknown类型。unknown是类型安全的顶级类型，不经过类型收窄无法赋值给其他类型，只要直接返回未处理的unknown值，TS会立刻抛出类型错误：

const data: unknown = await res.json();
// 直接return data会触发类型报错：Type 'unknown' is not assignable to type 'Response'

• 工程化层面可以接入ESLint规则@typescript-eslint/no-explicit-any，在代码检查阶段直接拦截所有显式、隐式的any，从流程上避免any绕过类型校验的问题。

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