fix(types): app.use(path, mw) return correct schema type (#3128)

Co-authored-by: Ame_x <121654029+EdamAme-x@users.noreply.github.com>

src/helper/factory/index.ts

@@ -241,6 +241,10 @@ export const createFactory = <E extends Env = any, P extends string = any>(init?
   initApp?: InitApp<E>
 }): Factory<E, P> => new Factory<E, P>(init)
 
-export const createMiddleware = <E extends Env = any, P extends string = any, I extends Input = {}>(
+export const createMiddleware = <
+  E extends Env = any,
+  P extends string = string,
+  I extends Input = {}
+>(
   middleware: MiddlewareHandler<E, P, I>
 ): MiddlewareHandler<E, P, I> => createFactory<E, P>().createMiddleware<I>(middleware)

src/types.test.ts

@@ -2225,3 +2225,18 @@ describe('Env types and a path type with `app.use(path, handler...)` - test only
       })
   })
 })
+
+// https://github.com/honojs/hono/issues/3122
+describe('Returning type from `app.use(path, mw)`', () => {
+  const mw = createMiddleware(async (c, next) => {
+    await next()
+  })
+  it('Should not mark `*` as never', () => {
+    const app = new Hono().use('*', mw)
+    type Actual = ExtractSchema<typeof app>
+    type Expected = {
+      '*': {}
+    }
+    type verify = Expect<Equal<Expected, Actual>>
+  })
+})

src/types.ts

@@ -1804,7 +1804,7 @@ export type Schema = {
 }
 
 type ChangePathOfSchema<S extends Schema, Path extends string> = keyof S extends never
-  ? { [K in Path]: never }
+  ? { [K in Path]: {} }
   : { [K in keyof S as Path]: S[K] }
 
 export type Endpoint = {