hono 3.6.0 → 3.6.2

package/dist/cjs/helper/adapter/index.js

@@ -24,43 +24,38 @@ __export(adapter_exports, {
 module.exports = __toCommonJS(adapter_exports);
 const env = (c) => {
   const global = globalThis;
-  if (c.runtime === "bun" || c.runtime === "node" || c.runtime === "edge-light" || c.runtime === "lagon") {
-    return global?.process?.env;
-  }
-  if (c.runtime === "deno") {
-    return Deno.env.toObject();
-  }
-  if (c.runtime === "workerd") {
-    return c.env;
-  }
-  if (c.runtime === "fastly") {
-    return {};
-  }
-  return {};
+  const globalEnv = global?.process?.env;
+  const runtime = getRuntimeKey();
+  const runtimeEnvHandlers = {
+    bun: () => globalEnv,
+    node: () => globalEnv,
+    "edge-light": () => globalEnv,
+    lagon: () => globalEnv,
+    deno: () => {
+      return Deno.env.toObject();
+    },
+    workerd: () => c.env,
+    fastly: () => ({}),
+    other: () => ({})
+  };
+  return runtimeEnvHandlers[runtime]();
 };
 const getRuntimeKey = () => {
   const global = globalThis;
-  if (global?.Deno !== void 0) {
+  if (global?.Deno !== void 0)
     return "deno";
-  }
-  if (global?.Bun !== void 0) {
+  if (global?.Bun !== void 0)
     return "bun";
-  }
-  if (typeof global?.WebSocketPair === "function") {
+  if (typeof global?.WebSocketPair === "function")
     return "workerd";
-  }
-  if (typeof global?.EdgeRuntime === "string") {
+  if (typeof global?.EdgeRuntime === "string")
     return "edge-light";
-  }
-  if (global?.fastly !== void 0) {
+  if (global?.fastly !== void 0)
     return "fastly";
-  }
-  if (global?.__lagon__ !== void 0) {
+  if (global?.__lagon__ !== void 0)
     return "lagon";
-  }
-  if (global?.process?.release?.name === "node") {
+  if (global?.process?.release?.name === "node")
     return "node";
-  }
   return "other";
 };
 // Annotate the CommonJS export names for ESM import in node:

package/dist/cjs/hono-base.js

@@ -60,17 +60,17 @@ class Hono extends defineDynamicClass() {
     this.fetch = (request, Env, executionCtx) => {
       return this.dispatch(request, executionCtx, Env, request.method);
     };
-    this.request = (input, requestInit) => {
+    this.request = (input, requestInit, Env, executionCtx) => {
       if (input instanceof Request) {
         if (requestInit !== void 0) {
           input = new Request(input, requestInit);
         }
-        return this.fetch(input);
+        return this.fetch(input, Env, executionCtx);
       }
       input = input.toString();
       const path = /^https?:\/\//.test(input) ? input : `http://localhost${(0, import_url.mergePath)("/", input)}`;
       const req = new Request(path, requestInit);
-      return this.fetch(req);
+      return this.fetch(req, Env, executionCtx);
     };
     this.fire = () => {
       addEventListener("fetch", (event) => {

package/dist/helper/adapter/index.js

@@ -1,43 +1,38 @@
 // src/helper/adapter/index.ts
 var env = (c) => {
   const global = globalThis;
-  if (c.runtime === "bun" || c.runtime === "node" || c.runtime === "edge-light" || c.runtime === "lagon") {
-    return global?.process?.env;
-  }
-  if (c.runtime === "deno") {
-    return Deno.env.toObject();
-  }
-  if (c.runtime === "workerd") {
-    return c.env;
-  }
-  if (c.runtime === "fastly") {
-    return {};
-  }
-  return {};
+  const globalEnv = global?.process?.env;
+  const runtime = getRuntimeKey();
+  const runtimeEnvHandlers = {
+    bun: () => globalEnv,
+    node: () => globalEnv,
+    "edge-light": () => globalEnv,
+    lagon: () => globalEnv,
+    deno: () => {
+      return Deno.env.toObject();
+    },
+    workerd: () => c.env,
+    fastly: () => ({}),
+    other: () => ({})
+  };
+  return runtimeEnvHandlers[runtime]();
 };
 var getRuntimeKey = () => {
   const global = globalThis;
-  if (global?.Deno !== void 0) {
+  if (global?.Deno !== void 0)
     return "deno";
-  }
-  if (global?.Bun !== void 0) {
+  if (global?.Bun !== void 0)
     return "bun";
-  }
-  if (typeof global?.WebSocketPair === "function") {
+  if (typeof global?.WebSocketPair === "function")
     return "workerd";
-  }
-  if (typeof global?.EdgeRuntime === "string") {
+  if (typeof global?.EdgeRuntime === "string")
     return "edge-light";
-  }
-  if (global?.fastly !== void 0) {
+  if (global?.fastly !== void 0)
     return "fastly";
-  }
-  if (global?.__lagon__ !== void 0) {
+  if (global?.__lagon__ !== void 0)
     return "lagon";
-  }
-  if (global?.process?.release?.name === "node") {
+  if (global?.process?.release?.name === "node")
     return "node";
-  }
   return "other";
 };
 export {

package/dist/hono-base.js

@@ -38,17 +38,17 @@ var Hono = class extends defineDynamicClass() {
     this.fetch = (request, Env, executionCtx) => {
       return this.dispatch(request, executionCtx, Env, request.method);
     };
-    this.request = (input, requestInit) => {
+    this.request = (input, requestInit, Env, executionCtx) => {
       if (input instanceof Request) {
         if (requestInit !== void 0) {
           input = new Request(input, requestInit);
         }
-        return this.fetch(input);
+        return this.fetch(input, Env, executionCtx);
       }
       input = input.toString();
       const path = /^https?:\/\//.test(input) ? input : `http://localhost${mergePath("/", input)}`;
       const req = new Request(path, requestInit);
-      return this.fetch(req);
+      return this.fetch(req, Env, executionCtx);
     };
     this.fire = () => {
       addEventListener("fetch", (event) => {

package/dist/types/adapter/cloudflare-workers/server-static-module.d.ts

@@ -1,3 +1,3 @@
 import type { ServeStaticOptions } from './serve-static';
-declare const module: (options?: ServeStaticOptions) => import("../..").MiddlewareHandler<any, any, {}>;
+declare const module: (options?: ServeStaticOptions) => import("../..").MiddlewareHandler<any, string, {}>;
 export { module as serveStatic };

package/dist/types/client/types.d.ts

@@ -1,9 +1,10 @@
 import type { Hono } from '../hono';
 import type { Schema } from '../types';
 import type { RemoveBlankRecord } from '../utils/types';
+declare type HonoRequest = typeof Hono.prototype['request'];
 export declare type ClientRequestOptions = {
     headers?: Record<string, string>;
-    fetch?: typeof fetch;
+    fetch?: typeof fetch | HonoRequest;
 };
 declare type ClientRequest<S extends Schema> = {
     [M in keyof S]: S[M] extends {

package/dist/types/helper/factory/index.d.ts

@@ -4,4 +4,4 @@ import type { Env, Input, MiddlewareHandler } from '../../types';
  * `middleware()` is an experimental feature.
  * The API might be changed.
  */
-export declare const middleware: <E extends Env = Env, P extends string = string, I extends Input = {}>(middleware: MiddlewareHandler<E, P, I>) => MiddlewareHandler<E, P, I>;
+export declare const middleware: <E extends Env = any, P extends string = any, I extends Input = {}>(middleware: MiddlewareHandler<E, P, I>) => MiddlewareHandler<E, P, I>;

package/dist/types/hono-base.d.ts

@@ -64,13 +64,13 @@ declare class Hono<E extends Env = Env, S extends Schema = {}, BasePath extends
     private handleError;
     private dispatch;
     /**
-     * @deprecate
+     * @deprecated
      * `app.handleEvent()` will be removed in v4.
      * Use `app.fetch()` instead of `app.handleEvent()`.
      */
     handleEvent: (event: FetchEventLike) => Response | Promise<Response>;
     fetch: (request: Request, Env?: E['Bindings'] | {}, executionCtx?: ExecutionContext) => Response | Promise<Response>;
-    request: (input: Request | string | URL, requestInit?: RequestInit) => Response | Promise<Response>;
+    request: (input: RequestInfo | URL, requestInit?: RequestInit, Env?: E['Bindings'] | {}, executionCtx?: ExecutionContext) => Response | Promise<Response>;
     fire: () => void;
 }
 export { Hono as HonoBase };

package/dist/types/types.d.ts

@@ -1,7 +1,7 @@
 import type { Context } from './context';
 import type { Hono } from './hono';
 import type { StatusCode } from './utils/http-status';
-import type { UnionToIntersection } from './utils/types';
+import type { IntersectNonAnyTypes, UnionToIntersection } from './utils/types';
 export declare type Bindings = Record<string, unknown>;
 export declare type Variables = Record<string, unknown>;
 export declare type Env = {
@@ -17,83 +17,72 @@ export declare type Input = {
 };
 declare type HandlerResponse<O> = Response | TypedResponse<O> | Promise<Response | TypedResponse<O>>;
 export declare type Handler<E extends Env = any, P extends string = any, I extends Input = Input, R extends HandlerResponse<any> = any> = (c: Context<E, P, I>, next: Next) => R;
-export declare type MiddlewareHandler<E extends Env = any, P extends string = any, I extends Input = {}> = (c: Context<E, P, I>, next: Next) => Promise<Response | void>;
-export declare type H<E extends Env = any, P extends string = any, I extends Input = {}, E2 extends Env = E, R extends HandlerResponse<any> = any> = Handler<E2, P, I, R> | MiddlewareHandler<E2, P, I>;
+export declare type MiddlewareHandler<E extends Env = any, P extends string = string, I extends Input = {}> = (c: Context<E, P, I>, next: Next) => Promise<Response | void>;
+export declare type H<E extends Env = any, P extends string = any, I extends Input = {}, R extends HandlerResponse<any> = any> = Handler<E, P, I, R> | MiddlewareHandler<E, P, I>;
 export declare type NotFoundHandler<E extends Env = any> = (c: Context<E>) => Response | Promise<Response>;
 export declare type ErrorHandler<E extends Env = any> = (err: Error, c: Context<E>) => Response | Promise<Response>;
-export interface HandlerInterface<E extends Env = Env, M extends string = any, S extends Schema = {}, BasePath extends string = '/'> {
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any, Temp extends Env = E>(handler: H<E, P, I, Temp, R>): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any, E2 extends Env = E, E3 extends Env = E, Temp extends Env = E & E2>(...handlers: [H<E2, P, I, E2, R>, H<E3, P, I, Temp, R>]): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, Temp extends Env = E & E2 & E3>(...handlers: [H<E2, P, I, E2, R>, H<E3, P, I2, E3, R>, H<E4, P, I3, Temp, R>]): Hono<E, S & ToSchema<M, P, I3['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, Temp extends Env = E & E2 & E3 & E4>(...handlers: [
-        H<E2, P, I, E2, R>,
-        H<E3, P, I2, E3, R>,
-        H<E4, P, I3, E4, R>,
-        H<E5, P, I3, Temp, R>
-    ]): Hono<E, S & ToSchema<M, P, I4['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = E, Temp extends Env = E & E2 & E3 & E4 & E5>(...handlers: [
-        H<E2, P, I, E2, R>,
-        H<E3, P, I2, E3, R>,
-        H<E4, P, I3, E4, R>,
-        H<E5, P, I3, E5, R>,
-        H<E6, P, I3, Temp, R>
+export interface HandlerInterface<E extends Env = Env, M extends string = string, S extends Schema = {}, BasePath extends string = '/'> {
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any, E2 extends Env = E>(handler: H<E2, P, I, R>): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any, E2 extends Env = E, E3 extends Env = IntersectNonAnyTypes<[E, E2]>>(...handlers: [H<E2, P, I, R>, H<E3, P, I, R>]): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = IntersectNonAnyTypes<[E, E2, E3]>>(...handlers: [H<E2, P, I, R>, H<E3, P, I2, R>, H<E4, P, I3, R>]): Hono<E, S & ToSchema<M, P, I3['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4]>>(...handlers: [H<E2, P, I, R>, H<E3, P, I2, R>, H<E4, P, I3, R>, H<E5, P, I3, R>]): Hono<E, S & ToSchema<M, P, I4['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4, E5]>>(...handlers: [
+        H<E2, P, I, R>,
+        H<E3, P, I2, R>,
+        H<E4, P, I3, R>,
+        H<E5, P, I3, R>,
+        H<E6, P, I3, R>
     ]): Hono<E, S & ToSchema<M, P, I5['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any>(...handlers: H<E, P, I, E, R>[]): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string = ExtractKey<S> extends never ? BasePath : ExtractKey<S>, I extends Input = {}, R extends HandlerResponse<any> = any>(...handlers: H<E, P, I, R>[]): Hono<E, S & ToSchema<M, P, I['in'], MergeTypedResponseData<R>>, BasePath>;
     <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}>(path: P): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, Temp extends Env = E>(path: P, handler: H<E, MergePath<BasePath, P>, I, Temp, R>): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, E2 extends Env = E, E3 extends Env = E, Temp extends Env = E & E2>(path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I, Temp, R>
-    ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, Temp extends Env = E & E2 & E3>(path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, Temp, R>
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, E2 extends Env = E>(path: P, handler: H<E2, MergePath<BasePath, P>, I, R>): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, E2 extends Env = E, E3 extends Env = IntersectNonAnyTypes<[E, E2]>>(path: P, ...handlers: [H<E2, MergePath<BasePath, P>, I, R>, H<E3, MergePath<BasePath, P>, I, R>]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = IntersectNonAnyTypes<[E, E2, E3]>>(path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I3['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, Temp extends Env = E & E2 & E3 & E4>(path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, E4, R>,
-        H<E5, MergePath<BasePath, P>, I4, Temp, R>
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4]>>(path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>,
+        H<E5, MergePath<BasePath, P>, I4, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I4['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = E, Temp extends Env = E & E2 & E3 & E4 & E5>(path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, E4, R>,
-        H<E5, MergePath<BasePath, P>, I4, E5, R>,
-        H<E6, MergePath<BasePath, P>, I5, Temp, R>
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4, E5]>>(path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>,
+        H<E5, MergePath<BasePath, P>, I4, R>,
+        H<E6, MergePath<BasePath, P>, I5, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I5['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, I extends Input = {}, R extends HandlerResponse<any> = any>(path: P, ...handlers: H<E, MergePath<BasePath, P>, I, E, R>[]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string, I extends Input = {}, R extends HandlerResponse<any> = any>(path: P, ...handlers: H<E, MergePath<BasePath, P>, I, R>[]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
 }
 export interface MiddlewareHandlerInterface<E extends Env = Env, S extends Schema = {}, BasePath extends string = '/'> {
-    (...handlers: MiddlewareHandler<E, MergePath<BasePath, ExtractKey<S>>>[]): Hono<E, S, BasePath>;
-    <P extends string>(path: P, ...handlers: MiddlewareHandler<E, MergePath<BasePath, P>>[]): Hono<E, S, BasePath>;
+    <E2 extends Env = E>(...handlers: MiddlewareHandler<E2, MergePath<BasePath, ExtractKey<S>>>[]): Hono<E, S, BasePath>;
+    <P extends string, E2 extends Env = E>(path: P, ...handlers: MiddlewareHandler<E2, MergePath<BasePath, P>>[]): Hono<E, S, BasePath>;
 }
 export interface OnHandlerInterface<E extends Env = Env, S extends Schema = {}, BasePath extends string = '/'> {
-    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, E2 extends Env = E, E3 extends Env = E>(method: M, path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I, E & E2, R>
-    ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E>(method: M, path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, E & E2 & E3, R>
+    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, E2 extends Env = E, E3 extends Env = IntersectNonAnyTypes<[E, E2]>>(method: M, path: P, ...handlers: [H<E2, MergePath<BasePath, P>, I, R>, H<E3, MergePath<BasePath, P>, I, R>]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, E2 extends Env = E, E3 extends Env = E, E4 extends Env = IntersectNonAnyTypes<[E, E2, E3]>>(method: M, path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I3['in'], MergeTypedResponseData<R>>, BasePath>;
-    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E>(method: M, path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, E4, R>,
-        H<E5, MergePath<BasePath, P>, I4, E & E2 & E3 & E4, R>
+    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4]>>(method: M, path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>,
+        H<E5, MergePath<BasePath, P>, I4, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I4['in'], MergeTypedResponseData<R>>, BasePath>;
-    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = E>(method: M, path: P, ...handlers: [
-        H<E2, MergePath<BasePath, P>, I, E2, R>,
-        H<E3, MergePath<BasePath, P>, I2, E3, R>,
-        H<E4, MergePath<BasePath, P>, I3, E4, R>,
-        H<E5, MergePath<BasePath, P>, I4, E5, R>,
-        H<E6, MergePath<BasePath, P>, I5, E & E2 & E3 & E4 & E5, R>
+    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}, I2 extends Input = I, I3 extends Input = I & I2, I4 extends Input = I & I2 & I3, I5 extends Input = I & I2 & I3 & I4, E2 extends Env = E, E3 extends Env = E, E4 extends Env = E, E5 extends Env = E, E6 extends Env = IntersectNonAnyTypes<[E, E2, E3, E4, E5]>>(method: M, path: P, ...handlers: [
+        H<E2, MergePath<BasePath, P>, I, R>,
+        H<E3, MergePath<BasePath, P>, I2, R>,
+        H<E4, MergePath<BasePath, P>, I3, R>,
+        H<E5, MergePath<BasePath, P>, I4, R>,
+        H<E6, MergePath<BasePath, P>, I5, R>
     ]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I5['in'], MergeTypedResponseData<R>>, BasePath>;
-    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}>(method: M, path: P, ...handlers: H<E, MergePath<BasePath, P>, I, E, R>[]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
-    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}>(methods: string[], path: P, ...handlers: H<E, MergePath<BasePath, P>, I, E, R>[]): Hono<E, S & ToSchema<string, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <M extends string, P extends string, R extends HandlerResponse<any> = any, I extends Input = {}>(method: M, path: P, ...handlers: H<E, MergePath<BasePath, P>, I, R>[]): Hono<E, S & ToSchema<M, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
+    <P extends string, R extends HandlerResponse<any> = any, I extends Input = {}>(methods: string[], path: P, ...handlers: H<E, MergePath<BasePath, P>, I, R>[]): Hono<E, S & ToSchema<string, MergePath<BasePath, P>, I['in'], MergeTypedResponseData<R>>, BasePath>;
 }
 declare type ExtractKey<S> = S extends Record<infer Key, unknown> ? Key extends string ? Key : never : string;
 export declare type ToSchema<M extends string, P extends string, I extends Input['in'], O> = {

package/dist/types/utils/types.d.ts

@@ -3,6 +3,8 @@ export declare type Equal<X, Y> = (<T>() => T extends X ? 1 : 2) extends <T>() =
 export declare type NotEqual<X, Y> = true extends Equal<X, Y> ? false : true;
 export declare type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
 export declare type RemoveBlankRecord<T> = T extends Record<infer K, unknown> ? K extends string ? T : never : never;
+export declare type IfAnyThenEmptyObject<T> = 0 extends 1 & T ? {} : T;
+export declare type IntersectNonAnyTypes<T extends any[]> = T extends [infer Head, ...infer Rest] ? IfAnyThenEmptyObject<Head> & IntersectNonAnyTypes<Rest> : {};
 export declare type JSONPrimitive = string | boolean | number | null | undefined;
 export declare type JSONArray = (JSONPrimitive | JSONObject | JSONArray)[];
 export declare type JSONObject = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hono",
-  "version": "3.6.0",
+  "version": "3.6.2",
   "description": "Ultrafast web framework for the Edges",
   "main": "dist/cjs/index.js",
   "type": "module",