How to add global type like Hono ContextVariableMap?

[seepine]

In hono

declare module 'hono' {
  interface ContextVariableMap {
    user: JwtContent;
  }
}

In Elysia

plugins/jwt.ts

export const jwtPlugin = new Elysia({ name: 'jwt-plugin' })
    .use(
      jwt({
        name: 'jwt',
        iss: opts.issuer,
        secret: opts.secret,
        schema: t.Object({ sub: t.String() }),
      }),
    )
    .derive(
      { as: 'global' },
      async ({ jwt, query, headers: { authorization } }) => {
          // xxx
          return {
            user: JwtContent
          }
      },
    )

routes/oauth.ts

export const oauthRouter = new Elysia({
  prefix: '/oauth',
}).get(
  '/userinfo',
  function ({ user }) {
    // how to make user type tips
    console.log(user)
    return {}
  }
)

index.ts

export const app = new Elysia()
  .use(jwtPlugin)
  .use(oauthRouter)
  .listen(process.env.PORT ?? 3000)

[a1um1]

i don't sure that this is question or guide
but i will answer anyway
you could just import jwtPlugin again in auth route

[a1um1]

routes/oauth.ts

export const oauthRouter = new Elysia({
  prefix: '/oauth',
})
  .use(jwtPlugin)
  .get(
  '/userinfo',
  function ({ user }) {
    // how to make user type tips
    console.log(user)
    return {}
  }
)

[seepine]

routes/oauth.ts

export const oauthRouter = new Elysia({
  prefix: '/oauth',
})
  .use(jwtPlugin)
  .get(
  '/userinfo',
  function ({ user }) {
    // how to make user type tips
    console.log(user)
    return {}
  }
)

As described in the problem, I am distributing the routes in different files. I would like to confirm if it is possible to omit them instead of writing the same code repeatedly for each route.

[a1um1]

no
as my finding that you need to redefine SingletonBase which you can't

[seepine]

no as my finding that you need to redefine SingletonBase which you can't

Yes, I am unable to redefine SingletonBase, so I hope to have a ContextVariableMap similar to Hono.