fix(contract, server): has no properties in common with type ts-problem (#247)

In previous attempt: https://github.com/unnoq/orpc/pull/244 we forgot
cover some cases

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->
## Summary by CodeRabbit

- **Refactor**
- Updated type definitions for configuration and middleware interfaces
to enhance type safety.
- Standardized context handling across core modules to ensure consistent
use of the initial context.
- Resolved underlying compatibility issues, improving overall stability
without impacting runtime functionality.
<!-- end of auto-generated comment: release notes by coderabbit.ai -->

Author: dinwwwh

packages/contract/src/builder.test-d.ts

@@ -25,7 +25,7 @@ describe('ContractBuilder', () => {
     type MetaDef = { meta1?: string, meta2?: number }
 
     expectTypeOf(builder.$meta<MetaDef>({ meta1: 'value' })).toEqualTypeOf<
-      ContractBuilder<typeof inputSchema, typeof outputSchema, typeof baseErrorMap, MetaDef>
+      ContractBuilder<typeof inputSchema, typeof outputSchema, typeof baseErrorMap, MetaDef & Record<never, never>>
     >()
 
     // @ts-expect-error - invalid initial meta

packages/contract/src/builder.ts

@@ -36,7 +36,11 @@ export class ContractBuilder<
    */
   $meta<U extends Meta>(
     initialMeta: U,
-  ): ContractBuilder<TInputSchema, TOutputSchema, TErrorMap, U> {
+  ): ContractBuilder<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 ContractBuilder({
       ...this['~orpc'],
       meta: initialMeta,

packages/server/src/builder.test-d.ts

@@ -157,7 +157,7 @@ describe('Builder', () => {
       expectTypeOf(
         builder.middleware(({ context, next, path, procedure, errors, signal }, input, output) => {
           expectTypeOf(input).toEqualTypeOf<unknown>()
-          expectTypeOf(context).toEqualTypeOf<CurrentContext>()
+          expectTypeOf(context).toEqualTypeOf<InitialContext>()
           expectTypeOf(path).toEqualTypeOf<readonly string[]>()
           expectTypeOf(procedure).toEqualTypeOf<
             Procedure<Context, Context, AnySchema, AnySchema, ErrorMap, BaseMeta>
@@ -173,7 +173,7 @@ describe('Builder', () => {
           })
         }),
       ).toEqualTypeOf<
-        DecoratedMiddleware<CurrentContext, { extra: boolean }, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
+        DecoratedMiddleware<InitialContext, { extra: boolean }, unknown, any, ORPCErrorConstructorMap<any>, BaseMeta>
       >()
 
       // @ts-expect-error --- conflict context
@@ -184,7 +184,7 @@ describe('Builder', () => {
       expectTypeOf(
         builder.middleware(({ next }, input: 'input', output: MiddlewareOutputFn<'output'>) => next()),
       ).toEqualTypeOf<
-        DecoratedMiddleware<CurrentContext, Record<never, never>, 'input', 'output', ORPCErrorConstructorMap<any>, BaseMeta>
+        DecoratedMiddleware<InitialContext, Record<never, never>, 'input', 'output', ORPCErrorConstructorMap<any>, BaseMeta>
       >()
     })
   })

packages/server/src/builder.ts

@@ -118,8 +118,8 @@ export class Builder<
   }
 
   middleware<UOutContext extends Context, TInput, TOutput = any>( // = any here is important to make middleware can be used in any output by default
-    middleware: Middleware<TCurrentContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<TErrorMap>, TMeta>,
-  ): DecoratedMiddleware<TCurrentContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<any>, TMeta> { // ORPCErrorConstructorMap<any> ensures middleware can used in any procedure
+    middleware: Middleware<TInitialContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<TErrorMap>, TMeta>,
+  ): DecoratedMiddleware<TInitialContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<any>, TMeta> { // ORPCErrorConstructorMap<any> ensures middleware can used in any procedure
     return decorateMiddleware(middleware)
   }
 

packages/server/src/implementer.test-d.ts

@@ -41,7 +41,7 @@ describe('Implementer', () => {
       it('works', () => {
         const mid = implementer.nested.middleware(({ context, next, path, procedure, errors, signal }, input, output) => {
           expectTypeOf(input).toEqualTypeOf<unknown>()
-          expectTypeOf(context).toEqualTypeOf<CurrentContext>()
+          expectTypeOf(context).toEqualTypeOf<InitialContext>()
           expectTypeOf(path).toEqualTypeOf<readonly string[]>()
           expectTypeOf(procedure).toEqualTypeOf<
             Procedure<Context, Context, AnySchema, AnySchema, ErrorMap, BaseMeta | Meta>
@@ -57,9 +57,9 @@ describe('Implementer', () => {
           })
         })
 
-        expectTypeOf(mid).toMatchTypeOf<
+        expectTypeOf(mid).toEqualTypeOf<
           DecoratedMiddleware<
-            CurrentContext,
+            InitialContext,
             { extra: boolean },
             unknown,
             any,
@@ -77,7 +77,7 @@ describe('Implementer', () => {
           implementer.middleware(({ next }, input: 'input', output: MiddlewareOutputFn<'output'>) => next()),
         ).toEqualTypeOf<
           DecoratedMiddleware<
-            CurrentContext,
+            InitialContext,
             Record<never, never>,
             'input',
             'output',

packages/server/src/implementer.ts

@@ -23,14 +23,14 @@ export interface RouterImplementer<
 > {
   middleware<UOutContext extends Context, TInput, TOutput = any>( // = any here is important to make middleware can be used in any output by default
     middleware: Middleware<
-      TCurrentContext,
+      TInitialContext,
       UOutContext,
       TInput,
       TOutput,
       ORPCErrorConstructorMap<InferContractRouterErrorMap<T>>,
       InferContractRouterMeta<T>
     >,
-  ): DecoratedMiddleware<TCurrentContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<any>, InferContractRouterMeta<T>> // ORPCErrorConstructorMap<any> ensures middleware can used in any procedure
+  ): DecoratedMiddleware<TInitialContext, UOutContext, TInput, TOutput, ORPCErrorConstructorMap<any>, InferContractRouterMeta<T>> // ORPCErrorConstructorMap<any> ensures middleware can used in any procedure
 
   use<UOutContext extends Context, UInContext extends Context = TCurrentContext>(
     middleware: Middleware<
@@ -169,19 +169,15 @@ export type Implementer<
   TCurrentContext extends Context ,
 > =
   & {
-    $context<U extends Context>(): Implementer<TContract, U, U>
+    $context<U extends Context>(): Implementer<TContract, U & Record<never, never>, U> // We need `& Record<never, never>` to deal with `has no properties in common with type` error
     $config(config: BuilderConfig): Implementer<TContract, TInitialContext, TCurrentContext>
   }
   & ImplementerInternal<TContract, TInitialContext, TCurrentContext>
 
-export function implement<
-  TContract extends AnyContractRouter,
-  TInitialContext extends Context,
-  TCurrentContext extends Context,
->(
-  contract: TContract,
+export function implement<T extends AnyContractRouter, TContext extends Context = Record<never, never>>(
+  contract: T,
   config: BuilderConfig = {},
-): Implementer<TContract, TInitialContext, TCurrentContext> {
+): Implementer<T, TContext, TContext> {
   const implInternal = implementerInternal(contract, config, [])
 
   const impl = new Proxy(implInternal, {