@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/union-semantics.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Semantic union analysis helpers — boolean gates only.
+ *
+ * These helpers answer yes/no questions about union types without constructing
+ * runtime frame/layout objects. Runtime helpers (buildRuntimeUnionFrame,
+ * buildRuntimeUnionLayout) should only be used at storage/lowering boundaries
+ * where materialization is needed.
+ *
+ * IMPORTANT: These gates use alias-preserving semantic member discovery,
+ * not runtime-union expansion. A single reference type like `MiddlewareLike`
+ * is NOT a union here, even if it aliases one. Only explicit `unionType` IR
+ * nodes with >= 2 non-nullish members are unions in the semantic view.
+ */
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+/**
+ * Is this type a semantic union (>= 2 non-nullish members)?
+ *
+ * Uses alias-preserving member discovery: reference types are preserved as
+ * single members, not expanded through their alias definitions. This means
+ * `MiddlewareLike` (a reference to a union alias) is NOT a semantic union —
+ * it is a single reference member. Only explicit `unionType` IR nodes like
+ * `PathSpec | MiddlewareLike` are semantic unions.
+ *
+ * This ensures semantic analysis results are stable regardless of whether
+ * moduleMap / typeAliasIndex are populated.
+ */
+export declare const isSemanticUnion: (type: IrType, context: EmitterContext) => boolean;
+/**
+ * Will this type be materialized as a compiler-owned runtime union carrier?
+ *
+ * Behaviorally equivalent to `buildRuntimeUnionFrame(type, ctx) !== undefined`
+ * but communicates semantic intent and avoids constructing a frame object.
+ *
+ * This delegates entirely to getCanonicalRuntimeUnionMembers which performs
+ * full expansion, dedup, and ordering — so the result is exact.
+ */
+export declare const willCarryAsRuntimeUnion: (type: IrType, context: EmitterContext) => boolean;
+//# sourceMappingURL=union-semantics.d.ts.map

package/dist/core/semantic/union-semantics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-semantics.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMrD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAA+D,CAAC;AAEnE;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAUF,CAAC"}

package/dist/core/semantic/union-semantics.js

@@ -0,0 +1,48 @@
+/**
+ * Semantic union analysis helpers — boolean gates only.
+ *
+ * These helpers answer yes/no questions about union types without constructing
+ * runtime frame/layout objects. Runtime helpers (buildRuntimeUnionFrame,
+ * buildRuntimeUnionLayout) should only be used at storage/lowering boundaries
+ * where materialization is needed.
+ *
+ * IMPORTANT: These gates use alias-preserving semantic member discovery,
+ * not runtime-union expansion. A single reference type like `MiddlewareLike`
+ * is NOT a union here, even if it aliases one. Only explicit `unionType` IR
+ * nodes with >= 2 non-nullish members are unions in the semantic view.
+ */
+import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
+import { getSemanticUnionMembers } from "./semantic-union-members.js";
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+import { shouldUseBroadObjectForUnionStorage } from "./storage-types.js";
+/**
+ * Is this type a semantic union (>= 2 non-nullish members)?
+ *
+ * Uses alias-preserving member discovery: reference types are preserved as
+ * single members, not expanded through their alias definitions. This means
+ * `MiddlewareLike` (a reference to a union alias) is NOT a semantic union —
+ * it is a single reference member. Only explicit `unionType` IR nodes like
+ * `PathSpec | MiddlewareLike` are semantic unions.
+ *
+ * This ensures semantic analysis results are stable regardless of whether
+ * moduleMap / typeAliasIndex are populated.
+ */
+export const isSemanticUnion = (type, context) => getSemanticUnionMembers(type, context) !== undefined;
+/**
+ * Will this type be materialized as a compiler-owned runtime union carrier?
+ *
+ * Behaviorally equivalent to `buildRuntimeUnionFrame(type, ctx) !== undefined`
+ * but communicates semantic intent and avoids constructing a frame object.
+ *
+ * This delegates entirely to getCanonicalRuntimeUnionMembers which performs
+ * full expansion, dedup, and ordering — so the result is exact.
+ */
+export const willCarryAsRuntimeUnion = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "unionType" &&
+        shouldUseBroadObjectForUnionStorage(resolved, context)) {
+        return false;
+    }
+    return getCanonicalRuntimeUnionMembers(type, context) !== undefined;
+};
+//# sourceMappingURL=union-semantics.js.map

