diff --git a/packages/server/src/builder-variants.test-d.ts b/packages/server/src/builder-variants.test-d.ts
index 3109973e4..45bd355d3 100644
--- a/packages/server/src/builder-variants.test-d.ts
+++ b/packages/server/src/builder-variants.test-d.ts
@@ -108,7 +108,7 @@ describe('BuilderWithMiddlewares', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         BuilderWithMiddlewares<
@@ -236,18 +236,17 @@ describe('BuilderWithMiddlewares', () => {
 
     builder.router({
       // @ts-expect-error - initial context is not match
-      ping: {} as Procedure<{ invalid: true }, Context, undefined, undefined, unknown, Record<never, never>, BaseMeta>,
+      ping: {} as Procedure<{ invalid: true }, any, any, any, any, any>,
     })
 
     builder.router({
       // @ts-expect-error - meta def is not match
       ping: {} as Procedure<
-        Context,
-        Context,
-        undefined,
-        undefined,
-        unknown,
-        Record<never, never>,
+        any,
+        any,
+        any,
+        any,
+        any,
         { invalid: true }
       >,
     })
@@ -261,7 +260,7 @@ describe('BuilderWithMiddlewares', () => {
     // @ts-expect-error - initial context is not match
     builder.lazy(() => Promise.resolve({
       default: {
-        ping: {} as Procedure<{ invalid: true }, Context, AnySchema, AnySchema, Record<never, never>, BaseMeta>,
+        ping: {} as Procedure<{ invalid: true }, any, any, any, any, any>,
       },
     }))
 
@@ -269,11 +268,11 @@ describe('BuilderWithMiddlewares', () => {
     builder.lazy(() => Promise.resolve({
       default: {
         ping: {} as Procedure<
-          Context,
-          Context,
-          AnySchema,
-          AnySchema,
-          Record<never, never>,
+          any,
+          any,
+          any,
+          any,
+          any,
           { invalid: true }
         >,
       },
@@ -368,7 +367,7 @@ describe('ProcedureBuilder', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         ProcedureBuilder<
@@ -610,7 +609,7 @@ describe('ProcedureBuilderWithInput', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         ProcedureBuilderWithInput<
@@ -799,7 +798,7 @@ describe('ProcedureBuilderWithOutput', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         ProcedureBuilderWithOutput<
@@ -1028,7 +1027,7 @@ describe('ProcedureBuilderWithInputOutput', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         ProcedureBuilderWithInputOutput<
@@ -1173,7 +1172,7 @@ describe('RouterBuilder', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         RouterBuilder<
@@ -1208,18 +1207,17 @@ describe('RouterBuilder', () => {
 
     builder.router({
       // @ts-expect-error - initial context is not match
-      ping: {} as Procedure<{ invalid: true }, Context, undefined, undefined, unknown, Record<never, never>, BaseMeta>,
+      ping: {} as Procedure<{ invalid: true }, any, any, any, any, any>,
     })
 
     builder.router({
       // @ts-expect-error - meta def is not match
       ping: {} as Procedure<
-        Context,
-        Context,
-        undefined,
-        undefined,
-        unknown,
-        Record<never, never>,
+        any,
+        any,
+        any,
+        any,
+        any,
         { invalid: true }
       >,
     })
@@ -1233,7 +1231,7 @@ describe('RouterBuilder', () => {
     // @ts-expect-error - initial context is not match
     builder.lazy(() => Promise.resolve({
       default: {
-        ping: {} as Procedure<{ invalid: true }, Context, AnySchema, AnySchema, Record<never, never>, BaseMeta>,
+        ping: {} as Procedure<{ invalid: true }, any, any, any, any, any>,
       },
     }))
 
@@ -1241,11 +1239,11 @@ describe('RouterBuilder', () => {
     builder.lazy(() => Promise.resolve({
       default: {
         ping: {} as Procedure<
-          Context,
-          Context,
-          AnySchema,
-          AnySchema,
-          Record<never, never>,
+          any,
+          any,
+          any,
+          any,
+          any,
           { invalid: true }
         >,
       },
diff --git a/packages/server/src/builder.test-d.ts b/packages/server/src/builder.test-d.ts
index 042f22b34..1bcbfdc52 100644
--- a/packages/server/src/builder.test-d.ts
+++ b/packages/server/src/builder.test-d.ts
@@ -62,7 +62,7 @@ describe('Builder', () => {
   it('.$context', () => {
     expectTypeOf(builder.$context()).toEqualTypeOf<
       Builder<
-        Context,
+        Context & Record<never, never>,
         Context,
         typeof inputSchema,
         typeof outputSchema,
@@ -72,7 +72,7 @@ describe('Builder', () => {
     >()
     expectTypeOf(builder.$context<{ anything: string }>()).toEqualTypeOf<
       Builder<
-        { anything: string },
+        { anything: string } & Record<never, never>,
         { anything: string },
         typeof inputSchema,
         typeof outputSchema,
@@ -90,7 +90,7 @@ describe('Builder', () => {
         typeof inputSchema,
         typeof outputSchema,
         typeof baseErrorMap,
-        { auth?: boolean }
+        { auth?: boolean } & Record<never, never>
       >
     >()
 
@@ -298,7 +298,7 @@ describe('Builder', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         BuilderWithMiddlewares<
@@ -437,18 +437,17 @@ describe('Builder', () => {
 
     builder.router({
       // @ts-expect-error - initial context is not match
-      ping: {} as Procedure<{ invalid: true }, Context, undefined, undefined, unknown, Record<never, never>, BaseMeta>,
+      ping: {} as Procedure<{ invalid: true }, any, any, any, any, any>,
     })
 
     builder.router({
       // @ts-expect-error - meta def is not match
       ping: {} as Procedure<
-        Context,
-        Context,
-        undefined,
-        undefined,
-        unknown,
-        Record<never, never>,
+        any,
+        any,
+        any,
+        any,
+        any,
         { invalid: true }
       >,
     })
diff --git a/packages/server/src/builder.ts b/packages/server/src/builder.ts
index f1a4afe74..3b3900ea5 100644
--- a/packages/server/src/builder.ts
+++ b/packages/server/src/builder.ts
@@ -67,7 +67,11 @@ export class Builder<
   /**
    * Reset initial context
    */
-  $context<U extends Context>(): Builder<U, U, TInputSchema, TOutputSchema, TErrorMap, TMeta> {
+  $context<U extends Context>(): Builder<U & Record<never, never>, U, TInputSchema, TOutputSchema, TErrorMap, TMeta> {
+    /**
+     * We need `& Record<never, never>` to deal with `has no properties in common with type` error
+     */
+
     return new Builder({
       ...this['~orpc'],
       middlewares: [],
@@ -81,7 +85,11 @@ export class Builder<
    */
   $meta<U extends Meta>(
     initialMeta: U,
-  ): Builder<TInitialContext, TCurrentContext, TInputSchema, TOutputSchema, TErrorMap, U> {
+  ): Builder<TInitialContext, TCurrentContext, TInputSchema, TOutputSchema, TErrorMap, U & Record<never, never>> {
+    /**
+     * We need `& Record<never, never>` to deal with `has no properties in common with type` error
+     */
+
     return new Builder({
       ...this['~orpc'],
       meta: initialMeta,
diff --git a/packages/server/src/context.test-d.ts b/packages/server/src/context.test-d.ts
index 24284d3ff..d323bf837 100644
--- a/packages/server/src/context.test-d.ts
+++ b/packages/server/src/context.test-d.ts
@@ -20,12 +20,20 @@ it('ContextExtendsGuard', () => {
   expectTypeOf<ContextExtendsGuard<{ a: string }, { a: string }>>().toEqualTypeOf<unknown>()
   expectTypeOf < ContextExtendsGuard< { a: string, b: string }, Empty>>().toEqualTypeOf<unknown>()
   expectTypeOf < ContextExtendsGuard< { a: string, b: string }, Record<never, never>>>().toEqualTypeOf<unknown>()
-  expectTypeOf < ContextExtendsGuard< { a: string, b: string }, { g?: string }>>().toEqualTypeOf<unknown>()
   expectTypeOf<ContextExtendsGuard<Empty, { a?: string }>>().toEqualTypeOf<unknown>()
-  expectTypeOf<ContextExtendsGuard<{ b: string }, { a?: string }>>().toEqualTypeOf<unknown>()
-  expectTypeOf<ContextExtendsGuard<{ b?: string }, { a?: string }>>().toEqualTypeOf<unknown>()
 
   expectTypeOf < ContextExtendsGuard < { a: string }, { a: string, b: string }>>().toEqualTypeOf<never>()
   expectTypeOf < ContextExtendsGuard < { a: number }, { a: string }>>().toEqualTypeOf<never>()
   expectTypeOf<ContextExtendsGuard<Empty, { a: string }>>().toEqualTypeOf<never>()
+
+  expectTypeOf<ContextExtendsGuard<{ a: string, b: string }, { g?: string }>>().toEqualTypeOf<never>()
+  expectTypeOf<ContextExtendsGuard<{ b: string }, { a?: string }>>().toEqualTypeOf<never>()
+  expectTypeOf<ContextExtendsGuard<{ b?: string }, { a?: string }>>().toEqualTypeOf<never>()
+
+  /**
+   * We can use `& Record<never, never>` to deal with `has no properties in common with type` error
+   */
+  expectTypeOf<ContextExtendsGuard<{ a: string, b: string }, { g?: string } & Record<never, never>>>().toEqualTypeOf<unknown>()
+  expectTypeOf<ContextExtendsGuard<{ b: string }, { a?: string } & Record<never, never>>>().toEqualTypeOf<unknown>()
+  expectTypeOf<ContextExtendsGuard<{ b?: string }, { a?: string } & Record<never, never>>>().toEqualTypeOf<unknown>()
 })
diff --git a/packages/server/src/context.ts b/packages/server/src/context.ts
index 3f444e4e1..3826c73f9 100644
--- a/packages/server/src/context.ts
+++ b/packages/server/src/context.ts
@@ -15,4 +15,4 @@ export function mergeCurrentContext<T extends Context, U extends Context>(
   return { ...context, ...other }
 }
 
-export type ContextExtendsGuard<T extends Context, U extends Context> = T extends T & U ? unknown : never
+export type ContextExtendsGuard<T extends Context, U extends Context> = T extends U ? unknown : never
diff --git a/packages/server/src/implementer-procedure.test-d.ts b/packages/server/src/implementer-procedure.test-d.ts
index ec7d3b7dd..ea86ed7d3 100644
--- a/packages/server/src/implementer-procedure.test-d.ts
+++ b/packages/server/src/implementer-procedure.test-d.ts
@@ -140,7 +140,7 @@ describe('ImplementedProcedure', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(implemented.use(mid)).toEqualTypeOf<
         ImplementedProcedure<
@@ -322,7 +322,7 @@ describe('ProcedureImplementer', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         ProcedureImplementer<
diff --git a/packages/server/src/implementer-variants.test-d.ts b/packages/server/src/implementer-variants.test-d.ts
index 9e317fbd9..27c756180 100644
--- a/packages/server/src/implementer-variants.test-d.ts
+++ b/packages/server/src/implementer-variants.test-d.ts
@@ -56,7 +56,7 @@ describe('ImplementerWithMiddlewares', () => {
       })
 
       it('with TInContext', () => {
-        const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+        const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
         expectTypeOf(implementer.use(mid)).toEqualTypeOf<
           ImplementerInternalWithMiddlewares<
diff --git a/packages/server/src/implementer.test-d.ts b/packages/server/src/implementer.test-d.ts
index 8c2c547ad..daa00140b 100644
--- a/packages/server/src/implementer.test-d.ts
+++ b/packages/server/src/implementer.test-d.ts
@@ -125,7 +125,7 @@ describe('Implementer', () => {
       })
 
       it('with TInContext', () => {
-        const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
+        const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, unknown, ORPCErrorConstructorMap<any>, BaseMeta>
 
         expectTypeOf(implementer.use(mid)).toEqualTypeOf<
           ImplementerInternalWithMiddlewares<
diff --git a/packages/server/src/middleware-decorated.test-d.ts b/packages/server/src/middleware-decorated.test-d.ts
index bea5ad86f..34d83a178 100644
--- a/packages/server/src/middleware-decorated.test-d.ts
+++ b/packages/server/src/middleware-decorated.test-d.ts
@@ -132,11 +132,11 @@ describe('DecoratedMiddleware', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(decorated.concat(mid)).toEqualTypeOf<
         DecoratedMiddleware<
-          CurrentContext & Omit<{ cacheable?: boolean }, 'db' | 'auth' | 'extra'>,
+          CurrentContext & Omit<{ cacheable?: boolean } & Record<never, never>, 'db' | 'auth' | 'extra'>,
           Omit<{ extra: boolean }, never> & Record<never, never>,
           { input: string },
           { output: number },
@@ -147,7 +147,7 @@ describe('DecoratedMiddleware', () => {
 
       expectTypeOf(decorated.concat(mid, () => { })).toEqualTypeOf<
         DecoratedMiddleware<
-          CurrentContext & Omit<{ cacheable?: boolean }, 'db' | 'auth' | 'extra'>,
+          CurrentContext & Omit<{ cacheable?: boolean } & Record<never, never>, 'db' | 'auth' | 'extra'>,
           Omit<{ extra: boolean }, never> & Record<never, never>,
           { input: string },
           { output: number },
diff --git a/packages/server/src/procedure-decorated.test-d.ts b/packages/server/src/procedure-decorated.test-d.ts
index 0e6cd15d3..d2de10b61 100644
--- a/packages/server/src/procedure-decorated.test-d.ts
+++ b/packages/server/src/procedure-decorated.test-d.ts
@@ -168,7 +168,7 @@ describe('DecoratedProcedure', () => {
     })
 
     it('with TInContext', () => {
-      const mid = {} as Middleware<{ cacheable?: boolean }, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+      const mid = {} as Middleware<{ cacheable?: boolean } & Record<never, never>, Record<never, never>, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
 
       expectTypeOf(builder.use(mid)).toEqualTypeOf<
         DecoratedProcedure<