inwire 2.3.0 → 2.3.1

package/dist/index.d.mts

@@ -373,6 +373,12 @@ interface ContainerWarning {
 }
 //#endregion
 //#region src/application/container-builder.d.ts
+/**
+ * `T` with the keys of `U` overridden by `U` (no duplicate-key intersection).
+ * Required to avoid `A & A → never` when classes have private members and the
+ * same key is declared in both `T` and `U` (e.g. global AppDeps + module add).
+ */
+type Override<T, U> = Omit<T, keyof U> & U;
 /**
  * Fluent builder that constructs a typed DI container incrementally.
  *
@@ -391,16 +397,22 @@ declare class ContainerBuilder<TContract extends Record<string, any> = Record<st
    * Convention: `typeof value === 'function'` → factory. Otherwise → instance (wrapped in `() => value`).
    * To register a function as a value: `add('fn', () => myFunction)`.
    */
-  add<K extends string & keyof TContract, V extends TContract[K]>(key: K & (K extends (typeof RESERVED_KEYS)[number] ? never : K), factoryOrInstance: ((c: TBuilt) => V) | (V & (V extends Function ? never : V))): ContainerBuilder<TContract, TBuilt & Record<K, V>>;
+  add<K extends string & keyof TContract, V extends TContract[K]>(key: K & (K extends (typeof RESERVED_KEYS)[number] ? never : K), factoryOrInstance: ((c: TBuilt) => V) | (V & (V extends Function ? never : V))): ContainerBuilder<TContract, Override<TBuilt, Record<K, V>>>;
   /**
    * Registers a transient dependency (new instance on every access).
    */
-  addTransient<K extends string & keyof TContract, V extends TContract[K]>(key: K & (K extends (typeof RESERVED_KEYS)[number] ? never : K), factory: (c: TBuilt) => V): ContainerBuilder<TContract, TBuilt & Record<K, V>>;
+  addTransient<K extends string & keyof TContract, V extends TContract[K]>(key: K & (K extends (typeof RESERVED_KEYS)[number] ? never : K), factory: (c: TBuilt) => V): ContainerBuilder<TContract, Override<TBuilt, Record<K, V>>>;
   /**
    * Applies a module — a function that chains `.add()` calls on this builder.
-   * `c` in the module's factories is fully typed with all previously registered deps.
+   *
+   * `TDepsM` (the module's expected prereqs) is inferred independently from the
+   * builder's current `TBuilt`. Prereq satisfaction is NOT enforced at the type
+   * level on purpose: in global mode (`defineModule()` typed against `AppDeps`)
+   * the prereq surface is the full app, never the partial builder state. The
+   * runtime guarantees correctness via `ProviderNotFoundError` if a key is
+   * missing at resolution time.
    */
-  addModule<TNew extends Record<string, any>>(module: (builder: ContainerBuilder<TContract, TBuilt>) => ContainerBuilder<TContract, TNew>): ContainerBuilder<TContract, TBuilt & TNew>;
+  addModule<TDepsM extends Record<string, any>, TNew extends Record<string, any>>(module: (builder: ContainerBuilder<TContract, TDepsM>) => ContainerBuilder<TContract, TNew>): ContainerBuilder<TContract, Override<TBuilt, TNew>>;
   /**
    * Merges a standalone builder into this one. All factories of `other` are copied.
    * The accumulated type becomes `TBuilt & TOther`, so subsequent factories can
@@ -415,7 +427,7 @@ declare class ContainerBuilder<TContract extends Record<string, any> = Record<st
    * Cross-builder dependencies are resolved at build time. Reserved keys throw.
    * Duplicate keys override silently — same semantics as `.add()` over an existing key.
    */
-  merge<TOther extends Record<string, unknown>>(other: ContainerBuilder<Record<string, unknown>, TOther>): ContainerBuilder<TContract, TBuilt & TOther>;
+  merge<TOther extends Record<string, unknown>>(other: ContainerBuilder<Record<string, unknown>, TOther>): ContainerBuilder<TContract, Override<TBuilt, TOther>>;
   /**
    * Returns the accumulated factories as a plain record.
    * @internal Used by `module()` on the container and `merge()` on builders.
@@ -567,7 +579,7 @@ declare function detectDuplicateKeys(...modules: Record<string, unknown>[]): str
  * app.requestId; // 'def-456' (different!)
  * ```
  */
-declare function transient<T>(factory: Factory<T>): Factory<T>;
+declare function transient<T, C = unknown>(factory: (container: C) => T): (container: C) => T;
 //#endregion
 export { type AppDeps, AsyncInitErrorWarning, CircularDependencyError, type Container, ContainerBuilder, ContainerConfigError, ContainerError, type ContainerGraph, type ContainerHealth, type ContainerWarning, type Factory, FactoryError, type IContainer, type InferModuleBuilt, type InferModuleDeps, type Module, type OnDestroy, type OnInit, type ProviderInfo, ProviderNotFoundError, ReservedKeyError, ScopeMismatchWarning, type ScopeOptions, UndefinedReturnError, container, defineModule, detectDuplicateKeys, transient };
 //# sourceMappingURL=index.d.mts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inwire",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "description": "Zero-ceremony dependency injection for TypeScript. Full inference, no decorators, no tokens. Built-in introspection for AI tooling.",
   "type": "module",
   "main": "./dist/index.mjs",
@@ -20,12 +20,12 @@
     "test": "vitest run",
     "test:watch": "vitest",
     "test:coverage": "vitest run --coverage",
-    "typecheck": "tsc --noEmit",
+    "typecheck": "tsc --noEmit && tsc --noEmit -p examples/tsconfig.json",
     "lint": "biome check",
     "lint:fix": "biome check --fix",
     "format": "biome format --write",
     "format:check": "biome format",
-    "check": "biome check && tsc --noEmit",
+    "check": "biome check && pnpm typecheck",
     "example:web": "tsx examples/01-web-service.ts",
     "example:test": "tsx examples/02-modular-testing.ts",
     "example:plugin": "tsx examples/03-plugin-system.ts",