package/dist/core/semantic/union-semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-semantics.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mCAAmC,EAAE,MAAM,oBAAoB,CAAC;AAEzE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAY,EACZ,OAAuB,EACd,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC,EACtD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AACtE,CAAC,CAAC"}

package/dist/core/semantic/union-semantics.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=union-semantics.test.d.ts.map

package/dist/core/semantic/union-semantics.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-semantics.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/union-semantics.test.js

@@ -0,0 +1,109 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { isSemanticUnion, willCarryAsRuntimeUnion } from "./union-semantics.js";
+import { createContext } from "../../emitter-types/context.js";
+const mkRef = (name) => ({
+    kind: "referenceType",
+    name,
+    resolvedClrType: `Test.${name}`,
+});
+describe("union-semantics", () => {
+    describe("isSemanticUnion", () => {
+        it("returns true for a 2-member union", () => {
+            const type = {
+                kind: "unionType",
+                types: [mkRef("A"), mkRef("B")],
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.true;
+        });
+        it("returns true after stripping nullish", () => {
+            const type = {
+                kind: "unionType",
+                types: [
+                    mkRef("A"),
+                    mkRef("B"),
+                    { kind: "primitiveType", name: "null" },
+                ],
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.true;
+        });
+        it("returns false for non-union type", () => {
+            const type = { kind: "primitiveType", name: "string" };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.false;
+        });
+        it("returns false for single-member-after-nullish-strip", () => {
+            const type = {
+                kind: "unionType",
+                types: [mkRef("A"), { kind: "primitiveType", name: "undefined" }],
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.false;
+        });
+        it("returns true for wide union (> 8 members)", () => {
+            const type = {
+                kind: "unionType",
+                types: Array.from({ length: 9 }, (_, i) => mkRef(`T${i}`)),
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.true;
+        });
+        it("returns true for nested union with >= 2 top-level non-nullish members", () => {
+            const inner = {
+                kind: "unionType",
+                types: [mkRef("A"), mkRef("B")],
+            };
+            const type = {
+                kind: "unionType",
+                types: [inner, mkRef("C")],
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.true;
+        });
+    });
+    describe("willCarryAsRuntimeUnion", () => {
+        it("returns true for 2-member union", () => {
+            const type = {
+                kind: "unionType",
+                types: [mkRef("A"), mkRef("B")],
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(willCarryAsRuntimeUnion(type, context)).to.be.true;
+        });
+        it("returns true for 8-member union", () => {
+            const type = {
+                kind: "unionType",
+                types: Array.from({ length: 8 }, (_, i) => mkRef(`T${i}`)),
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(willCarryAsRuntimeUnion(type, context)).to.be.true;
+        });
+        it("returns true for wide unions beyond the old 8-member cap", () => {
+            const type = {
+                kind: "unionType",
+                types: Array.from({ length: 9 }, (_, i) => mkRef(`T${i}`)),
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(willCarryAsRuntimeUnion(type, context)).to.be.true;
+        });
+        it("returns false for non-union", () => {
+            const type = { kind: "primitiveType", name: "number" };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(willCarryAsRuntimeUnion(type, context)).to.be.false;
+        });
+    });
+    describe("semantic vs runtime separation", () => {
+        it("wide unions remain both semantic unions and carried runtime unions", () => {
+            const type = {
+                kind: "unionType",
+                types: Array.from({ length: 9 }, (_, i) => mkRef(`T${i}`)),
+            };
+            const context = createContext({ rootNamespace: "Test" });
+            expect(isSemanticUnion(type, context)).to.be.true;
+            expect(willCarryAsRuntimeUnion(type, context)).to.be.true;
+        });
+    });
+});
+//# sourceMappingURL=union-semantics.test.js.map

package/dist/core/semantic/union-semantics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-semantics.test.js","sourceRoot":"","sources":["../../../src/core/semantic/union-semantics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;IACvC,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,eAAe,EAAE,QAAQ,IAAI,EAAE;CAChC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;aAChC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,KAAK,CAAC,GAAG,CAAC;oBACV,KAAK,CAAC,GAAG,CAAC;oBACV,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;aAClE,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;YAC/E,MAAM,KAAK,GAAW;gBACpB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;aAChC,CAAC;YACF,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;aAC3B,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;aAChC,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAClD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC5D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/union-typeof-matching.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Union member matching by typeof tags.
+ *
+ * Matches IR types against JavaScript typeof tags ("string", "number",
+ * "boolean", "undefined", "object", "function") and narrows union types
+ * by including or excluding members that match a given tag.
+ */
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const matchesTypeofTag: (type: IrType, tag: string, context: EmitterContext) => boolean;
+export declare const narrowTypeByNotTypeofTag: (currentType: IrType | undefined, tag: string, context: EmitterContext) => IrType | undefined;
+export declare const narrowTypeByTypeofTag: (currentType: IrType | undefined, tag: string, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=union-typeof-matching.d.ts.map

package/dist/core/semantic/union-typeof-matching.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-typeof-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKrD,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,OA4DF,CAAC;AA4EF,eAAO,MAAM,wBAAwB,GACnC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SAIX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,aAAa,MAAM,GAAG,SAAS,EAC/B,KAAK,MAAM,EACX,SAAS,cAAc,KACtB,MAAM,GAAG,SAOX,CAAC"}

package/dist/core/semantic/union-typeof-matching.js

@@ -0,0 +1,124 @@
+/**
+ * Union member matching by typeof tags.
+ *
+ * Matches IR types against JavaScript typeof tags ("string", "number",
+ * "boolean", "undefined", "object", "function") and narrows union types
+ * by including or excluding members that match a given tag.
+ */
+import { normalizedUnionType } from "@tsonic/frontend";
+import { resolveTypeAlias } from "./nullish-value-helpers.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
+export const matchesTypeofTag = (type, tag, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        switch (tag) {
+            case "string":
+                return typeof resolved.value === "string";
+            case "number":
+                return typeof resolved.value === "number";
+            case "boolean":
+                return typeof resolved.value === "boolean";
+            case "object":
+                return resolved.value === null;
+            default:
+                return false;
+        }
+    }
+    if (resolved.kind === "functionType") {
+        return tag === "function";
+    }
+    if (resolved.kind === "arrayType" || resolved.kind === "tupleType") {
+        return tag === "object";
+    }
+    if (resolved.kind === "objectType" || resolved.kind === "dictionaryType") {
+        return tag === "object";
+    }
+    if (resolved.kind === "referenceType") {
+        if (tag === "function") {
+            return false;
+        }
+        if (tag === "object") {
+            return resolved.name !== "Function";
+        }
+        return false;
+    }
+    if (resolved.kind !== "primitiveType") {
+        return false;
+    }
+    switch (tag) {
+        case "string":
+            return resolved.name === "string";
+        case "number":
+            return resolved.name === "number" || resolved.name === "int";
+        case "boolean":
+            return resolved.name === "boolean";
+        case "undefined":
+            return resolved.name === "undefined";
+        case "object":
+            return resolved.name === "null";
+        default:
+            return false;
+    }
+};
+const genericTypeofTarget = (tag) => {
+    switch (tag) {
+        case "string":
+            return { kind: "primitiveType", name: "string" };
+        case "number":
+            return { kind: "primitiveType", name: "number" };
+        case "boolean":
+            return { kind: "primitiveType", name: "boolean" };
+        case "undefined":
+            return { kind: "primitiveType", name: "undefined" };
+        case "object":
+            return { kind: "referenceType", name: "object" };
+        default:
+            return undefined;
+    }
+};
+const collectTypeofCandidateLeaves = (type, context, seen = new Set()) => {
+    const key = getContextualTypeVisitKey(type, context);
+    if (seen.has(key)) {
+        return [];
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(key);
+    if (type.kind === "unionType") {
+        return type.types.flatMap((member) => collectTypeofCandidateLeaves(member, context, nextSeen));
+    }
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "unionType") {
+        return resolved.types.flatMap((member) => collectTypeofCandidateLeaves(member, context, nextSeen));
+    }
+    if (type.kind === "referenceType" && resolved.kind === "objectType") {
+        return [type];
+    }
+    if (!areIrTypesEquivalent(resolved, type, context)) {
+        return collectTypeofCandidateLeaves(resolved, context, nextSeen);
+    }
+    return [resolved];
+};
+const filterTypeofCandidateLeaves = (currentType, tag, context, wantMatch) => {
+    const kept = collectTypeofCandidateLeaves(currentType, context).filter((member) => !!member &&
+        (wantMatch
+            ? matchesTypeofTag(member, tag, context)
+            : !matchesTypeofTag(member, tag, context)));
+    if (kept.length === 0)
+        return undefined;
+    if (kept.length === 1)
+        return kept[0];
+    return normalizedUnionType(kept);
+};
+export const narrowTypeByNotTypeofTag = (currentType, tag, context) => {
+    if (!currentType)
+        return undefined;
+    return filterTypeofCandidateLeaves(currentType, tag, context, false);
+};
+export const narrowTypeByTypeofTag = (currentType, tag, context) => {
+    if (!currentType)
+        return genericTypeofTarget(tag);
+    return (filterTypeofCandidateLeaves(currentType, tag, context, true) ??
+        genericTypeofTarget(tag));
+};
+//# sourceMappingURL=union-typeof-matching.js.map

package/dist/core/semantic/union-typeof-matching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-typeof-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-typeof-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,GAAW,EACX,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,QAAQ;gBACX,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;YAC5C,KAAK,SAAS;gBACZ,OAAO,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC;YAC7C,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC;YACjC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,GAAG,KAAK,UAAU,CAAC;IAC5B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzE,OAAO,GAAG,KAAK,QAAQ,CAAC;IAC1B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,OAAO,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC;QACtC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC;QAC/D,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC;QACvC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAClC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAY,EACZ,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACL,EAAE;IACrB,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CACxD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,4BAA4B,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,WAAmB,EACnB,GAAW,EACX,OAAuB,EACvB,SAAkB,EACE,EAAE;IACtB,MAAM,IAAI,GAAG,4BAA4B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,MAAM,CACpE,CAAC,MAAM,EAAoB,EAAE,CAC3B,CAAC,CAAC,MAAM;QACR,CAAC,SAAS;YACR,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC;YACxC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAC/C,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,WAA+B,EAC/B,GAAW,EACX,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,OAAO,CACL,2BAA2B,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC;QAC5D,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/unsafe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unsafe.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/unsafe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EAEZ,WAAW,EACX,MAAM,EAIN,QAAQ,EACT,MAAM,kBAAkB,CAAC;AAE1B,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OA8C1D,CAAC;AA0DF,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,GAAG,SAAS,KAC7B,OAgJF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,MAAM,WAAW,KAAG,OA+GxD,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,QAAQ,QAAQ,KAAG,OAKpD,CAAC"}
+{"version":3,"file":"unsafe.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/unsafe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EAEZ,WAAW,EACX,MAAM,EAIN,QAAQ,EACT,MAAM,kBAAkB,CAAC;AA4D1B,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OACL,CAAC;AA+DvD,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,GAAG,SAAS,KAC7B,OAgJF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,MAAM,WAAW,KAAG,OA+GxD,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,QAAQ,QAAQ,KAAG,OAKpD,CAAC"}

package/dist/core/semantic/unsafe.js

@@ -3,35 +3,41 @@
  *
  * Used to decide when to emit `unsafe` modifiers in generated C#.
  */
-export const typeUsesPointer = (type) => {
+const typeUsesPointerInternal = (type, seen) => {
     if (!type)
         return false;
+    if (typeof type === "object" && type !== null) {
+        if (seen.has(type))
+            return false;
+        seen.add(type);
+    }
     switch (type.kind) {
         case "referenceType": {
             if (type.name === "ptr")
                 return true;
             if (type.typeArguments && type.typeArguments.length > 0) {
-                return type.typeArguments.some((t) => typeUsesPointer(t));
+                return type.typeArguments.some((t) => typeUsesPointerInternal(t, seen));
             }
             if (type.structuralMembers && type.structuralMembers.length > 0) {
-                return interfaceMembersUsePointer(type.structuralMembers);
+                return interfaceMembersUsePointer(type.structuralMembers, seen);
             }
             return false;
         }
         case "arrayType":
-            return typeUsesPointer(type.elementType);
+            return typeUsesPointerInternal(type.elementType, seen);
         case "dictionaryType":
-            return typeUsesPointer(type.keyType) || typeUsesPointer(type.valueType);
+            return (typeUsesPointerInternal(type.keyType, seen) ||
+                typeUsesPointerInternal(type.valueType, seen));
         case "tupleType":
-            return type.elementTypes.some((t) => typeUsesPointer(t));
+            return type.elementTypes.some((t) => typeUsesPointerInternal(t, seen));
         case "functionType":
-            return (type.parameters.some((p) => typeUsesPointer(p.type)) ||
-                typeUsesPointer(type.returnType));
+            return (type.parameters.some((p) => typeUsesPointerInternal(p.type, seen)) ||
+                typeUsesPointerInternal(type.returnType, seen));
         case "objectType":
-            return interfaceMembersUsePointer(type.members);
+            return interfaceMembersUsePointer(type.members, seen);
         case "unionType":
         case "intersectionType":
-            return type.types.some((t) => typeUsesPointer(t));
+            return type.types.some((t) => typeUsesPointerInternal(t, seen));
         case "typeParameterType":
         case "primitiveType":
         case "literalType":
@@ -42,17 +48,19 @@ export const typeUsesPointer = (type) => {
             return false;
     }
 };
-const interfaceMembersUsePointer = (members) => {
+export const typeUsesPointer = (type) => typeUsesPointerInternal(type, new WeakSet());
+const interfaceMembersUsePointer = (members, seen) => {
     for (const member of members) {
         if (member.kind === "propertySignature") {
-            if (typeUsesPointer(member.type))
+            if (typeUsesPointerInternal(member.type, seen))
                 return true;
             continue;
         }
         if (member.kind === "methodSignature") {
-            if (member.parameters.some((p) => typeUsesPointer(p.type)))
+            if (member.parameters.some((p) => typeUsesPointerInternal(p.type, seen))) {
                 return true;
-            if (typeUsesPointer(member.returnType))
+            }
+            if (typeUsesPointerInternal(member.returnType, seen))
                 return true;
             continue;
         }
@@ -213,7 +221,7 @@ export const statementUsesPointer = (stmt) => {
                 classMembersUsePointer(stmt.members));
         case "interfaceDeclaration":
             return ((stmt.extends?.some((t) => typeUsesPointer(t)) ?? false) ||
-                interfaceMembersUsePointer(stmt.members));
+                interfaceMembersUsePointer(stmt.members, new WeakSet()));
         case "typeAliasDeclaration":
             return typeUsesPointer(stmt.type);
         case "enumDeclaration":

package/dist/core/semantic/unsafe.js.map

@@ -1 +1 @@
-{"version":3,"file":"unsafe.js","sourceRoot":"","sources":["../../../src/core/semantic/unsafe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAaH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAwB,EAAW,EAAE;IACnE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,OAAO,0BAA0B,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE3C,KAAK,gBAAgB;YACnB,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE1E,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3D,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpD,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAElD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpD,KAAK,mBAAmB,CAAC;QACzB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,OAAqC,EAC5B,EAAE;IACX,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxE,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,OAAiC,EAAW,EAAE;IAC5E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,IAAI,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC3D,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC7C,IAAI,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,MAA8B,EAAW,EAAE,CACvE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,6BAA6B,GAAG,CACpC,KAAsC,EAC7B,EAAE;IACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,IAAI,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA8B,EACrB,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBACjC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CACnC,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1C,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QAEf,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1C,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtE,IAAI,IAAI,CAAC,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;gBAC9D,OAAO,IAAI,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,IAAI,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACvD,SAAS;gBACX,CAAC;gBACD,IAAI,qBAAqB,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,KAAK;YACR,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACjB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;oBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAC7B,CACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBACnD,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACtC,CAAC,CAAC,KAAK,CAAC,CACX,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,KAAK,SAAS;gBACb,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;oBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAC/B,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACjB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;gBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC9B,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CACvE,CAAC;QAEJ,KAAK,oBAAoB;YACvB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAClC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACtC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAoB,CAAC;gBAClD,CAAC,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAChD,CAAC;QAEJ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CACtE,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,kBAAkB;YACrB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACpC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CACtC,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;QAEhE,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAiB,EAAW,EAAE;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,6BAA6B,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE1D,KAAK,qBAAqB;YACxB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC/C,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,CACrC,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,CACL,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBACxD,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,CACzC,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpC,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,KAAK,CAAC;QAEf,KAAK,qBAAqB;YACxB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,iBAAiB;YACpB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACxC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACxE,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzE,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW;gBACtC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;oBAC/C,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC;oBAC9D,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC3C,CAAC,CAAC,KAAK,CAAC;YACV,OAAO,CACL,eAAe;gBACf,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CACpD,CACF,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,cAAc;YACjB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACnC,CAAC,IAAI,CAAC,WAAW;oBACf,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBAC7C,CAAC,CAAC,KAAK,CAAC;gBACV,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACtE,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9D,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CACzE,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAgB,EAAW,EAAE;IAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
+{"version":3,"file":"unsafe.js","sourceRoot":"","sources":["../../../src/core/semantic/unsafe.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAaH,MAAM,uBAAuB,GAAG,CAC9B,IAAwB,EACxB,IAAqB,EACZ,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YACrC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,OAAO,0BAA0B,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW;YACd,OAAO,uBAAuB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAEzD,KAAK,gBAAgB;YACnB,OAAO,CACL,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC3C,uBAAuB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAC9C,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAEzE,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAClE,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAC/C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAExD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAElE,KAAK,mBAAmB,CAAC;QACzB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAwB,EAAW,EAAE,CACnE,uBAAuB,CAAC,IAAI,EAAE,IAAI,OAAO,EAAU,CAAC,CAAC;AAEvD,MAAM,0BAA0B,GAAG,CACjC,OAAqC,EACrC,IAAqB,EACZ,EAAE;IACX,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,IACE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EACpE,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,OAAiC,EAAW,EAAE;IAC5E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,IAAI,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC3D,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC7C,IAAI,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClE,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,MAA8B,EAAW,EAAE,CACvE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,6BAA6B,GAAG,CACpC,KAAsC,EAC7B,EAAE;IACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,IAAI,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA8B,EACrB,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CACjC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;gBACjC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CACnC,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1C,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QAEf,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE1C,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtE,IAAI,IAAI,CAAC,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;gBAC9D,OAAO,IAAI,CAAC;YACd,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,IAAI,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACvD,SAAS;gBACX,CAAC;gBACD,IAAI,qBAAqB,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,KAAK;YACR,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACjB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;oBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAC7B,CACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBACnD,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACtC,CAAC,CAAC,KAAK,CAAC,CACX,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,KAAK,SAAS;gBACb,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;oBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAC/B,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACjB,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC;gBACrC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC9B,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CACvE,CAAC;QAEJ,KAAK,oBAAoB;YACvB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAClC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACtC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,CACL,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAoB,CAAC;gBAClD,CAAC,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAChD,CAAC;QAEJ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CACtE,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,kBAAkB;YACrB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACpC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CACtC,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;QAEhE,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAiB,EAAW,EAAE;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,6BAA6B,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE1D,KAAK,qBAAqB;YACxB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACrC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC/C,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,CACrC,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,CACL,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBACxD,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,OAAO,EAAU,CAAC,CAChE,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpC,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO,KAAK,CAAC;QAEf,KAAK,qBAAqB;YACxB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,iBAAiB;YACpB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,aAAa;YAChB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACxC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACxE,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzE,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW;gBACtC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;oBAC/C,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC;oBAC9D,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC3C,CAAC,CAAC,KAAK,CAAC;YACV,OAAO,CACL,eAAe;gBACf,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;gBACrC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAClC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CACpD,CACF,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,KAAK,cAAc;YACjB,OAAO,CACL,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACnC,CAAC,IAAI,CAAC,WAAW;oBACf,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBAC7C,CAAC,CAAC,KAAK,CAAC;gBACV,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CACtE,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9D,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CACzE,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAgB,EAAW,EAAE;IAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/core/semantic/value-slot-types.d.ts

@@ -0,0 +1,3 @@
+import type { IrType } from "@tsonic/frontend";
+export declare const normalizeValueSlotType: (type: IrType) => IrType;
+//# sourceMappingURL=value-slot-types.d.ts.map

package/dist/core/semantic/value-slot-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-slot-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/value-slot-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAO/C,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,MAG5C,CAAC"}

package/dist/core/semantic/value-slot-types.js

@@ -0,0 +1,8 @@
+const UNDEFINED_VALUE_SLOT_TYPE = {
+    kind: "primitiveType",
+    name: "undefined",
+};
+export const normalizeValueSlotType = (type) => type.kind === "voidType" || type.kind === "neverType"
+    ? UNDEFINED_VALUE_SLOT_TYPE
+    : type;
+//# sourceMappingURL=value-slot-types.js.map

package/dist/core/semantic/value-slot-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-slot-types.js","sourceRoot":"","sources":["../../../src/core/semantic/value-slot-types.ts"],"names":[],"mappings":"AAEA,MAAM,yBAAyB,GAAW;IACxC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,WAAW;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE,CAC7D,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;IACnD,CAAC,CAAC,yBAAyB;IAC3B,CAAC,CAAC,IAAI,CAAC"}

package/dist/core/semantic/variable-type-resolution.d.ts

@@ -0,0 +1,68 @@
+/**
+ * Variable type resolution — pure helpers for deriving semantic and storage
+ * types from variable declarations and their initializers.
+ *
+ * Lives in core/semantic so both symbol-types.ts (canonical registration)
+ * and variables.ts (emitter) can depend on it without cycles.
+ */
+import { type IrStatement, type IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+/**
+ * Resolve the target type from an `asinterface` expression, unwrapping
+ * tsbindgen's ExtensionMethods wrapper and intersection types.
+ */
+export declare const resolveAsInterfaceTargetType: (type: IrType, context: EmitterContext) => IrType;
+export declare const resolveSemanticVariableInitializerType: (initializer: {
+    readonly kind: string;
+    readonly inferredType?: IrType;
+    readonly targetType?: IrType;
+} | undefined, context: EmitterContext) => IrType | undefined;
+/**
+ * Resolve the expected type for initializer EMISSION.
+ *
+ * For annotated locals, returns the declared type (an authored contract).
+ * For unannotated locals with branch-sensitive initializers (conditionals,
+ * ternaries), returns undefined so the conditional-emitter can derive its
+ * own branch expectations from narrowed branch contexts — which produces
+ * a more precise carrier than storage-normalizing the broad inferred type.
+ * For other unannotated locals, returns the semantic initializer type
+ * WITHOUT storage normalization.
+ */
+export declare const resolveInitializerEmissionExpectedType: (declaredType: IrType | undefined, initializer: {
+    readonly kind: string;
+    readonly inferredType?: IrType;
+    readonly targetType?: IrType;
+} | undefined, context: EmitterContext) => IrType | undefined;
+/**
+ * Resolve the storage-normalized initializer type for a variable.
+ *
+ * This is the semantic initializer type passed through normalizeRuntimeStorageType.
+ * Used for local storage type registration (resolveLocalStorageType) and
+ * post-emission storage reasoning — NOT for initializer emission expectations.
+ * For emission expected types, use resolveInitializerEmissionExpectedType.
+ */
+export declare const resolveEffectiveVariableInitializerType: (initializer: {
+    readonly kind: string;
+    readonly inferredType?: IrType;
+    readonly targetType?: IrType;
+} | undefined, context: EmitterContext) => IrType | undefined;
+/** Inline type for variable declarator shape used by registration. */
+export type VariableDeclaratorLike = {
+    readonly type?: IrType;
+    readonly initializer?: Extract<IrStatement, {
+        kind: "variableDeclaration";
+    }>["declarations"][number]["initializer"];
+};
+/**
+ * Resolve the CLR storage type for a variable declaration.
+ *
+ * Uses the explicit type annotation or the initializer's storage-aware type.
+ *
+ * Some expressions intentionally emit through a broader CLR storage surface than
+ * their semantic IR type (for example JS-surface dictionary safe reads that
+ * carry `undefined` in storage). Reusing the direct storage IR type here keeps
+ * localValueTypes aligned with the emitted initializer surface so later
+ * expected-type adaptation can materialize the required concrete value.
+ */
+export declare const resolveLocalStorageType: (decl: VariableDeclaratorLike, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=variable-type-resolution.d.ts.map

package/dist/core/semantic/variable-type-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-type-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAcrD;;;GAGG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAoCF,CAAC;AAmLF,eAAO,MAAM,sCAAsC,GACjD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sCAAsC,GACjD,cAAc,MAAM,GAAG,SAAS,EAChC,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAkCX,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,uCAAuC,GAClD,aACI;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,GACD,SAAS,EACb,SAAS,cAAc,KACtB,MAAM,GAAG,SAGX,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAC5B,WAAW,EACX;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAChC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,CAAC;CAC1C,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,sBAAsB,EAC5B,SAAS,cAAc,KACtB,MAAM,GAAG,SAwBX,CAAC"}