@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/type-system-state-types.js

@@ -0,0 +1,4 @@
+export * from "./type-system-state-call-types.js";
+export * from "./type-system-state-handle-types.js";
+export * from "./type-system-state-registry-types.js";
+//# sourceMappingURL=type-system-state-types.js.map

package/dist/ir/type-system/type-system-state-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-types.ts"],"names":[],"mappings":"AAAA,cAAc,mCAAmC,CAAC;AAClD,cAAc,qCAAqC,CAAC;AACpD,cAAc,uCAAuC,CAAC"}

package/dist/ir/type-system/type-system-state.d.ts

@@ -1,455 +1,5 @@
-/**
- * TypeSystem Shared Types, State, and Leaf Helpers
- *
- * This is the leaf module in the type-system DAG. It contains:
- * - All shared type/interface definitions used by split modules
- * - TypeSystemState type (the DI container for all type-system functions)
- * - Pure helper functions that have no cross-module dependencies
- *
- * DAG position: LEAF (no imports from other type-system-* split modules)
- */
-import type { IrType, IrPrimitiveType, IrMethodSignature } from "../types/index.js";
-import type { Diagnostic, DiagnosticCode } from "../../types/diagnostic.js";
-import type * as ts from "typescript";
-import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeParameterInfo, ParameterMode } from "./types.js";
-import { unknownType, neverType, voidType } from "./types.js";
-import type { AliasTable } from "./internal/universe/alias-table.js";
-import type { TypeId, UnifiedTypeCatalog } from "./internal/universe/types.js";
-export { unknownType, neverType, voidType };
-/**
- * MemberRef — Reference to a member by ID or name.
- *
- * byId: Use when MemberId is available (stable identity).
- * byName: Use for dynamic access (property access expressions).
- */
-export type MemberRef = {
-    readonly kind: "byId";
-    readonly id: MemberId;
-} | {
-    readonly kind: "byName";
-    readonly name: string;
-};
-/**
- * CallQuery — Input to resolveCall().
- *
- * Contains all information needed to resolve a call site.
- *
- * IMPORTANT (Alice's spec): argumentCount is REQUIRED for totality.
- * Even if signature lookup fails, TypeSystem must return correct-arity
- * arrays filled with unknownType. This prevents fallback behavior.
- */
-export type CallQuery = {
-    /** The signature being called (from Binding.resolveCallSignature) */
-    readonly sigId: SignatureId;
-    /**
-     * Number of arguments at the call site.
-     *
-     * REQUIRED for totality: Used to construct correct-arity poisoned result
-     * when signature lookup fails. Without this, TypeSystem cannot guarantee
-     * parameterTypes.length === argumentCount.
-     */
-    readonly argumentCount: number;
-    /** Receiver type for member calls (e.g., `arr` in `arr.map(...)`) */
-    readonly receiverType?: IrType;
-    /** Explicit type arguments from call syntax (e.g., `fn<string>(...)`) */
-    readonly explicitTypeArgs?: readonly IrType[];
-    /** Argument types for deterministic unification (undefined = unknown) */
-    readonly argTypes?: readonly (IrType | undefined)[];
-    /**
-     * Contextual expected return type from call site usage.
-     *
-     * Used for deterministic generic inference when method type parameters only
-     * appear in the return position (e.g., `ok<T>(value: T): Ok<T>` in
-     * `return ok({...})` where function return type is `Result<Payload, string>`).
-     */
-    readonly expectedReturnType?: IrType;
-    /** Blame location for diagnostics */
-    readonly site?: Site;
-};
-/**
- * ResolvedCall — Output of resolveCall().
- *
- * Contains fully instantiated types after all substitutions applied.
- */
-export type ResolvedCall = {
-    /** Fully instantiated parameter types (undefined = missing annotation) */
-    readonly parameterTypes: readonly (IrType | undefined)[];
-    /** Parameter passing modes (value, ref, out, in) */
-    readonly parameterModes: readonly ParameterMode[];
-    /** Fully instantiated return type */
-    readonly returnType: IrType;
-    /**
-     * True when the selected signature had an explicit return type declaration.
-     * This is used to distinguish deliberate `unknown` returns from poisoned
-     * fallback caused by missing annotations.
-     */
-    readonly hasDeclaredReturnType: boolean;
-    /**
-     * Type predicate info for narrowing (x is T).
-     * Only present if the function has a type predicate return type.
-     */
-    readonly typePredicate?: TypePredicateResult;
-    /** Diagnostics emitted during resolution */
-    readonly diagnostics: readonly Diagnostic[];
-};
-/**
- * TypePredicateResult — Resolved type predicate info.
- *
- * Extracted from SignatureInfo.typePredicate and converted to IR types.
- */
-export type TypePredicateResult = {
-    readonly kind: "param";
-    readonly parameterIndex: number;
-    readonly targetType: IrType;
-} | {
-    readonly kind: "this";
-    readonly targetType: IrType;
-};
-/**
- * Site — Blame location for diagnostics.
- *
- * Used to report errors at the correct source location.
- */
-export type Site = {
-    /** Source file path */
-    readonly file?: string;
-    /** 0-based line number */
-    readonly line?: number;
-    /** 0-based column number */
-    readonly column?: number;
-    /** Original AST node (for detailed location) */
-    readonly node?: unknown;
-};
-/**
- * Type substitution map — maps type parameter names to concrete types.
- */
-export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
-/**
- * Raw signature information extracted from Binding.
- *
- * This is the pre-substitution form stored in the signature cache.
- */
-export type RawSignatureInfo = {
-    /** Parameter types (undefined = missing annotation → TSN5201) */
-    readonly parameterTypes: readonly (IrType | undefined)[];
-    /** Parameter shape metadata needed for arity/rest inference. */
-    readonly parameterFlags: readonly {
-        readonly isRest: boolean;
-        readonly isOptional: boolean;
-    }[];
-    /** TypeScript `this:` parameter type (if present). Excluded from `parameterTypes`. */
-    readonly thisParameterType?: IrType;
-    /** Return type (voidType if not specified) */
-    readonly returnType: IrType;
-    /** Whether the source signature declared a return type explicitly. */
-    readonly hasDeclaredReturnType: boolean;
-    /** Parameter modes */
-    readonly parameterModes: readonly ParameterMode[];
-    /** Type parameters for generic methods */
-    readonly typeParameters: readonly TypeParameterInfo[];
-    /** Parameter names (for diagnostics) */
-    readonly parameterNames: readonly string[];
-    /**
-     * Type predicate (x is T) - extracted at Binding registration time.
-     * Contains target type as IrType.
-     */
-    readonly typePredicate?: TypePredicateResult;
-    /**
-     * Declaring identity — CRITICAL for inheritance substitution.
-     *
-     * Without this, resolveCall cannot compute receiver substitution.
-     * Uses simple TS name, resolved via UnifiedTypeCatalog.resolveTsName().
-     */
-    readonly declaringTypeTsName?: string;
-    readonly declaringTypeParameterNames?: readonly string[];
-    readonly declaringMemberName?: string;
-};
-/**
- * HandleRegistry — maps opaque handles to their underlying data.
- *
- * Created and managed by the Binding layer. TypeSystem uses this
- * to look up declaration and signature information.
- */
-export type HandleRegistry = {
-    /** Get declaration info for a DeclId */
-    getDecl(id: DeclId): DeclInfo | undefined;
-    /** Get signature info for a SignatureId */
-    getSignature(id: SignatureId): SignatureInfo | undefined;
-    /** Get member info for a MemberId */
-    getMember(id: MemberId): MemberInfo | undefined;
-    /**
-     * Get captured type syntax for a TypeSyntaxId.
-     *
-     * Returns the TypeNode that was captured via Binding.captureTypeSyntax().
-     * TypeSystem uses this internally to convert captured syntax to IrType.
-     */
-    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
-};
-/**
- * Type syntax info stored in the handle registry.
- */
-export type TypeSyntaxInfo = {
-    /** The captured TypeNode (ts.TypeNode, cast to unknown) */
-    readonly typeNode: unknown;
-};
-/**
- * Captured class member names for override detection.
- * Pure data — no TS nodes.
- */
-export type ClassMemberNames = {
-    readonly methods: ReadonlySet<string>;
-    readonly properties: ReadonlySet<string>;
-};
-/**
- * Declaration info in the handle registry.
- */
-export type DeclInfo = {
-    /** Explicit type annotation (ts.TypeNode, cast to unknown) */
-    readonly typeNode?: unknown;
-    /** Declaration kind */
-    readonly kind: DeclKind;
-    /** Fully-qualified name */
-    readonly fqName?: string;
-    /** Declaration AST node (ts.Declaration, cast to unknown) */
-    readonly declNode?: unknown;
-    /** Captured class member names (for class declarations only) */
-    readonly classMemberNames?: ClassMemberNames;
-};
-export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
-/**
- * Signature info in the handle registry.
- *
- * IMPORTANT: Must include declaring identity for resolveCall().
- */
-export type SignatureInfo = {
-    /** Parameter nodes */
-    readonly parameters: readonly ParameterNode[];
-    /** Type node of a TypeScript `this:` parameter (if present). Excluded from `parameters`. */
-    readonly thisTypeNode?: unknown;
-    /** Return type node (ts.TypeNode, cast to unknown) */
-    readonly returnTypeNode?: unknown;
-    /** Type parameters */
-    readonly typeParameters?: readonly TypeParameterNode[];
-    /**
-     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
-     *
-     * CRITICAL: Required for inheritance substitution in resolveCall().
-     * Resolved via UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
-     */
-    readonly declaringTypeTsName?: string;
-    readonly declaringTypeParameterNames?: readonly string[];
-    /**
-     * Declaring member name.
-     *
-     * CRITICAL: Required for inheritance substitution in resolveCall().
-     */
-    readonly declaringMemberName?: string;
-    /**
-     * Type predicate information for `x is T` return types.
-     *
-     * Extracted at registration time via pure syntax inspection.
-     * Contains targetTypeNode which TypeSystem converts to IrType.
-     */
-    readonly typePredicate?: SignatureTypePredicateRaw;
-};
-/**
- * Raw type predicate info as stored in SignatureInfo.
- * Contains TypeNode, not IrType.
- */
-export type SignatureTypePredicateRaw = {
-    readonly kind: "param";
-    readonly parameterName: string;
-    readonly parameterIndex: number;
-    readonly targetTypeNode: unknown;
-} | {
-    readonly kind: "this";
-    readonly targetTypeNode: unknown;
-};
-export type ParameterNode = {
-    readonly name: string;
-    readonly typeNode?: unknown;
-    readonly isOptional: boolean;
-    readonly isRest: boolean;
-    readonly mode?: ParameterMode;
-};
-export type TypeParameterNode = {
-    readonly name: string;
-    readonly constraintNode?: unknown;
-    readonly defaultNode?: unknown;
-};
-/**
- * Member info in the handle registry.
- */
-export type MemberInfo = {
-    readonly name: string;
-    readonly declNode?: unknown;
-    readonly typeNode?: unknown;
-    readonly isOptional: boolean;
-    readonly isReadonly: boolean;
-};
-/**
- * TypeRegistry API — minimal interface needed by TypeSystem.
- *
- * After Step 3, TypeRegistry stores pure IR.
- */
-export type TypeRegistryAPI = {
-    /** Resolve a type by fully-qualified name */
-    resolveNominal(fqName: string): TypeRegistryEntry | undefined;
-    /** Resolve a type by simple name (returns first match) */
-    resolveBySimpleName(simpleName: string): TypeRegistryEntry | undefined;
-    /** Get fully-qualified name from simple name */
-    getFQName(simpleName: string): string | undefined;
-    /** Get member type from a nominal type (pure IR after Step 3) */
-    getMemberType(fqNominal: string, memberName: string): IrType | undefined;
-    /** Check if a type is registered */
-    hasType(fqName: string): boolean;
-};
-/**
- * Type parameter info in TypeRegistry.
- *
- * Pure IR representation of type parameters.
- */
-export type TypeParameterEntry = {
-    readonly name: string;
-    readonly constraint?: IrType;
-    readonly defaultType?: IrType;
-};
-/**
- * TypeRegistry entry.
- *
- * After Step 3, members/heritage store IrType, not TypeNodes.
- */
-export type TypeRegistryEntry = {
-    readonly kind: "class" | "interface" | "typeAlias";
-    readonly name: string;
-    readonly fullyQualifiedName: string;
-    readonly typeParameters: readonly TypeParameterEntry[];
-    readonly members: ReadonlyMap<string, TypeRegistryMemberInfo>;
-};
-/**
- * Member info in TypeRegistry.
- *
- * Pure IR representation - stores IrType, not TypeNode.
- */
-export type TypeRegistryMemberInfo = {
-    readonly kind: "property" | "method" | "indexSignature";
-    readonly name: string;
-    readonly type: IrType | undefined;
-    readonly isOptional: boolean;
-    readonly isReadonly: boolean;
-    readonly methodSignatures?: readonly IrMethodSignature[];
-};
-/**
- * NominalEnv API — Phase 6: TypeId-based interface.
- */
-export type NominalEnvAPI = {
-    /** Get inheritance chain for a type (returns TypeIds) */
-    getInheritanceChain(typeId: TypeId): readonly TypeId[];
-    /** Get substitution for a parent type given child instantiation */
-    getInstantiation(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId): ReadonlyMap<string, IrType> | undefined;
-    /** Find the declaring type of a member in the inheritance chain */
-    findMemberDeclaringType(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string): MemberLookupResult | undefined;
-};
-/**
- * Result of looking up a member in the inheritance chain.
- */
-export type MemberLookupResult = {
-    /** TypeId of the type that declares the member */
-    readonly declaringTypeId: TypeId;
-    /** Substitution to apply to the member's declared type */
-    readonly substitution: ReadonlyMap<string, IrType>;
-};
-/**
- * Mapping from primitive type names to their nominal type names.
- *
- * Used by typeOfMember to look up members on primitives.
- * e.g., `"hello".length` → String.length
- */
-export declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
-/**
- * Create a poisoned ResolvedCall with correct arity.
- *
- * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
- * Poisoned results must have correct arity so callers cannot
- * detect failure via `length === 0`.
- *
- * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
- * @param diagnostics Diagnostics explaining why resolution failed
- */
-export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
-/**
- * Nominal lookup result cached for member lookups.
- */
-export type NominalLookupResult = {
-    readonly targetNominal: string;
-    readonly memberType: IrType;
-    readonly substitution: ReadonlyMap<string, IrType>;
-};
-/**
- * TypeSystemState — shared state for all type-system functions.
- *
- * This replaces the closure-based shared state from the monolithic
- * createTypeSystem() function. Maps are reference types; all functions
- * sharing the same TypeSystemState see the same cache. No cloning.
- */
-export type TypeSystemState = {
-    readonly handleRegistry: HandleRegistry;
-    readonly typeRegistry: TypeRegistryAPI;
-    readonly nominalEnv: NominalEnvAPI;
-    readonly convertTypeNodeRaw: (node: unknown) => IrType;
-    readonly unifiedCatalog: UnifiedTypeCatalog;
-    readonly aliasTable: AliasTable;
-    readonly resolveIdentifier: (node: unknown) => DeclId | undefined;
-    readonly resolveCallSignature: (node: unknown) => SignatureId | undefined;
-    readonly resolveConstructorSignature: (node: unknown) => SignatureId | undefined;
-    readonly checker: ts.TypeChecker;
-    readonly tsCompilerOptions: ts.CompilerOptions;
-    readonly sourceFilesByPath: ReadonlyMap<string, ts.SourceFile>;
-    readonly declTypeCache: Map<number, IrType>;
-    readonly memberDeclaredTypeCache: Map<string, IrType>;
-    readonly signatureRawCache: Map<number, RawSignatureInfo>;
-    readonly nominalMemberLookupCache: Map<string, NominalLookupResult | null>;
-    readonly diagnostics: Diagnostic[];
-};
-export declare const emitDiagnostic: (state: TypeSystemState, code: DiagnosticCode, message: string, site?: Site) => void;
-/**
- * Create a cache key for member type lookup.
- */
-export declare const makeMemberCacheKey: (fqName: string, memberName: string, typeArgs?: readonly IrType[]) => string;
-/**
- * Create a cache key for nominal lookup.
- */
-export declare const makeNominalLookupKey: (fqName: string, typeArgs: readonly IrType[], memberName: string) => string;
-export declare const isNullishPrimitive: (t: IrType) => t is IrPrimitiveType & {
-    name: "null" | "undefined";
-};
-export declare const addUndefinedToType: (type: IrType) => IrType;
-/**
- * Resolve a surface name to a canonical TypeId.
- *
- * Order:
- * 1) AliasTable (primitives/globals/System.* canonicalization)
- * 2) UnifiedTypeCatalog by tsName
- * 3) UnifiedTypeCatalog by clrName
- *
- * IMPORTANT (airplane-grade):
- * Resolution must be arity-aware when type arguments are present. Facade
- * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
- * facade over `IList_1<T>`). When `arity` is provided and the direct
- * resolution doesn't match, we deterministically try `<name>_<arity>`.
- */
-export declare const resolveTypeIdByName: (state: TypeSystemState, name: string, arity?: number) => TypeId | undefined;
-/**
- * Normalize a receiver type to nominal form for member lookup.
- *
- * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
- *
- * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
- */
-export declare const normalizeToNominal: (state: TypeSystemState, type: IrType) => {
-    typeId: TypeId;
-    typeArgs: readonly IrType[];
-} | undefined;
-export declare const stripTsonicExtensionWrappers: (type: IrType) => IrType;
-export declare const stripNullishForInference: (type: IrType) => IrType | undefined;
+/** Shared type-system state barrel. */
+export * from "./type-system-state-types.js";
+export * from "./type-system-state-model.js";
+export * from "./type-system-state-helpers.js";
 //# sourceMappingURL=type-system-state.d.ts.map

