覆盖koa-body类型定义

Question

如何覆盖koa-body类型定义？ koa-body的输入定义如下：

declare module "koa" {
    interface Request {
        body: any;
    }
    interface Context {
        body: any;
    }
}

我希望覆盖类似这样的内容（文件index.d.ts）：

import { Files } from 'formidable'

interface IBody {
  files: Files
}

declare module "koa" {
  interface Request {
    body: IBody
  }

  interface Context {
    body: IBody
  }
}

但智能感知不起作用，它仍然表明ctx.request.body是any。我该怎么办？