fix(zod-openapi): infer Env correctly if the middleware is [] (honojs#1106)

* fix(zod-openapi): infer Env correctly if the middleware is `[]`

* add changeset

Author: yusukebe

.changeset/dark-kiwis-check.md

@@ -0,0 +1,5 @@
+---
+'@hono/zod-openapi': patch
+---
+
+fix: infer Env correctly if the middleware is `[]`

packages/zod-openapi/src/index.test-d.ts

@@ -337,4 +337,25 @@ describe('Middleware', () => {
       }
     )
   })
+
+  it('Should infer Env correctly when the middleware is empty', async () => {
+    const app = new OpenAPIHono<{ Variables: { foo: string } }>()
+    app.openapi(
+      createRoute({
+        method: 'get',
+        path: '/books',
+        middleware: [] as const, // empty
+        responses: {
+          200: {
+            description: 'response',
+          },
+        },
+      }),
+      (c) => {
+        const foo = c.get('foo')
+        type verify = Expect<Equal<typeof foo, string>>
+        return c.json({})
+      }
+    )
+  })
 })

packages/zod-openapi/src/index.ts

@@ -305,7 +305,7 @@ export type MiddlewareToHandlerType<M extends MiddlewareHandler<any, any, any>[]
     : never
   : M extends [infer Last]
   ? Last // Return the last remaining handler in the array
-  : never
+  : MiddlewareHandler<Env>
 
 type RouteMiddlewareParams<R extends RouteConfig> = OfHandlerType<
   MiddlewareToHandlerType<AsArray<R['middleware']>>

packages/zod-openapi/tsconfig.spec.json

@@ -2,13 +2,18 @@
   "extends": "../../tsconfig.base.json",
   "compilerOptions": {
     "outDir": "../../dist/out-tsc/packages/zod-openapi",
-    "types": ["vitest/globals"]
+    "types": [
+      "vitest/globals"
+    ]
   },
-
-  "include": ["**/*.test.ts", "**/*.test-d.ts", "vitest.config.ts"],
+  "include": [
+    "**/*.test.ts",
+    "**/*.test-d.ts",
+    "vitest.config.ts"
+  ],
   "references": [
     {
       "path": "./tsconfig.build.json"
     }
   ]
-}
+}