@craft-ts/core 0.7.0-beta.13

package/src/lib/craft-route-exceptions.d.ts

@@ -0,0 +1,785 @@
+import { InjectionToken, type Signal, type Type, type WritableSignal } from './host/craft-compat';
+import { CraftRouter, type CraftRouterUrlTreeInput, type CraftRouterYieldRequest, type CraftUrlTree, type NavigableRoutePath } from './craft-router';
+import type { AnyCraftException, CraftException } from './craft-exception';
+import type { ExtractCraftGenExceptions } from './craft-gen';
+import type { ComponentExceptionsOf } from './branded-component/branded-component';
+import type { CraftRouteTarget, CraftRouteTargetInput } from './craft-route-target';
+import { type SERVICE_DEPENDENCY_ACCESS_MARKER, type SERVICE_EXPOSURE_TOKEN_MARKER, type SERVICE_HELPER_DEPENDENCIES, type SERVICE_META_DATA_TYPE, type SERVICE_RUNTIME_META, type SERVICE_YIELD_METADATA, type SERVICE_YIELD_REQUEST_MARKER } from './craft-service';
+/**
+ * Centralised, typed exception handling for craft routes.
+ *
+ * A craft route keeps `canActivate` / `canMatch` / `resolve` as its writing API
+ * — each may throw a `craftException`. Instead of an inline resolver map per
+ * guard, a single **`handleExceptions`** map on the route resolves the **union**
+ * of every code reachable from those three steps, exhaustively (a missing or
+ * extra code is a compile error). Each handler picks an {@link CraftExceptionOutcome}.
+ *
+ * Outcomes delegated to the application-wide error component (`globalError()`)
+ * are mirrored into the {@link CraftGlobalExceptionRegistry} by an ESLint
+ * autofix, so the global error component can read **all** of its possible
+ * exceptions, typed, via {@link injectCraftGlobalError}.
+ */
+/** A DI-checked component rendered on an exception branch. */
+export type CraftExceptionComponentDescriptor<ComponentDeps = object> = {
+    readonly component: CraftRouteTargetInput;
+    readonly loadComponent?: never;
+    /** @deprecated Functional components carry this metadata themselves. */
+    readonly componentDeps?: ComponentDeps;
+} | {
+    readonly component?: never;
+    readonly loadComponent: () => Promise<CraftRouteTargetInput | {
+        default: Type<unknown> | CraftRouteTarget;
+    }>;
+    /** @deprecated Functional components carry this metadata themselves. */
+    readonly componentDeps?: ComponentDeps;
+};
+export type CraftExceptionComponentInput = CraftExceptionComponentDescriptor;
+/** Existing pending-component input; pending DI has its own check. */
+export type CraftPendingComponentInput = CraftRouteTargetInput | (() => Promise<{
+    default: CraftRouteTargetInput;
+}>);
+/**
+ * What a route exception handler resolves an exception to:
+ *
+ * - `redirect` — navigate to a typed internal route or an explicit opaque URL.
+ * - `render` — render a dedicated component instead of the target.
+ * - `global` — render the application-wide error component (see the registry).
+ * - `stay` — cancel the navigation; stay on the triggering page (restore URL).
+ * - `noop` — render the target anyway, with resolve data left `undefined`.
+ */
+export type CraftExceptionOutcome = {
+    readonly kind: 'redirect';
+    readonly target: CraftUrlTree | string;
+} | {
+    readonly kind: 'render';
+    readonly component: CraftExceptionComponentDescriptor;
+} | {
+    readonly kind: 'global';
+} | {
+    readonly kind: 'stay';
+} | {
+    readonly kind: 'noop';
+};
+/** Distinguishes the initial route entry from a reactive guard re-evaluation. */
+export type CraftRoutePhase = 'enter' | 'active';
+type CraftExceptionOutcomeOf<Kind extends CraftExceptionOutcome['kind']> = Extract<CraftExceptionOutcome, {
+    kind: Kind;
+}>;
+/**
+ * The argument handed to each `handleExceptions` handler: the typed exception
+ * being handled, the navigation `phase`, the Angular-native redirect helpers,
+ * and the outcome constructors (`redirectTo`, `redirectUrl`, `renderComponent`, `globalError`,
+ * `stay`, `noop`).
+ */
+export type CraftExceptionHandlerContext<Exception extends AnyCraftException> = {
+    readonly exception: Exception;
+    readonly payload: Exception extends {
+        payload: infer Payload;
+    } ? Payload : unknown;
+    /** `'enter'` for the initial activation, `'active'` for a reactive re-check. */
+    readonly phase: CraftRoutePhase;
+    readonly router: CraftRouter;
+    readonly createUrlTree: CraftRouter['createUrlTree'];
+    readonly navigate: CraftRouter['navigate'];
+    readonly navigateByUrl: CraftRouter['navigateByUrl'];
+    redirectTo<Input extends CraftRouterUrlTreeInput<NavigableRoutePath>>(input: Input): Generator<CraftRouterYieldRequest, CraftExceptionOutcomeOf<'redirect'>, unknown>;
+    redirectUrl(target: CraftUrlTree | string): CraftExceptionOutcomeOf<'redirect'>;
+    renderComponent(component: CraftExceptionComponentDescriptor): CraftExceptionOutcomeOf<'render'>;
+    globalError(): CraftExceptionOutcomeOf<'global'>;
+    stay(): CraftExceptionOutcomeOf<'stay'>;
+    noop(): CraftExceptionOutcomeOf<'noop'>;
+};
+/**
+ * A single branded generator handler. Its service yields are preserved exactly
+ * and folded into the route's DI and HTTP dependency maps.
+ */
+declare const CRAFT_EXCEPTION_HANDLER: unique symbol;
+type NormalizedHandlerException<Exception extends AnyCraftException> = [
+    Exception
+] extends [never] ? AnyCraftException : Exception;
+export type CraftExceptionHandler<Exception extends AnyCraftException, Result extends Generator<any, CraftExceptionOutcome, unknown> = Generator<unknown, CraftExceptionOutcome, unknown>> = ((context: CraftExceptionHandlerContext<Exception>) => Result) & {
+    readonly [CRAFT_EXCEPTION_HANDLER]: true;
+};
+/** Brands a generator as a route exception handler while preserving its exact type. */
+export declare function craftExceptionHandler<Exception extends AnyCraftException = AnyCraftException, Result extends Generator<any, CraftExceptionOutcome, unknown> = Generator<unknown, CraftExceptionOutcome, unknown>>(handler: (context: CraftExceptionHandlerContext<NoInfer<NormalizedHandlerException<Exception>>>) => Result): CraftExceptionHandler<NormalizedHandlerException<Exception>, Result>;
+/** The pure outcome constructors, merged into the handler context by the driver. */
+export declare const craftExceptionOutcomeApi: {
+    readonly redirectUrl: (target: CraftUrlTree | string) => {
+        readonly kind: "redirect";
+        readonly target: string | CraftUrlTree;
+    };
+    readonly redirectTo: <Input extends CraftRouterUrlTreeInput<NavigableRoutePath>>(input: Input) => Generator<CraftRouterYieldRequest, CraftExceptionOutcomeOf<"redirect">, unknown>;
+    readonly renderComponent: (component: CraftExceptionComponentInput) => CraftExceptionOutcomeOf<"render">;
+    readonly globalError: () => CraftExceptionOutcomeOf<"global">;
+    readonly stay: () => CraftExceptionOutcomeOf<"stay">;
+    readonly noop: () => CraftExceptionOutcomeOf<"noop">;
+};
+type CraftExceptionCodes<Exception> = Exception extends {
+    _tag: infer Code extends string;
+} ? Code : never;
+type CraftExceptionForCode<Exception, Code extends string> = Extract<Exception, {
+    _tag: Code;
+}>;
+/** `Yielded` of a generator-returning route field (canActivate/canMatch/resolve). */
+type RouteFieldYielded<Field> = Field extends (...args: any[]) => Generator<infer Yielded, any, any> ? Yielded : never;
+/** The `craftException`s a single guard/resolve field may produce. */
+type RouteFieldExceptions<Field> = ExtractCraftGenExceptions<RouteFieldYielded<Field>>;
+type ComponentRouteException<Code extends string> = CraftException<{
+    _tag: Code;
+    scope: undefined;
+}>;
+type RouteComponentExceptions<RouteDefinition> = [
+    ComponentExceptionsOf<RouteDefinition>
+] extends [never] ? never : ComponentExceptionsOf<RouteDefinition> extends infer Codes extends string ? ComponentRouteException<Codes> : never;
+/**
+ * The full union of `craftException`s reachable from a route's component,
+ * `canActivate ∪ canMatch ∪ resolve`. `handleExceptions` must resolve exactly
+ * these codes.
+ */
+export type RouteExceptionUnion<RouteDefinition> = RouteComponentExceptions<RouteDefinition> | (RouteDefinition extends {
+    canActivate: infer Field;
+} ? RouteFieldExceptions<Field> : never) | (RouteDefinition extends {
+    canMatch: infer Field;
+} ? RouteFieldExceptions<Field> : never) | (RouteDefinition extends {
+    resolve: infer Field;
+} ? RouteFieldExceptions<Field> : never);
+/**
+ * The exhaustive handler map for an exception union: one handler per reachable
+ * code. A missing key is a compile error; pair with {@link NoExtraExceptionHandlers}
+ * at the definition site to also reject codes that cannot occur.
+ */
+export type HandledExceptionsForUnion<Exception extends AnyCraftException> = {
+    [Code in CraftExceptionCodes<Exception>]: CraftExceptionHandler<Extract<CraftExceptionForCode<Exception, Code>, AnyCraftException>>;
+};
+/**
+ * Forces every key of the supplied `Handlers` literal that is **not** a reachable
+ * code to `never`, so an extra handler is a compile error. Intersect with
+ * {@link HandledExceptionsForUnion} at the field's definition site.
+ */
+export type NoExtraExceptionHandlers<Handlers, Exception extends AnyCraftException> = {
+    [Code in keyof Handlers as Code extends CraftExceptionCodes<Exception> ? never : Code]: never;
+};
+/**
+ * The `handleExceptions` field type for a route definition: exhaustive over the
+ * union of its guard/resolve exception codes. `[Exception] extends [never]`
+ * short-circuits to an empty object so a route without typed exceptions needs no
+ * `handleExceptions`.
+ */
+export type RouteHandledExceptions<RouteDefinition> = [
+    RouteExceptionUnion<RouteDefinition>
+] extends [never] ? Record<never, never> : HandledExceptionsForUnion<Extract<RouteExceptionUnion<RouteDefinition>, AnyCraftException>>;
+type RouteReachableCodes<RouteDefinition> = CraftExceptionCodes<Extract<RouteExceptionUnion<RouteDefinition>, AnyCraftException>>;
+type RouteHandledCodes<RouteDefinition> = RouteDefinition extends {
+    handleExceptions: infer Handlers;
+} ? Extract<keyof Handlers, string> : never;
+type RoutePathOf<RouteDefinition> = RouteDefinition extends {
+    path: infer Path extends string;
+} ? Path : string;
+type RouteExceptionsError<RouteDefinition> = [
+    RouteReachableCodes<RouteDefinition>
+] extends [never] ? never : [
+    Exclude<RouteReachableCodes<RouteDefinition>, RouteHandledCodes<RouteDefinition>>
+] extends [never] ? [
+    Exclude<RouteHandledCodes<RouteDefinition>, RouteReachableCodes<RouteDefinition>>
+] extends [never] ? never : {
+    route: RoutePathOf<RouteDefinition>;
+    unexpectedHandlers: Exclude<RouteHandledCodes<RouteDefinition>, RouteReachableCodes<RouteDefinition>>;
+} : {
+    route: RoutePathOf<RouteDefinition>;
+    missingHandlers: Exclude<RouteReachableCodes<RouteDefinition>, RouteHandledCodes<RouteDefinition>>;
+};
+type CollectRouteExceptionsErrors<Routes> = Routes extends readonly unknown[] ? {
+    [Index in keyof Routes]: RouteExceptionsError<Routes[Index]>;
+}[number] : never;
+/**
+ * `unknown` when every route in the collection handles exactly its reachable
+ * exception codes; otherwise an error object listing the offending routes. Used
+ * by {@link assertExhaustiveRouteExceptions}.
+ */
+export type AssertRoutesExceptionsHandled<RoutesApp> = RoutesApp extends {
+    readonly _routes: infer Routes;
+} ? [Exclude<CollectRouteExceptionsErrors<Routes>, never>] extends [never] ? unknown : {
+    ERROR_unhandled_or_extra_route_exceptions: Exclude<CollectRouteExceptionsErrors<Routes>, never>;
+} : unknown;
+/**
+ * Asserts (at compile time) that every route's `handleExceptions` covers exactly
+ * the exception codes reachable from its component and its
+ * `canActivate` / `canMatch` / `resolve`.
+ * A missing or extra code makes `routes` un-assignable, surfacing the offending
+ * route + codes in the error.
+ *
+ * ```ts
+ * export const { demoRoutes } = craftRoutes('demo', [ … ]);
+ * assertExhaustiveRouteExceptions(demoRoutes);
+ * ```
+ */
+export declare function assertExhaustiveRouteExceptions<RoutesApp>(routes: RoutesApp & AssertRoutesExceptionsHandled<RoutesApp>): RoutesApp;
+/**
+ * Mirrors the codes a route delegates to the global error component (handlers
+ * that call `globalError()`), keyed by route path:
+ *
+ * ```ts
+ * declare module '@craft-ts/core' {
+ *   interface CraftGlobalExceptionRegistry {
+ *     'user/:userId': {
+ *       USER_DISABLED: CraftRouteExceptionType<typeof demoRoutes, 'user/:userId', 'USER_DISABLED'>;
+ *     };
+ *   }
+ * }
+ * ```
+ *
+ * Maintained automatically by the `global-exception-registry-match` ESLint
+ * autofix — do not edit by hand.
+ */
+export interface CraftGlobalExceptionRegistry {
+}
+/**
+ * The typed exception object for a `code` on a route `Path` of a `craftRoutes`
+ * collection. Resolves through the collection's phantom `_routes`, so the ESLint
+ * autofix can write `CraftRouteExceptionType<typeof demoRoutes, '<path>', '<code>'>`
+ * from literals alone (no type checker needed).
+ */
+export type CraftRouteExceptionType<RoutesApp, Path extends string, Code extends string> = RoutesApp extends {
+    readonly _routes: infer Routes;
+} ? Routes extends readonly unknown[] ? Extract<RouteExceptionUnion<Extract<Routes[number], {
+    path: Path;
+}>>, {
+    _tag: Code;
+}> : never : never;
+/**
+ * The union of every exception delegated to the global error component, across
+ * all registered routes and codes. `never` until the registry is augmented.
+ */
+export type CraftGlobalHandledException = {
+    [Path in keyof CraftGlobalExceptionRegistry]: CraftGlobalExceptionRegistry[Path][keyof CraftGlobalExceptionRegistry[Path]];
+}[keyof CraftGlobalExceptionRegistry];
+/**
+ * The signal the outlet fills with the active global exception just before it
+ * renders the global error component. Runtime-typed loosely; the typed view is
+ * exposed by {@link injectCraftGlobalError}.
+ */
+export declare const CRAFT_GLOBAL_ERROR: InjectionToken<WritableSignal<AnyCraftException | null>>;
+/**
+ * Reads the exception that routed to the global error component, typed as the
+ * exhaustive union of everything the {@link CraftGlobalExceptionRegistry}
+ * records. Discriminate on `error().code`.
+ *
+ * ```ts
+ * readonly error = injectCraftGlobalError();
+ * // switch (this.error().code) { case 'USER_DISABLED': … }
+ * ```
+ */
+export declare function injectCraftGlobalError(): Signal<CraftGlobalHandledException>;
+/**
+ * Generator counterpart to {@link injectCraftGlobalError}. Reads the exception
+ * routed to the global error component from inside a `function*` body:
+ *
+ * ```ts
+ * const error = yield* CraftGlobalError();
+ * // switch (error().code) { case 'USER_DISABLED': … }
+ * ```
+ *
+ * Same typed view as {@link injectCraftGlobalError} — the exhaustive union
+ * recorded in {@link CraftGlobalExceptionRegistry} — and it tracks as a
+ * `CraftGlobalError` dependency, exactly like the property form.
+ */
+export declare const CraftGlobalError: {
+    (): Generator<Readonly<{
+        name: string;
+        providedIn: "global";
+        resolve: (injector: import("..").ɵInjector, hostScope: import("./craft-service.shared").ConcreteServiceScope) => Signal<never>;
+        [SERVICE_YIELD_REQUEST_MARKER]: true;
+        readonly [SERVICE_YIELD_METADATA]?: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, undefined, never, false, false> | undefined;
+    }>, Signal<never>, unknown>;
+    <Config extends Partial<{}>>(bindings: Exclude<keyof Config, never> extends never ? Config : never): Generator<Readonly<{
+        name: string;
+        providedIn: "global";
+        resolve: (injector: import("..").ɵInjector, hostScope: import("./craft-service.shared").ConcreteServiceScope) => Signal<never>;
+        [SERVICE_YIELD_REQUEST_MARKER]: true;
+        readonly [SERVICE_YIELD_METADATA]?: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, undefined, never, false, false> | undefined;
+    }>, Signal<never>, unknown>;
+    <Exposed extends object, Yielded extends Readonly<{
+        key: "$self";
+        resolve: () => Signal<never>;
+        [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+    }> = never>(bindings: undefined, expose: (dependencies: {} & {
+        $self: {
+            (): Generator<Readonly<{
+                key: "$self";
+                resolve: () => Signal<never>;
+                [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+            }>, Signal<never>, unknown>;
+            readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                key: "$self";
+                value: Signal<never>;
+            };
+        };
+    }) => ([Extract<{ [Key in keyof Exposed]-?: (Exposed[Key] extends infer T ? T extends Exposed[Key] ? T extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_2 extends string;
+            value: any;
+        };
+    } ? Key_2 : never : never : never) extends "$self" ? Key extends "$self" ? never : Key & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) | Generator<Yielded, [Extract<{ [Key in keyof Exposed]-?: (Exposed[Key] extends infer T ? T extends Exposed[Key] ? T extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_2 extends string;
+            value: any;
+        };
+    } ? Key_2 : never : never : never) extends "$self" ? Key extends "$self" ? never : Key & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never, unknown>): Generator<Readonly<{
+        key: "$self";
+        resolve: () => Signal<never>;
+        [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+    }> | Readonly<{
+        name: string;
+        providedIn: "global";
+        resolve: (injector: import("..").ɵInjector, hostScope: import("./craft-service.shared").ConcreteServiceScope) => Signal<never>;
+        [SERVICE_YIELD_REQUEST_MARKER]: true;
+        readonly [SERVICE_YIELD_METADATA]?: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, {
+            derivedPropertiesUsed: import("./craft-service.shared").MergeObjectUnion<{ [Key_1 in keyof Exposed]-?: [Exposed[Key_1] extends infer T_1 ? T_1 extends Exposed[Key_1] ? T_1 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_3 extends string;
+                    value: any;
+                };
+            } ? Key_3 : never : never : never] extends [never] ? never : { [Key_4 in Exposed[Key_1] extends infer T_2 ? T_2 extends Exposed[Key_1] ? T_2 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_3 extends string;
+                    value: any;
+                };
+            } ? Key_3 : never : never : never]: [Exposed[Key_1] extends infer T_3 ? T_3 extends Exposed[Key_1] ? T_3 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never] extends [never] ? Exposed[Key_1] : Exposed[Key_1] extends infer T_4 ? T_4 extends Exposed[Key_1] ? T_4 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never; }; }[keyof Exposed]> & import("./craft-service.shared").MergeObjectUnion<Yielded extends Readonly<{
+                key: infer Key_2 extends string;
+                resolve: () => infer Result;
+                [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+            }> ? { [Property in Key_2]: Result; } : never> extends infer T ? { [Key in keyof T]: T[Key]; } : never;
+            derivedPropertiesExposed: import("./craft-service.shared").MergeObjectUnion<{ [Key_4 in keyof Exposed]-?: [Exposed[Key_4] extends infer T_2 ? T_2 extends Exposed[Key_4] ? T_2 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_6 extends string;
+                    value: any;
+                };
+            } ? Key_6 : never : never : never] extends [never] ? never : Key_4 extends string ? { [Property_1 in Key_4]: [Exposed[Key_4] extends infer T_3 ? T_3 extends Exposed[Key_4] ? T_3 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never] extends [never] ? Exposed[Key_4] : Exposed[Key_4] extends infer T_4 ? T_4 extends Exposed[Key_4] ? T_4 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never; } : never; }[keyof Exposed]> extends infer T_1 ? { [Key_3 in keyof T_1]: T_1[Key_3]; } : never;
+        }, never, false, false> | undefined;
+    }>, "$self" extends keyof (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_2 ? T_2 extends Exposed[Key_5] ? T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_7 extends string;
+            value: any;
+        };
+    } ? Key_7 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_2 ? T_2 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_3 ? T_3 extends Exposed[Key_5] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_8 extends string;
+            value: any;
+        };
+    } ? Key_8 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_2 extends object ? { [Key_6 in keyof T_2]: [T_2[Key_6] extends infer T_3 ? T_3 extends T_2[Key_6] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_2[Key_6] : T_2[Key_6] extends infer T_4 ? T_4 extends T_2[Key_6] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_2 : T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? (() => never) & ((([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_3 ? T_3 extends Exposed[Key_5] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_8 extends string;
+            value: any;
+        };
+    } ? Key_8 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_3 ? T_3 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_4 ? T_4 extends Exposed[Key_5] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_9 extends string;
+            value: any;
+        };
+    } ? Key_9 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_3 extends object ? { [Key_7 in keyof T_3]: [T_3[Key_7] extends infer T_4 ? T_4 extends T_3[Key_7] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_3[Key_7] : T_3[Key_7] extends infer T_5 ? T_5 extends T_3[Key_7] ? T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_3 : T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) extends infer T_4 ? T_4 extends (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_5 ? T_5 extends Exposed[Key_5] ? T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_9 extends string;
+            value: any;
+        };
+    } ? Key_9 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_5 ? T_5 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_6 ? T_6 extends Exposed[Key_5] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_10 extends string;
+            value: any;
+        };
+    } ? Key_10 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_5 extends object ? { [Key_8 in keyof T_5]: [T_5[Key_8] extends infer T_6 ? T_6 extends T_5[Key_8] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_5[Key_8] : T_5[Key_8] extends infer T_7 ? T_7 extends T_5[Key_8] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_5 : T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? T_4 extends object ? import("./reactive-read").YieldableReactiveProperties<Omit<T_4, "$self">> : T_4 : never : never) : (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_6 ? T_6 extends Exposed[Key_5] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_10 extends string;
+            value: any;
+        };
+    } ? Key_10 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_6 ? T_6 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_7 ? T_7 extends Exposed[Key_5] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_11 extends string;
+            value: any;
+        };
+    } ? Key_11 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_6 extends object ? { [Key_9 in keyof T_6]: [T_6[Key_9] extends infer T_7 ? T_7 extends T_6[Key_9] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_6[Key_9] : T_6[Key_9] extends infer T_8 ? T_8 extends T_6[Key_9] ? T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_6 : T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) extends infer T_7 ? T_7 extends (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_8 ? T_8 extends Exposed[Key_5] ? T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_11 extends string;
+            value: any;
+        };
+    } ? Key_11 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_8 ? T_8 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_9 ? T_9 extends Exposed[Key_5] ? T_9 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_12 extends string;
+            value: any;
+        };
+    } ? Key_12 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_8 extends object ? { [Key_10 in keyof T_8]: [T_8[Key_10] extends infer T_9 ? T_9 extends T_8[Key_10] ? T_9 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_8[Key_10] : T_8[Key_10] extends infer T_10 ? T_10 extends T_8[Key_10] ? T_10 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_8 : T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? T_7 extends object ? import("./reactive-read").YieldableReactiveProperties<Omit<T_7, "$self">> : T_7 : never : never, unknown>;
+    <Config extends Partial<{}>, Exposed extends object, Yielded extends Readonly<{
+        key: "$self";
+        resolve: () => Signal<never>;
+        [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+    }> = never>(bindings: Exclude<keyof Config, never> extends never ? Config : never, expose: (dependencies: {} & {
+        $self: {
+            (): Generator<Readonly<{
+                key: "$self";
+                resolve: () => Signal<never>;
+                [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+            }>, Signal<never>, unknown>;
+            readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                key: "$self";
+                value: Signal<never>;
+            };
+        };
+    }) => ([Extract<{ [Key in keyof Exposed]-?: (Exposed[Key] extends infer T ? T extends Exposed[Key] ? T extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_2 extends string;
+            value: any;
+        };
+    } ? Key_2 : never : never : never) extends "$self" ? Key extends "$self" ? never : Key & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) | Generator<Yielded, [Extract<{ [Key in keyof Exposed]-?: (Exposed[Key] extends infer T ? T extends Exposed[Key] ? T extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_2 extends string;
+            value: any;
+        };
+    } ? Key_2 : never : never : never) extends "$self" ? Key extends "$self" ? never : Key & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never, unknown>): Generator<Readonly<{
+        key: "$self";
+        resolve: () => Signal<never>;
+        [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+    }> | Readonly<{
+        name: string;
+        providedIn: "global";
+        resolve: (injector: import("..").ɵInjector, hostScope: import("./craft-service.shared").ConcreteServiceScope) => Signal<never>;
+        [SERVICE_YIELD_REQUEST_MARKER]: true;
+        readonly [SERVICE_YIELD_METADATA]?: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, {
+            derivedPropertiesUsed: import("./craft-service.shared").MergeObjectUnion<{ [Key_1 in keyof Exposed]-?: [Exposed[Key_1] extends infer T_1 ? T_1 extends Exposed[Key_1] ? T_1 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_3 extends string;
+                    value: any;
+                };
+            } ? Key_3 : never : never : never] extends [never] ? never : { [Key_4 in Exposed[Key_1] extends infer T_2 ? T_2 extends Exposed[Key_1] ? T_2 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_3 extends string;
+                    value: any;
+                };
+            } ? Key_3 : never : never : never]: [Exposed[Key_1] extends infer T_3 ? T_3 extends Exposed[Key_1] ? T_3 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never] extends [never] ? Exposed[Key_1] : Exposed[Key_1] extends infer T_4 ? T_4 extends Exposed[Key_1] ? T_4 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never; }; }[keyof Exposed]> & import("./craft-service.shared").MergeObjectUnion<Yielded extends Readonly<{
+                key: infer Key_2 extends string;
+                resolve: () => infer Result;
+                [SERVICE_DEPENDENCY_ACCESS_MARKER]: true;
+            }> ? { [Property in Key_2]: Result; } : never> extends infer T ? { [Key in keyof T]: T[Key]; } : never;
+            derivedPropertiesExposed: import("./craft-service.shared").MergeObjectUnion<{ [Key_4 in keyof Exposed]-?: [Exposed[Key_4] extends infer T_2 ? T_2 extends Exposed[Key_4] ? T_2 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: infer Key_6 extends string;
+                    value: any;
+                };
+            } ? Key_6 : never : never : never] extends [never] ? never : Key_4 extends string ? { [Property_1 in Key_4]: [Exposed[Key_4] extends infer T_3 ? T_3 extends Exposed[Key_4] ? T_3 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never] extends [never] ? Exposed[Key_4] : Exposed[Key_4] extends infer T_4 ? T_4 extends Exposed[Key_4] ? T_4 extends {
+                readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+                    key: any;
+                    value: infer Resolved;
+                };
+            } ? Resolved : never : never : never; } : never; }[keyof Exposed]> extends infer T_1 ? { [Key_3 in keyof T_1]: T_1[Key_3]; } : never;
+        }, never, false, false> | undefined;
+    }>, "$self" extends keyof (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_2 ? T_2 extends Exposed[Key_5] ? T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_7 extends string;
+            value: any;
+        };
+    } ? Key_7 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_2 ? T_2 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_3 ? T_3 extends Exposed[Key_5] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_8 extends string;
+            value: any;
+        };
+    } ? Key_8 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_2 extends object ? { [Key_6 in keyof T_2]: [T_2[Key_6] extends infer T_3 ? T_3 extends T_2[Key_6] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_2[Key_6] : T_2[Key_6] extends infer T_4 ? T_4 extends T_2[Key_6] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_2 : T_2 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? (() => never) & ((([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_3 ? T_3 extends Exposed[Key_5] ? T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_8 extends string;
+            value: any;
+        };
+    } ? Key_8 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_3 ? T_3 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_4 ? T_4 extends Exposed[Key_5] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_9 extends string;
+            value: any;
+        };
+    } ? Key_9 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_3 extends object ? { [Key_7 in keyof T_3]: [T_3[Key_7] extends infer T_4 ? T_4 extends T_3[Key_7] ? T_4 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_3[Key_7] : T_3[Key_7] extends infer T_5 ? T_5 extends T_3[Key_7] ? T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_3 : T_3 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) extends infer T_4 ? T_4 extends (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_5 ? T_5 extends Exposed[Key_5] ? T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_9 extends string;
+            value: any;
+        };
+    } ? Key_9 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_5 ? T_5 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_6 ? T_6 extends Exposed[Key_5] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_10 extends string;
+            value: any;
+        };
+    } ? Key_10 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_5 extends object ? { [Key_8 in keyof T_5]: [T_5[Key_8] extends infer T_6 ? T_6 extends T_5[Key_8] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_5[Key_8] : T_5[Key_8] extends infer T_7 ? T_7 extends T_5[Key_8] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_5 : T_5 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? T_4 extends object ? import("./reactive-read").YieldableReactiveProperties<Omit<T_4, "$self">> : T_4 : never : never) : (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_6 ? T_6 extends Exposed[Key_5] ? T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_10 extends string;
+            value: any;
+        };
+    } ? Key_10 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_6 ? T_6 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_7 ? T_7 extends Exposed[Key_5] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_11 extends string;
+            value: any;
+        };
+    } ? Key_11 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_6 extends object ? { [Key_9 in keyof T_6]: [T_6[Key_9] extends infer T_7 ? T_7 extends T_6[Key_9] ? T_7 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_6[Key_9] : T_6[Key_9] extends infer T_8 ? T_8 extends T_6[Key_9] ? T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_6 : T_6 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) extends infer T_7 ? T_7 extends (([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_8 ? T_8 extends Exposed[Key_5] ? T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_11 extends string;
+            value: any;
+        };
+    } ? Key_11 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) extends infer T_8 ? T_8 extends ([Extract<{ [Key_5 in keyof Exposed]-?: (Exposed[Key_5] extends infer T_9 ? T_9 extends Exposed[Key_5] ? T_9 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: infer Key_12 extends string;
+            value: any;
+        };
+    } ? Key_12 : never : never : never) extends "$self" ? Key_5 extends "$self" ? never : Key_5 & string : never; }[keyof Exposed], string>] extends [never] ? Exposed : never) ? T_8 extends object ? { [Key_10 in keyof T_8]: [T_8[Key_10] extends infer T_9 ? T_9 extends T_8[Key_10] ? T_9 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never] extends [never] ? T_8[Key_10] : T_8[Key_10] extends infer T_10 ? T_10 extends T_8[Key_10] ? T_10 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never; } : [T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never] extends [never] ? T_8 : T_8 extends {
+        readonly [SERVICE_EXPOSURE_TOKEN_MARKER]: {
+            key: any;
+            value: infer Resolved;
+        };
+    } ? Resolved : never : never : never) ? T_7 extends object ? import("./reactive-read").YieldableReactiveProperties<Omit<T_7, "$self">> : T_7 : never : never, unknown>;
+} & {} & {
+    readonly [SERVICE_RUNTIME_META]?: {
+        readonly kind: "service-meta-data";
+        readonly name: "CraftGlobalError";
+        readonly providedIn: "global";
+        readonly browserBoundary: false;
+        readonly appStart: false;
+        readonly inject: (...args: any[]) => unknown;
+        readonly [SERVICE_META_DATA_TYPE]?: {
+            inputs: {};
+            output: Signal<never>;
+            dependencies: {
+                providedIn: "global";
+                dependencies: {};
+                browserBoundary: false;
+                appStart: false;
+            };
+            tracking: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, undefined, never, false, false>;
+            providedInput: never;
+        } | undefined;
+        readonly [SERVICE_RUNTIME_META]?: /*elided*/ any | undefined;
+    } | undefined;
+} & {
+    readonly [SERVICE_HELPER_DEPENDENCIES]?: import("./craft-service").ServiceTrackingMetadata<"CraftGlobalError", "global", Signal<never>, never, undefined, never, false, false> | undefined;
+};
+export {};
+//# sourceMappingURL=craft-route-exceptions.d.ts.map