Enforcing strict types for Hono's c.json() responses?

[bennobuilder]

Is it possible to enforce strict typing for Hono's c.json() responses at a top level (hono.Handler<..>)?

Currently, I can define expected response types like this:

type MyResponse = {someType: string};
type MyHandlerResponse = hono.HandlerResponse<MyResponse>;
type MyHandler = hono.Handler<any, any, any, MyHandlerResponse>

This provides suggestions in c.json({...}), but doesn't raise a type error for mismatched types (The IDE gives suggestions though, see video):

c.json('') // No type error, even though it should be an object

Hono's internal types for quick reference:

export type HandlerResponse<O> = Response | TypedResponse<O> | Promise<Response | TypedResponse<O>>;

export type TypedResponse<T = unknown, U extends StatusCode = StatusCode, F extends ResponseFormat = T extends string ? 'text' : T extends JSONValue ? 'json' : ResponseFormat> = {
    _data: T;
    _status: U;
    _format: F;
};

Discord: https://discord.com/channels/1011308539819597844/1278377476929617971
Video: https://youtu.be/LRKzHD3RAa4
Example: https://github.com/builder-group/community/blob/develop/examples/openapi-router/express/petstore/src/router.ts
Code: https://github.com/builder-group/community/blob/develop/packages/openapi-router/src/types/features/hono.ts

[bennobuilder]

Discord: https://discord.com/channels/1011308539819597844/1278377476929617971