24:T4c7,I just tested my solution, it doesn't work. The first generic is the incoming context, the third generic is the overwritten context, in the builder these get combined for the procedure, but that is an internal type util that I cannot make use of, you'd have to copy the Overwrite generic yourself if you want to combine the two. You can use: ```ts type inferMiddlewareContext = TMiddleware extends MiddlewareBuilder ? TContextOverwrite : never; type inferProcedureContext = TProcedure extends ProcedureBuilder ? TContextOverwrite : never; ``` And just make sure that the overwritten context is the same as the incoming context (for example) ```ts const enforceUserIsAuthed = t.middleware(({ ctx, next }) => { if (!ctx.dbUser || !ctx.session || !ctx.discordUser) { throw new TRPCError({ code: 'UNAUTHORIZED' }); } return next({ ...ctx, // Makes sure the overwritten context is the same as the incoming context ctx: { // infers the as non-nullable dbUser: { ...ctx.dbUser }, session: { ...ctx.session}, discordUser: { ...ctx.discordUser }, }, }); }); ```25:T53a,If you don't want to always make sure that they are the same you can copy the Overwrite util. ```ts export type WithoutIndexSignature = { [K in keyof TObj as string extends K ? never : number extends K ? never : K]: TObj[K]; }; export type Overwrite = TWith extends any ? TType extends object ? { [K in // Exclude index signature from keys | keyof WithoutIndexSignature | keyof WithoutIndexSignature]: K extends keyof TWith ? TWith[K] : K extends keyof TType ? TType[K] : never; } & (string extends keyof TWith // Handle cases with an index signature ? { [key: string]: TWith[string] } : number extends keyof TWith ? { [key: number]: TWith[number] } : // eslint-disable-next-line @typescript-eslint/ban-types {}) : TWith : never; ``` And change the infer utilities to: ```ts type inferMiddlewareContext = TMiddleware extends MiddlewareBuilder ? Overwrite<$Context, $ContextOverwrite> : never; type inferProcedureContext = TProcedure extends ProcedureBuilder ? Overwrite<$Context, $ContextOverwrite> : never; ```

Getting the type of context

Similar Threads

Similar Threads

Similar Threads