🎉 feat: exp.35

example/a.ts

@@ -6,6 +6,18 @@ const a = new Elysia()
 			a: t.Ref('a')
 		}),
 	})
-	.get('/', ({ body: { a: { a: { a } } } }) => a, {
-		body: 'a'
+	.model((model) => ({
+		...model,
+		b: t.Object({
+			a: model.a,
+			b: t.Ref('b')
+		})
+	}))
+	.get('/', () => 'a', {
+		query: t.Object({
+			a: t.String()
+		})
 	})
+	.listen(3000)
+
+a._routes.index.get.response

package.json

@@ -1,7 +1,7 @@
 {
 	"name": "elysia",
 	"description": "Ergonomic Framework for Human",
-	"version": "1.2.0-exp.35",
+	"version": "1.2.0-exp.36",
 	"author": {
 		"name": "saltyAom",
 		"url": "https://github.com/SaltyAom",

src/error.ts

@@ -249,7 +249,7 @@ export class ValidationError extends Error {
 				{
 					type: 'validation',
 					on: type,
-					summary: errors[0]?.summary,
+					summary: mapValueError(error).summary,
 					property: accessor,
 					message: error?.message,
 					expected,

src/index.ts

@@ -3859,7 +3859,7 @@ export default class Elysia<
 						query: Schema['query']
 						headers: Schema['headers']
 						response: ComposeElysiaResponse<
-							Schema['response'],
+							Schema,
 							Handle
 						>
 					}

src/types.ts

@@ -34,6 +34,7 @@ import type { ComposerGeneralHandlerOptions } from './compose'
 import type { ElysiaAdapter } from './adapter'
 import type { WSLocalHook } from './ws/types'
 import type { WebSocketHandler } from './ws/bun'
+import { TypeRegistryValidationFunction } from '@sinclair/typebox/build/cjs/type/registry/type'
 
 type PartialServe = Partial<Serve>
 
@@ -616,8 +617,8 @@ export type InlineHandler<
 									>
 								}
 									? key
-									: never]: // @ts-expect-error type is checked in key mapping
-								ResolveResolutions<
+									: never]: ResolveResolutions<
+									// @ts-expect-error type is checked in key mapping
 									// @ts-expect-error type is checked in key mapping
 									ReturnType<MacroFn[key]>['resolve']
 								>[key]
@@ -1430,18 +1431,39 @@ export type CreateEden<
 		? _CreateEden<'index', Property>
 		: _CreateEden<Path, Property>
 
-export type ComposeElysiaResponse<Response, Handle> = Handle extends (
-	...a: any[]
-) => infer A
-	? _ComposeElysiaResponse<Response, Replace<Awaited<A>, BunFile, File>>
-	: _ComposeElysiaResponse<Response, Replace<Awaited<Handle>, BunFile, File>>
+export type ComposeElysiaResponse<
+	Schema extends RouteSchema,
+	Handle
+> = Handle extends (...a: any[]) => infer A
+	? _ComposeElysiaResponse<Schema, Replace<Awaited<A>, BunFile, File>>
+	: _ComposeElysiaResponse<Schema, Replace<Awaited<Handle>, BunFile, File>>
+
+export type EmptyRouteSchema = {
+	body: unknown
+	headers: unknown
+	query: unknown
+	params: unknown
+	cookie: unknown
+	response: {}
+}
 
-type _ComposeElysiaResponse<Response, Handle> = Prettify<
+type _ComposeElysiaResponse<Schema extends RouteSchema, Handle> = Prettify<
 	Prettify<
 		{
 			200: Exclude<Handle, ElysiaCustomStatusResponse<any, any, any>>
 		} & ExtractErrorFromHandle<Handle> &
-			({} extends Response ? {} : Omit<Response, 200>)
+			({} extends Schema['response']
+				? {}
+				: Omit<Schema['response'], 200>) &
+			(EmptyRouteSchema extends Schema ? {} : { 422: {
+				type: 'validation'
+				on: string
+				summary?: string
+				message?: string
+				found?: unknown
+				property?: string
+				expected?: string
+			} })
 	>
 >