🎉 feat: strictly check for 200 inline status code

Author: SaltyAom

CHANGELOG.md

@@ -1,3 +1,8 @@
+# 1.4.6 - 15 Sep 2025
+Improvement:
+- strictly check for 200 inline status code
+- coerce union status value and return type
+
 # 1.4.5 - 15 Sep 2025
 Improvement:
 - soundness for guard, group

bun.lock

@@ -11,7 +11,7 @@
       },
       "devDependencies": {
         "@elysiajs/openapi": "^1.3.11",
-        "@types/bun": "^1.2.16",
+        "@types/bun": "^1.2.12",
         "@types/cookie": "^1.0.0",
         "@types/fast-decode-uri-component": "^1.0.0",
         "@typescript-eslint/eslint-plugin": "^8.30.1",

example/a.ts

@@ -1,17 +1,27 @@
-import { Elysia, t } from '../src'
-import z from 'zod'
+import { Prettify } from 'elysia/types'
+import { Elysia, ElysiaCustomStatusResponse, t } from '../src'
 import { req } from '../test/utils'
+import { Tuple } from '../src/types'
 
-const app = new Elysia()
-	.macro('guestOrUser', {
-		resolve: () => {
-			return {
-				user: null
-			}
+type PickOne<T> = T extends any ? T : never
+
+new Elysia().get(
+	'/test',
+	({ status }) => {
+		return status(200, { key2: 's', id: 2 })
+	},
+	{
+		response: {
+			200: t.Union([
+				t.Object({
+					key2: t.String(),
+					id: t.Literal(2)
+				}),
+				t.Object({
+					key: t.Number(),
+					id: t.Literal(1)
+				})
+			])
 		}
-	})
-	.macro('user', {
-		guestOrUser: true,
-		body: t.String(),
-		resolve: ({ body, status, user }) => {}
-	})
+	}
+)

package.json

@@ -190,7 +190,7 @@
 	},
 	"devDependencies": {
 		"@elysiajs/openapi": "^1.3.11",
-		"@types/bun": "^1.2.16",
+		"@types/bun": "^1.2.12",
 		"@types/cookie": "^1.0.0",
 		"@types/fast-decode-uri-component": "^1.0.0",
 		"@typescript-eslint/eslint-plugin": "^8.30.1",

src/error.ts

@@ -41,7 +41,8 @@ const emptyHttpStatus = {
 
 export class ElysiaCustomStatusResponse<
 	const in out Code extends number | keyof StatusMap,
-	in out T = Code extends keyof InvertedStatusMap
+	// no in out here so the response can be sub type of return type
+	T = Code extends keyof InvertedStatusMap
 		? InvertedStatusMap[Code]
 		: Code,
 	const in out Status extends Code extends keyof StatusMap
@@ -79,12 +80,6 @@ export const status = <
 	response?: T
 ) => new ElysiaCustomStatusResponse<Code, T>(code, response as any)
 
-const a = status(403, 'a')
-const b = status(403, 'b')
-
-type a = typeof a
-type b = typeof b
-
 export class InternalServerError extends Error {
 	code = 'INTERNAL_SERVER_ERROR'
 	status = 500

src/types.ts

@@ -35,6 +35,7 @@ import type { AnyWSLocalHook } from './ws/types'
 import type { WebSocketHandler } from './ws/bun'
 
 import type { Instruction as ExactMirrorInstruction } from 'exact-mirror'
+import { BunHTMLBundlelike } from './universal/types'
 
 export type IsNever<T> = [T] extends [never] ? true : false
 
@@ -1063,7 +1064,8 @@ export type MacroToContext<
 											// @ts-expect-error type is checked in key mapping
 											Value['resolve']
 										>
-									> & MacroToContext<
+									> &
+									MacroToContext<
 										MacroFn,
 										// @ts-ignore trust me bro
 										Pick<
@@ -1143,6 +1145,24 @@ type InlineResponse =
 	| AnyElysiaCustomStatusResponse
 	| ElysiaFile
 	| Record<any, unknown>
+	| BunHTMLBundlelike
+
+type LastOf<T> =
+    UnionToIntersect<T extends any ? () => T : never> extends () => infer R
+        ? R
+        : never;
+
+type Push<T extends any[], V> = [...T, V];
+
+type TuplifyUnion<T, L = LastOf<T>, N = [T] extends [never] ? true : false> =
+    true extends N
+        ? []
+        : Push<TuplifyUnion<Exclude<T, L>>, L>;
+
+export type Tuple<T, A extends T[] = []> =
+    TuplifyUnion<T>['length'] extends A['length']
+        ? [...A]
+        : Tuple<T, [T, ...A]>;
 
 export type InlineHandler<
 	Route extends RouteSchema = {},
@@ -1177,7 +1197,13 @@ export type InlineHandler<
 								| (Route['response'] extends {
 										200: any
 								  }
-										? Route['response'][200]
+										?
+												| Route['response'][200]
+												| ElysiaCustomStatusResponse<
+														200,
+														Route['response'][200],
+														200
+												  >
 										: unknown)
 								// This could be possible because of set.status
 								| Route['response'][keyof Route['response']]
@@ -1732,7 +1758,7 @@ export type GuardLocalHook<
 	AfterHandle extends MaybeArray<AfterHandler<any, any>>,
 	ErrorHandle extends MaybeArray<ErrorHandler<any, any, any>>,
 	GuardType extends GuardSchemaType = 'standalone',
-	AsType extends LifeCycleType = 'local',
+	AsType extends LifeCycleType = 'local'
 > = (Input extends any ? Input : Prettify<Input>) & {
 	/**
 	 * @default 'override'

src/universal/types.ts

@@ -206,3 +206,18 @@ export abstract class WebStandardResponse implements BodyMixin {
 		return Response.redirect(url, status)
 	}
 }
+
+export interface BunHTMLBundlelike {
+	index: string
+	files?: {
+		input?: string
+		path: string
+		loader: any
+		isEntry: boolean
+		headers: {
+			etag: string
+			'content-type': string
+			[key: string]: string
+		}
+	}[]
+}

test/types/lifecycle/soundness.ts

@@ -2082,3 +2082,64 @@ import { Prettify } from '../../../src/types'
 			}
 		})
 }
+
+// Handle 200 status for inline status
+{
+	new Elysia().get(
+		'/test',
+		({ status }) => {
+			if (Math.random() > 0.1)
+				return status(200, {
+					key: 1,
+					id: 1
+				})
+
+			if (Math.random() > 0.1)
+				return status(200, {
+					// @ts-expect-error
+					key: 'a',
+					id: 1
+				})
+
+			return status(200, { key2: 's', id: 2 })
+		},
+		{
+			response: {
+				200: t.Union([
+					t.Object({
+						key2: t.String(),
+						id: t.Literal(2)
+					}),
+					t.Object({
+						key: t.Number(),
+						id: t.Literal(1)
+					})
+				])
+			}
+		}
+	)
+}
+
+// coerce union status value and return type
+{
+	new Elysia().get(
+		'/test',
+		({ status }) => {
+			return status(200, { key2: 's', id: 2 })
+		},
+		{
+			response: {
+				200: t.Union([
+					t.Object({
+						key2: t.String(),
+						id: t.Literal(2)
+					}),
+					t.Object({
+						key: t.Number(),
+						id: t.Literal(1)
+					})
+				])
+			}
+		}
+	)
+}

test/types/standard-schema/index.ts

@@ -84,7 +84,7 @@ import { expectTypeOf } from 'expect-type'
 			response: z.literal('lilith')
 		})
 		// @ts-expect-error
-		.get('/lilith', () => 'focou' as const, {
+		.get('/lilith', () => 'a' as const, {
 			response: z.literal('lilith')
 		})
 }