package/dist/ir/type-system/type-system-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-system-state.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,eAAe,EACf,iBAAiB,EAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAG/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAM5C;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAE9C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEpD;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAErC,qCAAqC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IAExC;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C,4CAA4C;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAIN;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,gEAAgE;IAChE,QAAQ,CAAC,cAAc,EAAE,SAAS;QAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;KAC9B,EAAE,CAAC;IAEJ,sFAAsF;IACtF,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAEpC,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,sEAAsE;IACtE,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IAExC,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEtD,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAE3C;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,wCAAwC;IACxC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE1C,2CAA2C;IAC3C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IAEzD,qCAAqC;IACrC,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAEhD;;;;;OAKG;IACH,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAE9C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAEhC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,sBAAsB;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEvD;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAEzD;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,yBAAyB,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,6CAA6C;IAC7C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE9D,0DAA0D;IAC1D,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAEvE,gDAAgD;IAChD,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD,iEAAiE;IACjE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEzE,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAEvD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,gBAAgB,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC1D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,yDAAyD;IACzD,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAEvD,mEAAmE;IACnE,gBAAgB,CACd,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,GACnB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;IAE3C,mEAAmE;IACnE,uBAAuB,CACrB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,GACjB,kBAAkB,GAAG,SAAS,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM7D,CAAC;AAMF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,aAAa,SAAS,UAAU,EAAE,KACjC,YAMD,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAE5B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,WAAW,GAAG,SAAS,CAAC;IAC1E,QAAQ,CAAC,2BAA2B,EAAE,CACpC,IAAI,EAAE,OAAO,KACV,WAAW,GAAG,SAAS,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAG/D,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC,CAAC;IAG3E,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CACpC,CAAC;AAMF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,MAAM,cAAc,EACpB,SAAS,MAAM,EACf,OAAO,IAAI,KACV,IAmBF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,WAAW,SAAS,MAAM,EAAE,KAC3B,MAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,MAAM,EACd,UAAU,SAAS,MAAM,EAAE,EAC3B,YAAY,MAAM,KACjB,MAEF,CAAC;AAGF,eAAO,MAAM,kBAAkB,GAC7B,GAAG,MAAM,KACR,CAAC,IAAI,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;CAIrD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAWjD,CAAC;AAMF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,QAAQ,MAAM,KACb,MAAM,GAAG,SAqDX,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,eAAe,EACtB,MAAM,MAAM,KACX;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,SA0BpD,CAAC;AAWF,eAAO,MAAM,4BAA4B,GAAI,MAAM,MAAM,KAAG,MAW3D,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAOhE,CAAC"}
+{"version":3,"file":"type-system-state.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA,uCAAuC;AAEvC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gCAAgC,CAAC"}