How to satisfy status function with union type?

[Anon-136]

How to satisfy a union of responses into the status function without 1. having to do an if-else/switch and 2. sacrificing type-safety?

I'm trying to utilize neverthrow, which handles Ok 200 and other Errors like 404, 500 into a union. I found out that to the status function is really strict about sending in a union type and would not resolve.

Sometimes, there are 5+ errors that are returned from the query and we don't want to write status for every cases of error into a switch case because we've intentionally return those in the service and they aggregated up to the controller.

Is there a utility, function, or a hack that I can use to resolve this issue like in the example below?

Example

import Elysia, { t } from 'elysia'

type ErrorResponse = { code: 404; message: string } | { code: 500; message: string }
const NotFoundErrorSchema = t.Object({
  code: t.Literal(404),
  message: t.String(),
})
const InternalErrorSchema = t.Object({
  code: t.Literal(500),
  message: t.String(),
})

new Elysia().get(
  '/',
  async ({ status }) => { // ERROR HERE
    const result = /* query example */ { isErr: () => true, error: { code: 404, message: 'Not found' } }
    if (result.isErr()) {
      const error = result.error as ErrorResponse
      return status(error.code, error)
    }
    return status(200, { data: '' })
  },
  {
    response: {
      200: t.Object({ data: t.String() }),
      404: NotFoundErrorSchema,
      500: InternalErrorSchema,
    },
  }
)

Typescript Error

Argument of type '({ status }: { body: unknown; query: Record<string, string>; params: {}; headers: Record<string, string | undefined>; cookie: Record<string, Cookie<string | undefined>>; ... 8 more ...; error: <const Code extends 404 | ... 4 more ... | "Internal Server Error", const T extends Code extends 404 | ... 1 more ... | 200 ...' is not assignable to parameter of type 'InlineHandler<NoInfer<MergeSchema<UnwrapRoute<{ readonly response: { readonly 200: TObject<{ data: TString; }>; readonly 404: TObject<{ code: TLiteral<404>; message: TString; }>; readonly 500: TObject<{ code: TLiteral<...>; message: TString; }>; }; }, {}, "/">, MergeSchema<...>, "">>, { ...; } & { ...; }, "/">'.
  Type '({ status }: { body: unknown; query: Record<string, string>; params: {}; headers: Record<string, string | undefined>; cookie: Record<string, Cookie<string | undefined>>; ... 8 more ...; error: <const Code extends 404 | ... 4 more ... | "Internal Server Error", const T extends Code extends 404 | ... 1 more ... | 200 ...' is not assignable to type '(context: { body: unknown; query: Record<string, string>; params: {}; headers: Record<string, string | undefined>; cookie: Record<string, Cookie<string | undefined>>; ... 8 more ...; error: <const Code extends 404 | ... 4 more ... | "Internal Server Error", const T extends Code extends 404 | ... 1 more ... | 200 ? {...'.
    Type 'Promise<ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500> | ElysiaCustomStatusResponse<200, { readonly data: ""; }, 200>>' is not assignable to type 'Response | MaybePromise<{ data: string; } | { code: 404; message: string; } | { code: 500; message: string; } | InlineHandlerResponse<{ readonly 200: { data: string; }; readonly 404: { code: 404; message: string; }; readonly 500: { ...; }; }>>'.
      Type 'Promise<ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500> | ElysiaCustomStatusResponse<200, { readonly data: ""; }, 200>>' is not assignable to type 'Promise<{ data: string; } | { code: 404; message: string; } | { code: 500; message: string; } | InlineHandlerResponse<{ readonly 200: { data: string; }; readonly 404: { code: 404; message: string; }; readonly 500: { code: 500; message: string; }; }>>'.
        Type 'ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500> | ElysiaCustomStatusResponse<200, { readonly data: ""; }, 200>' is not assignable to type '{ data: string; } | { code: 404; message: string; } | { code: 500; message: string; } | InlineHandlerResponse<{ readonly 200: { data: string; }; readonly 404: { code: 404; message: string; }; readonly 500: { code: 500; message: string; }; }>'.
          Type 'ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500>' is not assignable to type '{ data: string; } | { code: 404; message: string; } | { code: 500; message: string; } | InlineHandlerResponse<{ readonly 200: { data: string; }; readonly 404: { code: 404; message: string; }; readonly 500: { code: 500; message: string; }; }>'.
            Type 'ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500>' is not assignable to type '{ data: string; } | { code: 404; message: string; } | { code: 500; message: string; } | ElysiaCustomStatusResponse<404, { code: 404; message: string; }, 404> | ElysiaCustomStatusResponse<...>'.
              Type 'ElysiaCustomStatusResponse<404 | 500, ErrorResponse, 404 | 500>' is not assignable to type 'ElysiaCustomStatusResponse<404, { code: 404; message: string; }, 404>'.
                Types of property 'code' are incompatible.
                  Type '404 | 500' is not assignable to type '404'.
                    Type '500' is not assignable to type '404'.