@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/expressions/object-literal-type-helpers.js

@@ -0,0 +1,267 @@
+/**
+ * Object literal type helpers — property expected type resolution,
+ * contextual type selection, key resolution, and function type normalization.
+ */
+import * as ts from "typescript";
+import { containsTypeParameter } from "../../types/ir-substitution.js";
+import { stableIrTypeKeyIfDeterministic } from "../../types/type-ops.js";
+import { convertExpression } from "../../expression-converter.js";
+import { convertBindingName } from "../../syntax/binding-patterns.js";
+import { isNullishPrimitive } from "./array-literals.js";
+/**
+ * Get the expected type for an object property from the parent expected type.
+ *
+ * If expectedType is an objectType, looks up the property member directly.
+ * If expectedType is a referenceType, we can't resolve it here (would need symbol table).
+ */
+export const getPropertyExpectedType = (propName, expectedType, ctx) => {
+    if (!expectedType)
+        return undefined;
+    if (expectedType.kind === "objectType") {
+        // Direct member lookup - only check property signatures (not methods)
+        const member = expectedType.members.find((m) => m.kind === "propertySignature" && m.name === propName);
+        return member?.kind === "propertySignature" ? member.type : undefined;
+    }
+    if (expectedType.kind === "referenceType") {
+        // Use TypeSystem to resolve nominal members deterministically, including inherited members
+        // and generic substitutions (e.g., `DeepContainer<T>.level1`).
+        const memberType = ctx.typeSystem.typeOfMember(expectedType, {
+            kind: "byName",
+            name: propName,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    }
+    if (expectedType.kind === "dictionaryType") {
+        // Thread dictionary value type to values (for nested object literal lowering).
+        // Example: Record<string, unknown> → nested objects should lower deterministically.
+        return expectedType.valueType;
+    }
+    return undefined;
+};
+export const selectObjectLiteralContextualType = (expectedType, literalKeys, ctx) => {
+    if (!expectedType || literalKeys.length === 0) {
+        return expectedType;
+    }
+    const candidates = [];
+    const seen = new Set();
+    const collectObjectPropertyNames = (type) => {
+        if (type.kind === "objectType") {
+            return type.members
+                .filter((member) => member.kind === "propertySignature")
+                .map((member) => member.name);
+        }
+        if (type.kind === "referenceType") {
+            if (type.structuralMembers?.length) {
+                return type.structuralMembers
+                    .filter((member) => member.kind === "propertySignature")
+                    .map((member) => member.name);
+            }
+        }
+        return [];
+    };
+    for (const candidate of ctx.typeSystem
+        .collectNarrowingCandidates(expectedType)
+        .filter((member) => !!member && !isNullishPrimitive(member))) {
+        const candidateKey = stableIrTypeKeyIfDeterministic(candidate);
+        if (candidateKey) {
+            if (seen.has(candidateKey)) {
+                continue;
+            }
+            seen.add(candidateKey);
+        }
+        if (candidate.kind === "dictionaryType") {
+            candidates.push({
+                type: candidate,
+                order: candidates.length,
+                kind: "dictionary",
+                propertyCount: Number.POSITIVE_INFINITY,
+            });
+            continue;
+        }
+        if (candidate.kind !== "objectType" && candidate.kind !== "referenceType") {
+            continue;
+        }
+        if (literalKeys.every((key) => getPropertyExpectedType(key, candidate, ctx) !== undefined)) {
+            candidates.push({
+                type: candidate,
+                order: candidates.length,
+                kind: "object",
+                propertyCount: collectObjectPropertyNames(candidate).length,
+            });
+        }
+    }
+    if (candidates.length === 0) {
+        return expectedType;
+    }
+    candidates.sort((left, right) => {
+        if (left.kind !== right.kind) {
+            return left.kind === "object" ? -1 : 1;
+        }
+        if (left.kind === "object" && right.kind === "object") {
+            if (left.propertyCount !== right.propertyCount) {
+                return left.propertyCount - right.propertyCount;
+            }
+        }
+        const leftKey = stableIrTypeKeyIfDeterministic(left.type);
+        const rightKey = stableIrTypeKeyIfDeterministic(right.type);
+        return leftKey && rightKey
+            ? leftKey.localeCompare(rightKey)
+            : left.order - right.order;
+    });
+    return candidates[0]?.type ?? expectedType;
+};
+export const unwrapDeterministicKeyExpression = (expr) => {
+    let current = expr;
+    for (;;) {
+        if (ts.isParenthesizedExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        if (ts.isAsExpression(current) ||
+            ts.isTypeAssertionExpression(current) ||
+            ts.isSatisfiesExpression(current)) {
+            current = current.expression;
+            continue;
+        }
+        return current;
+    }
+};
+export const tryResolveDeterministicObjectKeyNameFromSyntax = (expr, ctx, seenSymbols = new Set()) => {
+    const current = unwrapDeterministicKeyExpression(expr);
+    if (ts.isStringLiteral(current) ||
+        ts.isNoSubstitutionTemplateLiteral(current) ||
+        ts.isNumericLiteral(current)) {
+        return String(current.text);
+    }
+    if (!ts.isIdentifier(current)) {
+        return undefined;
+    }
+    const symbol = ctx.checker.getSymbolAtLocation(current);
+    if (!symbol || seenSymbols.has(symbol)) {
+        return undefined;
+    }
+    seenSymbols.add(symbol);
+    const visitDeclarations = (target) => {
+        for (const decl of target.getDeclarations() ?? []) {
+            if (ts.isVariableDeclaration(decl) &&
+                decl.initializer &&
+                ts.isVariableDeclarationList(decl.parent) &&
+                (decl.parent.flags & ts.NodeFlags.Const) !== 0) {
+                const resolved = tryResolveDeterministicObjectKeyNameFromSyntax(decl.initializer, ctx, seenSymbols);
+                if (resolved !== undefined)
+                    return resolved;
+            }
+        }
+        return undefined;
+    };
+    const direct = visitDeclarations(symbol);
+    if (direct !== undefined)
+        return direct;
+    if ((symbol.flags & ts.SymbolFlags.Alias) !== 0) {
+        const aliased = ctx.checker.getAliasedSymbol(symbol);
+        if (!seenSymbols.has(aliased)) {
+            seenSymbols.add(aliased);
+            return visitDeclarations(aliased);
+        }
+    }
+    return undefined;
+};
+export const resolveObjectLiteralMemberKey = (name, ctx) => {
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNoSubstitutionTemplateLiteral(name) ||
+        ts.isNumericLiteral(name)) {
+        const keyName = String(name.text);
+        return { key: keyName, keyName };
+    }
+    if (!ts.isComputedPropertyName(name)) {
+        return { key: "", keyName: undefined };
+    }
+    const keyName = tryResolveDeterministicObjectKeyNameFromSyntax(name.expression, ctx);
+    const computedKey = convertExpression(unwrapDeterministicKeyExpression(name.expression), ctx, undefined);
+    return { key: keyName ?? computedKey, keyName };
+};
+export const methodUsesObjectLiteralThis = (method) => {
+    let found = false;
+    const visit = (current) => {
+        if (found)
+            return;
+        if (current.kind === ts.SyntaxKind.ThisKeyword) {
+            found = true;
+            return;
+        }
+        if (ts.isFunctionExpression(current) ||
+            ts.isFunctionDeclaration(current) ||
+            ts.isMethodDeclaration(current) ||
+            ts.isGetAccessorDeclaration(current) ||
+            ts.isSetAccessorDeclaration(current)) {
+            if (current !== method) {
+                return;
+            }
+        }
+        ts.forEachChild(current, visit);
+    };
+    if (method.body) {
+        visit(method.body);
+    }
+    return found;
+};
+export const normalizeExpectedFunctionType = (expectedType, ctx) => {
+    if (!expectedType)
+        return undefined;
+    const candidateMap = new Map();
+    for (const member of ctx.typeSystem
+        .collectNarrowingCandidates(expectedType)
+        .filter((candidate) => !!candidate && !isNullishPrimitive(candidate))) {
+        const normalized = member.kind === "functionType"
+            ? member
+            : ctx.typeSystem.delegateToFunctionType(member);
+        if (!normalized || containsTypeParameter(normalized)) {
+            continue;
+        }
+        const key = stableIrTypeKeyIfDeterministic(normalized);
+        if (!key)
+            continue;
+        candidateMap.set(key, normalized);
+    }
+    const candidates = [...candidateMap.values()];
+    return candidates.length === 1 ? candidates[0] : undefined;
+};
+export const getExpectedFunctionParameterTypes = (expectedType, ctx) => {
+    const fnType = normalizeExpectedFunctionType(expectedType, ctx);
+    return fnType?.parameters.map((param) => param.type);
+};
+export const convertObjectLiteralMethodParameters = (parameters, ctx, expectedType) => {
+    const expectedParamTypes = getExpectedFunctionParameterTypes(expectedType, ctx);
+    return parameters.map((param, index) => {
+        const explicitType = param.type
+            ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(param.type))
+            : undefined;
+        const paramType = explicitType ?? expectedParamTypes?.[index];
+        return {
+            kind: "parameter",
+            pattern: convertBindingName(param.name, ctx),
+            type: paramType,
+            initializer: param.initializer
+                ? convertExpression(param.initializer, ctx, paramType)
+                : undefined,
+            isOptional: !!param.questionToken,
+            isRest: !!param.dotDotDotToken,
+            passing: "value",
+        };
+    });
+};
+export const buildObjectLiteralMethodFunctionType = (method, ctx, expectedType) => {
+    const expectedFnType = normalizeExpectedFunctionType(expectedType, ctx);
+    const parameters = convertObjectLiteralMethodParameters(method.parameters, ctx, expectedFnType ?? expectedType);
+    const declaredReturnType = method.type
+        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(method.type))
+        : undefined;
+    return {
+        kind: "functionType",
+        parameters,
+        returnType: declaredReturnType ??
+            expectedFnType?.returnType ?? { kind: "unknownType" },
+    };
+};
+//# sourceMappingURL=object-literal-type-helpers.js.map

package/dist/ir/converters/expressions/object-literal-type-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literal-type-helpers.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/object-literal-type-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAgB,EAChB,YAAgC,EAChC,GAAmB,EACC,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,sEAAsE;QACtE,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7D,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,2FAA2F;QAC3F,+DAA+D;QAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,YAAY,EAAE;YAC3D,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC3C,+EAA+E;QAC/E,oFAAoF;QACpF,OAAO,YAAY,CAAC,SAAS,CAAC;IAChC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,WAA8B,EAC9B,GAAmB,EACC,EAAE;IACtB,IAAI,CAAC,YAAY,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IASD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAqB,EAAE;QACrE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,OAAO;iBAChB,MAAM,CACL,CACE,MAAM,EAC2D,EAAE,CACnE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC;iBACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC,iBAAiB;qBAC1B,MAAM,CACL,CACE,MAAM,EAIN,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACzC;qBACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU;SACnC,0BAA0B,CAAC,YAAY,CAAC;SACxC,MAAM,CACL,CAAC,MAAM,EAAoB,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CACtE,EAAE,CAAC;QACJ,MAAM,YAAY,GAAG,8BAA8B,CAAC,SAAS,CAAC,CAAC;QAC/D,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,YAAY;gBAClB,aAAa,EAAE,MAAM,CAAC,iBAAiB;aACxC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1E,SAAS;QACX,CAAC;QAED,IACE,WAAW,CAAC,KAAK,CACf,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,SAAS,CACpE,EACD,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,0BAA0B,CAAC,SAAS,CAAC,CAAC,MAAM;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtD,IAAI,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,CAAC;gBAC/C,OAAO,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;YAClD,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,8BAA8B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,OAAO,IAAI,QAAQ;YACxB,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC;YACjC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,YAAY,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAmB,EACJ,EAAE;IACjB,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;YACrC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EACjC,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8CAA8C,GAAG,CAC5D,IAAmB,EACnB,GAAmB,EACnB,cAAc,IAAI,GAAG,EAAa,EACd,EAAE;IACtB,MAAM,OAAO,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;IACvD,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC3B,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC;QAC3C,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAC5B,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,iBAAiB,GAAG,CAAC,MAAiB,EAAsB,EAAE;QAClE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;YAClD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,WAAW;gBAChB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACzC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC9C,CAAC;gBACD,MAAM,QAAQ,GAAG,8CAA8C,CAC7D,IAAI,CAAC,WAAW,EAChB,GAAG,EACH,WAAW,CACZ,CAAC;gBACF,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,QAAQ,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzB,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAqB,EACrB,GAAmB,EAInB,EAAE;IACF,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,OAAO,GAAG,8CAA8C,CAC5D,IAAI,CAAC,UAAU,EACf,GAAG,CACJ,CAAC;IACF,MAAM,WAAW,GAAG,iBAAiB,CACnC,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,EACjD,GAAG,EACH,SAAS,CACV,CAAC;IACF,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAA4B,EACnB,EAAE;IACX,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAQ,EAAE;QACvC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC/C,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;YACpC,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EACpC,CAAC;YACD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;gBACvB,OAAO;YACT,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC;IAEF,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAAgC,EAChC,GAAmB,EACS,EAAE;IAC9B,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU;SAChC,0BAA0B,CAAC,YAAY,CAAC;SACxC,MAAM,CACL,CAAC,SAAS,EAAuB,EAAE,CACjC,CAAC,CAAC,SAAS,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAChD,EAAE,CAAC;QACJ,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,UAAU,IAAI,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,8BAA8B,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,YAAgC,EAChC,GAAmB,EAC0B,EAAE;IAC/C,MAAM,MAAM,GAAG,6BAA6B,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAChE,OAAO,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,UAAiD,EACjD,GAAmB,EACnB,YAAgC,EACR,EAAE;IAC1B,MAAM,kBAAkB,GAAG,iCAAiC,CAC1D,YAAY,EACZ,GAAG,CACJ,CAAC;IAEF,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI;YAC7B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1E,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,SAAS,GAAG,YAAY,IAAI,kBAAkB,EAAE,CAAC,KAAK,CAAC,CAAC;QAE9D,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;YAC5C,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC5B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC;gBACtD,CAAC,CAAC,SAAS;YACb,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO,EAAE,OAAO;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,MAA4B,EAC5B,GAAmB,EACnB,YAAgC,EAChB,EAAE;IAClB,MAAM,cAAc,GAAG,6BAA6B,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,oCAAoC,CACrD,MAAM,CAAC,UAAU,EACjB,GAAG,EACH,cAAc,IAAI,YAAY,CAC/B,CAAC;IACF,MAAM,kBAAkB,GAAG,MAAM,CAAC,IAAI;QACpC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU;QACV,UAAU,EAAE,kBAAkB;YAC5B,cAAc,EAAE,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE;KACxD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/object-literals.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Object literal expression converter
+ */
+import * as ts from "typescript";
+import { IrObjectExpression, IrType } from "../../types.js";
+import type { ProgramContext } from "../../program-context.js";
+/**
+ * Convert object literal expression
+ *
+ * If no contextual nominal type exists and the literal is eligible for synthesis,
+ * a synthetic type is generated and used as the contextual type.
+ *
+ * Threads expectedType to property values when the expected type is an objectType.
+ */
+export declare const convertObjectLiteral: (node: ts.ObjectLiteralExpression, ctx: ProgramContext, expectedType?: IrType) => IrObjectExpression;
+//# sourceMappingURL=object-literals.d.ts.map

package/dist/ir/converters/expressions/object-literals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literals.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/object-literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAGL,kBAAkB,EAGlB,MAAM,EAEP,MAAM,gBAAgB,CAAC;AAIxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAiB/D;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,uBAAuB,EAChC,KAAK,cAAc,EACnB,eAAe,MAAM,KACpB,kBA8cF,CAAC"}

package/dist/ir/converters/expressions/object-literals.js

@@ -0,0 +1,317 @@
+/**
+ * Object literal expression converter
+ */
+import * as ts from "typescript";
+import { getSourceSpan, getContextualType } from "./helpers.js";
+import { convertExpression } from "../../expression-converter.js";
+import { checkSynthesisEligibility } from "../anonymous-synthesis.js";
+import { createDiagnostic } from "../../../types/diagnostic.js";
+import { convertAccessorProperty } from "../statements/declarations/classes/properties.js";
+import { createObjectLiteralMethodArgumentPrelude } from "../../../object-literal-method-runtime.js";
+import { getPropertyExpectedType, selectObjectLiteralContextualType, resolveObjectLiteralMemberKey, methodUsesObjectLiteralThis, buildObjectLiteralMethodFunctionType, getProvisionalAccessorPropertyType, collectSynthesizedObjectMembers, finalizeObjectLiteralMethodExpression, rebindObjectLiteralThisInClassMember, rebindObjectLiteralThisInExpression, } from "./object-literal-helpers.js";
+/**
+ * Convert object literal expression
+ *
+ * If no contextual nominal type exists and the literal is eligible for synthesis,
+ * a synthetic type is generated and used as the contextual type.
+ *
+ * Threads expectedType to property values when the expected type is an objectType.
+ */
+export const convertObjectLiteral = (node, ctx, expectedType) => {
+    const properties = [];
+    const behaviorMembers = [];
+    const pendingMethods = [];
+    const accessorGroups = new Map();
+    // Contextual type priority:
+    // 1) expectedType threaded from the parent converter (return, assignment, parameter, etc.)
+    // 2) AST-based contextual typing from explicit TypeNodes (getContextualType)
+    const contextualCandidateRaw = expectedType ?? getContextualType(node, ctx);
+    const literalKeys = node.properties
+        .map((prop) => {
+        if (ts.isPropertyAssignment(prop)) {
+            return resolveObjectLiteralMemberKey(prop.name, ctx).keyName;
+        }
+        if (ts.isShorthandPropertyAssignment(prop)) {
+            return prop.name.text;
+        }
+        if (ts.isMethodDeclaration(prop)) {
+            return resolveObjectLiteralMemberKey(prop.name, ctx).keyName;
+        }
+        if (ts.isGetAccessorDeclaration(prop) ||
+            ts.isSetAccessorDeclaration(prop)) {
+            return resolveObjectLiteralMemberKey(prop.name, ctx).keyName;
+        }
+        return undefined;
+    })
+        .filter((key) => key !== undefined);
+    // Type parameters are NOT valid instantiation targets for object literals.
+    //
+    // If we treat `T` as a contextual nominal type, the emitter can end up producing
+    // `new T { ... }`, which is not valid C# and is not CLR-faithful.
+    //
+    // Example:
+    //   export function id<T>(x: T): T { return x; }
+    //   export const v = id({ ok: true });
+    //
+    // We must synthesize a nominal `__Anon_*` type for the literal so `T` can be
+    // inferred deterministically from the argument type.
+    const contextualCandidate = contextualCandidateRaw?.kind === "typeParameterType"
+        ? undefined
+        : selectObjectLiteralContextualType(contextualCandidateRaw, literalKeys, ctx);
+    // `object`/`any`/`unknown` are not valid nominal instantiation targets for object literals.
+    //
+    // Historically we treated these as "no contextual type" and relied on TSN7403 synthesis to
+    // produce a nominal `__Anon_*` type. That works for many cases, but it is a poor fit when
+    // the target surface is truly dynamic (e.g. JSON payloads passed as `unknown`).
+    //
+    // For those dynamic contexts, we deterministically lower a "plain" object literal to a
+    // Dictionary<string, object?> shape. This is:
+    // - a valid CLR instantiation target (unlike `object`)
+    // - stable and structurally faithful to JS object semantics for string keys
+    // - AOT-friendly (no runtime reflection required by downstream libraries)
+    //
+    // Non-plain literals (spreads, computed keys) still fall back to TSN7403 synthesis.
+    const isDynamicObjectLikeContext = contextualCandidate?.kind === "anyType" ||
+        contextualCandidate?.kind === "unknownType";
+    const isPlainObjectLiteralAst = node.properties.every((p) => (ts.isPropertyAssignment(p) &&
+        !ts.isComputedPropertyName(p.name) &&
+        (ts.isIdentifier(p.name) || ts.isStringLiteral(p.name))) ||
+        ts.isShorthandPropertyAssignment(p));
+    const shouldLowerToDictionary = isDynamicObjectLikeContext && isPlainObjectLiteralAst;
+    const dictionaryValueExpectedType = {
+        kind: "referenceType",
+        name: "JsValue",
+        resolvedClrType: "Tsonic.Runtime.JsValue",
+    };
+    const getObjectLiteralPropertyExpectedType = (keyName) => keyName
+        ? (getPropertyExpectedType(keyName, expectedType, ctx) ??
+            (shouldLowerToDictionary ? dictionaryValueExpectedType : undefined))
+        : shouldLowerToDictionary
+            ? dictionaryValueExpectedType
+            : undefined;
+    // Track if we have any spreads (needed for emitter IIFE lowering)
+    let hasSpreads = false;
+    node.properties.forEach((prop) => {
+        if (ts.isPropertyAssignment(prop)) {
+            const { key, keyName } = resolveObjectLiteralMemberKey(prop.name, ctx);
+            const propExpectedType = getObjectLiteralPropertyExpectedType(keyName);
+            properties.push({
+                kind: "property",
+                key,
+                value: convertExpression(prop.initializer, ctx, propExpectedType),
+                shorthand: false,
+            });
+        }
+        else if (ts.isShorthandPropertyAssignment(prop)) {
+            // DETERMINISTIC: Derive identifier type from the VALUE being assigned, not the property
+            // For { value }, we need to get the type of the variable `value`, not the property `value`
+            // Prefer lexical flow/local env types first so shorthand properties preserve
+            // exact narrowed/inferred local types from earlier statements in the block.
+            const declId = ctx.binding.resolveShorthandAssignment(prop);
+            let inferredType;
+            if (declId) {
+                const fromEnv = ctx.typeEnv?.get(declId.id);
+                if (fromEnv &&
+                    fromEnv.kind !== "unknownType" &&
+                    fromEnv.kind !== "anyType") {
+                    inferredType = fromEnv;
+                }
+                else {
+                    const typeSystem = ctx.typeSystem;
+                    const declType = typeSystem.typeOfDecl(declId);
+                    // If TypeSystem returns unknownType, treat as not found
+                    if (declType.kind !== "unknownType") {
+                        inferredType = declType;
+                    }
+                }
+            }
+            properties.push({
+                kind: "property",
+                key: prop.name.text,
+                value: {
+                    kind: "identifier",
+                    name: prop.name.text,
+                    inferredType,
+                    sourceSpan: getSourceSpan(prop.name),
+                    declId,
+                },
+                shorthand: true,
+            });
+        }
+        else if (ts.isSpreadAssignment(prop)) {
+            hasSpreads = true;
+            properties.push({
+                kind: "spread",
+                expression: convertExpression(prop.expression, ctx, undefined),
+            });
+        }
+        else if (ts.isMethodDeclaration(prop)) {
+            const { key, keyName } = resolveObjectLiteralMemberKey(prop.name, ctx);
+            if (!keyName) {
+                ctx.diagnostics.push(createDiagnostic("TSN7403", "error", "Object literal cannot be synthesized: computed method key is not a deterministically known string/number literal", getSourceSpan(prop), "Use an identifier, string literal key, or explicit type annotation."));
+                return;
+            }
+            const propExpectedType = getObjectLiteralPropertyExpectedType(keyName);
+            pendingMethods.push({
+                key,
+                keyName,
+                node: prop,
+                propExpectedType,
+                capturesObjectLiteralThis: methodUsesObjectLiteralThis(prop),
+                functionType: buildObjectLiteralMethodFunctionType(prop, ctx, propExpectedType),
+            });
+        }
+        else if (ts.isGetAccessorDeclaration(prop) ||
+            ts.isSetAccessorDeclaration(prop)) {
+            const { keyName: memberName } = resolveObjectLiteralMemberKey(prop.name, ctx);
+            if (!memberName) {
+                ctx.diagnostics.push(createDiagnostic("TSN7403", "error", "Object literal cannot be synthesized: computed accessor key is not a deterministically known string/number literal", getSourceSpan(prop), "Use an identifier, string literal key, or explicit type annotation."));
+                return;
+            }
+            const existing = accessorGroups.get(memberName) ?? {};
+            if (ts.isGetAccessorDeclaration(prop)) {
+                existing.getter = prop;
+            }
+            else {
+                existing.setter = prop;
+            }
+            accessorGroups.set(memberName, existing);
+        }
+    });
+    const provisionalAccessorTypeFromContext = Array.from(accessorGroups.entries()).map(([memberName, group]) => ({
+        memberName,
+        getter: group.getter,
+        setter: group.setter,
+        propertyType: getProvisionalAccessorPropertyType(memberName, group.getter, group.setter, getObjectLiteralPropertyExpectedType(memberName), ctx, undefined),
+    }));
+    const baselineObjectLiteralThisType = (() => {
+        const synthesized = collectSynthesizedObjectMembers(properties, pendingMethods, provisionalAccessorTypeFromContext.filter((accessor) => accessor.propertyType !== undefined), accessorGroups.size > 0);
+        if (!synthesized.ok || !synthesized.members)
+            return undefined;
+        return {
+            kind: "objectType",
+            members: synthesized.members,
+        };
+    })();
+    const pendingAccessors = Array.from(accessorGroups.entries()).map(([memberName, group]) => ({
+        memberName,
+        getter: group.getter,
+        setter: group.setter,
+        propertyType: getProvisionalAccessorPropertyType(memberName, group.getter, group.setter, getObjectLiteralPropertyExpectedType(memberName), ctx, baselineObjectLiteralThisType),
+    }));
+    let contextualType = contextualCandidate;
+    if (isDynamicObjectLikeContext) {
+        contextualType = shouldLowerToDictionary
+            ? {
+                kind: "dictionaryType",
+                keyType: { kind: "primitiveType", name: "string" },
+                valueType: dictionaryValueExpectedType,
+            }
+            : undefined;
+    }
+    // If no contextual type, check if eligible for synthesis
+    // DETERMINISTIC IR TYPING (INV-0 compliant): Uses AST-based synthesis
+    if (!contextualType) {
+        const eligibility = checkSynthesisEligibility(node, ctx);
+        if (!eligibility.eligible) {
+            ctx.diagnostics.push(createDiagnostic("TSN7403", "error", `Object literal cannot be synthesized: ${eligibility.reason}`, getSourceSpan(node), "Use an explicit type annotation, or restructure to use only identifier keys, string literal keys, spread identifiers with type annotations, and function-valued properties."));
+        }
+        else {
+            const synthesized = collectSynthesizedObjectMembers(properties, pendingMethods, pendingAccessors, pendingAccessors.length > 0);
+            if (synthesized.ok && synthesized.members) {
+                contextualType = {
+                    kind: "objectType",
+                    members: synthesized.members,
+                };
+            }
+            else {
+                ctx.diagnostics.push(createDiagnostic("TSN7403", "error", `Object literal cannot be synthesized: ${synthesized.failureReason ?? "not supported in this context"}`, getSourceSpan(node), "Use an explicit type annotation, or restructure to use only identifier keys, string literal keys, spread identifiers with type annotations, and function-valued properties."));
+            }
+        }
+    }
+    const objectLiteralThisType = contextualType && contextualType.kind !== "dictionaryType"
+        ? contextualType
+        : undefined;
+    const objectBehaviorContext = objectLiteralThisType
+        ? { ...ctx, objectLiteralThisType }
+        : ctx;
+    const resolvedMethodTypes = new Map();
+    for (const pendingMethod of pendingMethods) {
+        const methodPrelude = createObjectLiteralMethodArgumentPrelude(pendingMethod.node);
+        const methodBody = pendingMethod.node.body
+            ? methodPrelude.length > 0
+                ? ts.factory.updateBlock(pendingMethod.node.body, [
+                    ...methodPrelude,
+                    ...pendingMethod.node.body.statements,
+                ])
+                : pendingMethod.node.body
+            : ts.factory.createBlock(methodPrelude, true);
+        const methodModifiers = pendingMethod.node.modifiers?.filter(ts.isModifier);
+        const methodAsFunctionExpr = ts.setTextRange(ts.factory.createFunctionExpression(methodModifiers, pendingMethod.node.asteriskToken, undefined, pendingMethod.node.typeParameters, pendingMethod.node.parameters, pendingMethod.node.type, methodBody), pendingMethod.node);
+        const convertedValue = finalizeObjectLiteralMethodExpression(convertExpression(methodAsFunctionExpr, objectBehaviorContext, pendingMethod.propExpectedType));
+        if (convertedValue.kind === "functionExpression" &&
+            convertedValue.inferredType?.kind === "functionType") {
+            resolvedMethodTypes.set(pendingMethod.keyName, convertedValue.inferredType);
+        }
+        properties.push({
+            kind: "property",
+            key: pendingMethod.key,
+            value: convertedValue.kind === "functionExpression" &&
+                pendingMethod.capturesObjectLiteralThis
+                ? {
+                    ...convertedValue,
+                    capturesObjectLiteralThis: true,
+                }
+                : convertedValue,
+            shorthand: false,
+        });
+    }
+    for (const pendingAccessor of pendingAccessors) {
+        behaviorMembers.push(convertAccessorProperty(pendingAccessor.memberName, pendingAccessor.getter, pendingAccessor.setter, objectBehaviorContext, undefined));
+    }
+    if (contextualType?.kind === "objectType" && resolvedMethodTypes.size > 0) {
+        contextualType = {
+            ...contextualType,
+            members: contextualType.members.map((member) => {
+                if (member.kind !== "propertySignature")
+                    return member;
+                const resolvedMethodType = resolvedMethodTypes.get(member.name);
+                if (!resolvedMethodType)
+                    return member;
+                return {
+                    ...member,
+                    type: resolvedMethodType,
+                };
+            }),
+        };
+    }
+    const finalObjectLiteralThisType = contextualType && contextualType.kind !== "dictionaryType"
+        ? contextualType
+        : undefined;
+    const finalProperties = finalObjectLiteralThisType
+        ? properties.map((property) => property.kind === "property" &&
+            property.value.kind === "functionExpression" &&
+            property.value.capturesObjectLiteralThis
+            ? {
+                ...property,
+                value: rebindObjectLiteralThisInExpression(property.value, finalObjectLiteralThisType),
+            }
+            : property)
+        : properties;
+    const finalBehaviorMembers = finalObjectLiteralThisType
+        ? behaviorMembers.map((member) => rebindObjectLiteralThisInClassMember(member, finalObjectLiteralThisType))
+        : behaviorMembers;
+    // DETERMINISTIC TYPING: Object's inferredType comes from contextualType
+    // (which may be from LHS annotation or synthesized type).
+    // We don't derive from properties because that would require TS inference.
+    return {
+        kind: "object",
+        properties: finalProperties,
+        behaviorMembers: finalBehaviorMembers.length > 0 ? finalBehaviorMembers : undefined,
+        inferredType: contextualType, // Use contextual type if available
+        sourceSpan: getSourceSpan(node),
+        contextualType,
+        hasSpreads, // Add flag for emitter to know about spreads
+    };
+};
+//# sourceMappingURL=object-literals.js.map

package/dist/ir/converters/expressions/object-literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literals.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/object-literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kDAAkD,CAAC;AAC3F,OAAO,EAAE,wCAAwC,EAAE,MAAM,2CAA2C,CAAC;AACrG,OAAO,EACL,uBAAuB,EACvB,iCAAiC,EACjC,6BAA6B,EAC7B,2BAA2B,EAC3B,oCAAoC,EACpC,kCAAkC,EAClC,+BAA+B,EAC/B,qCAAqC,EACrC,oCAAoC,EACpC,mCAAmC,GACpC,MAAM,6BAA6B,CAAC;AAErC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAgC,EAChC,GAAmB,EACnB,YAAqB,EACD,EAAE;IACtB,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,eAAe,GAAoB,EAAE,CAAC;IAC5C,MAAM,cAAc,GAOd,EAAE,CAAC;IACT,MAAM,cAAc,GAAG,IAAI,GAAG,EAM3B,CAAC;IAEJ,4BAA4B;IAC5B,2FAA2F;IAC3F,6EAA6E;IAC7E,MAAM,sBAAsB,GAAG,YAAY,IAAI,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU;SAChC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;QAC/D,CAAC;QACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;QAC/D,CAAC;QACD,IACE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,OAAO,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;QAC/D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAErD,2EAA2E;IAC3E,EAAE;IACF,iFAAiF;IACjF,kEAAkE;IAClE,EAAE;IACF,WAAW;IACX,iDAAiD;IACjD,uCAAuC;IACvC,EAAE;IACF,6EAA6E;IAC7E,qDAAqD;IACrD,MAAM,mBAAmB,GACvB,sBAAsB,EAAE,IAAI,KAAK,mBAAmB;QAClD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,iCAAiC,CAC/B,sBAAsB,EACtB,WAAW,EACX,GAAG,CACJ,CAAC;IAER,4FAA4F;IAC5F,EAAE;IACF,2FAA2F;IAC3F,0FAA0F;IAC1F,gFAAgF;IAChF,EAAE;IACF,uFAAuF;IACvF,8CAA8C;IAC9C,uDAAuD;IACvD,4EAA4E;IAC5E,0EAA0E;IAC1E,EAAE;IACF,oFAAoF;IACpF,MAAM,0BAA0B,GAC9B,mBAAmB,EAAE,IAAI,KAAK,SAAS;QACvC,mBAAmB,EAAE,IAAI,KAAK,aAAa,CAAC;IAE9C,MAAM,uBAAuB,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CACnD,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACzB,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,CACtC,CAAC;IAEF,MAAM,uBAAuB,GAC3B,0BAA0B,IAAI,uBAAuB,CAAC;IACxD,MAAM,2BAA2B,GAAW;QAC1C,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,eAAe,EAAE,wBAAwB;KAC1C,CAAC;IAEF,MAAM,oCAAoC,GAAG,CAC3C,OAA2B,EACP,EAAE,CACtB,OAAO;QACL,CAAC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC;YACpD,CAAC,uBAAuB,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACtE,CAAC,CAAC,uBAAuB;YACvB,CAAC,CAAC,2BAA2B;YAC7B,CAAC,CAAC,SAAS,CAAC;IAElB,kEAAkE;IAClE,IAAI,UAAU,GAAG,KAAK,CAAC;IAEvB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAEvE,MAAM,gBAAgB,GAAG,oCAAoC,CAAC,OAAO,CAAC,CAAC;YAEvE,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,GAAG;gBACH,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,gBAAgB,CAAC;gBACjE,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,wFAAwF;YACxF,2FAA2F;YAC3F,6EAA6E;YAC7E,4EAA4E;YAC5E,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,YAAgC,CAAC;YAErC,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC5C,IACE,OAAO;oBACP,OAAO,CAAC,IAAI,KAAK,aAAa;oBAC9B,OAAO,CAAC,IAAI,KAAK,SAAS,EAC1B,CAAC;oBACD,YAAY,GAAG,OAAO,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;oBAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;oBAC/C,wDAAwD;oBACxD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;wBACpC,YAAY,GAAG,QAAQ,CAAC;oBAC1B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACnB,KAAK,EAAE;oBACL,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACpB,YAAY;oBACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;oBACpC,MAAM;iBACP;gBACD,SAAS,EAAE,IAAI;aAChB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,UAAU,GAAG,IAAI,CAAC;YAClB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;aAC/D,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAEvE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kHAAkH,EAClH,aAAa,CAAC,IAAI,CAAC,EACnB,qEAAqE,CACtE,CACF,CAAC;gBACF,OAAO;YACT,CAAC;YAED,MAAM,gBAAgB,GAAG,oCAAoC,CAAC,OAAO,CAAC,CAAC;YACvE,cAAc,CAAC,IAAI,CAAC;gBAClB,GAAG;gBACH,OAAO;gBACP,IAAI,EAAE,IAAI;gBACV,gBAAgB;gBAChB,yBAAyB,EAAE,2BAA2B,CAAC,IAAI,CAAC;gBAC5D,YAAY,EAAE,oCAAoC,CAChD,IAAI,EACJ,GAAG,EACH,gBAAgB,CACjB;aACF,CAAC,CAAC;QACL,CAAC;aAAM,IACL,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,6BAA6B,CAC3D,IAAI,CAAC,IAAI,EACT,GAAG,CACJ,CAAC;YACF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oHAAoH,EACpH,aAAa,CAAC,IAAI,CAAC,EACnB,qEAAqE,CACtE,CACF,CAAC;gBACF,OAAO;YACT,CAAC;YAED,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACtD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC;YACzB,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,kCAAkC,GAAG,KAAK,CAAC,IAAI,CACnD,cAAc,CAAC,OAAO,EAAE,CACzB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,UAAU;QACV,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,kCAAkC,CAC9C,UAAU,EACV,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,MAAM,EACZ,oCAAoC,CAAC,UAAU,CAAC,EAChD,GAAG,EACH,SAAS,CACV;KACF,CAAC,CAAC,CAAC;IAEJ,MAAM,6BAA6B,GAAG,CAAC,GAAG,EAAE;QAC1C,MAAM,WAAW,GAAG,+BAA+B,CACjD,UAAU,EACV,cAAc,EACd,kCAAkC,CAAC,MAAM,CACvC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,CAIhD,EACH,cAAc,CAAC,IAAI,GAAG,CAAC,CACxB,CAAC;QACF,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,YAAqB;YAC3B,OAAO,EAAE,WAAW,CAAC,OAAO;SAC7B,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAC/D,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACxB,UAAU;QACV,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,kCAAkC,CAC9C,UAAU,EACV,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,MAAM,EACZ,oCAAoC,CAAC,UAAU,CAAC,EAChD,GAAG,EACH,6BAA6B,CAC9B;KACF,CAAC,CACH,CAAC;IAEF,IAAI,cAAc,GAAG,mBAAmB,CAAC;IAEzC,IAAI,0BAA0B,EAAE,CAAC;QAC/B,cAAc,GAAG,uBAAuB;YACtC,CAAC,CAAE;gBACC,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAClD,SAAS,EAAE,2BAA2B;aACX;YAC/B,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,yDAAyD;IACzD,sEAAsE;IACtE,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yCAAyC,WAAW,CAAC,MAAM,EAAE,EAC7D,aAAa,CAAC,IAAI,CAAC,EACnB,6KAA6K,CAC9K,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,WAAW,GAAG,+BAA+B,CACjD,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAC5B,CAAC;YAEF,IAAI,WAAW,CAAC,EAAE,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC1C,cAAc,GAAG;oBACf,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,WAAW,CAAC,OAAO;iBAC7B,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yCAAyC,WAAW,CAAC,aAAa,IAAI,+BAA+B,EAAE,EACvG,aAAa,CAAC,IAAI,CAAC,EACnB,6KAA6K,CAC9K,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,qBAAqB,GACzB,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,gBAAgB;QACxD,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,qBAAqB,GAAG,qBAAqB;QACjD,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,qBAAqB,EAAE;QACnC,CAAC,CAAC,GAAG,CAAC;IACR,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA0B,CAAC;IAE9D,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QAC3C,MAAM,aAAa,GAAG,wCAAwC,CAC5D,aAAa,CAAC,IAAI,CACnB,CAAC;QACF,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI;YACxC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACxB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC9C,GAAG,aAAa;oBAChB,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;iBACtC,CAAC;gBACJ,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI;YAC3B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QAChD,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC5E,MAAM,oBAAoB,GAAG,EAAE,CAAC,YAAY,CAC1C,EAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,eAAe,EACf,aAAa,CAAC,IAAI,CAAC,aAAa,EAChC,SAAS,EACT,aAAa,CAAC,IAAI,CAAC,cAAc,EACjC,aAAa,CAAC,IAAI,CAAC,UAAU,EAC7B,aAAa,CAAC,IAAI,CAAC,IAAI,EACvB,UAAU,CACX,EACD,aAAa,CAAC,IAAI,CACnB,CAAC;QACF,MAAM,cAAc,GAAG,qCAAqC,CAC1D,iBAAiB,CACf,oBAAoB,EACpB,qBAAqB,EACrB,aAAa,CAAC,gBAAgB,CAC/B,CACF,CAAC;QAEF,IACE,cAAc,CAAC,IAAI,KAAK,oBAAoB;YAC5C,cAAc,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc,EACpD,CAAC;YACD,mBAAmB,CAAC,GAAG,CACrB,aAAa,CAAC,OAAO,EACrB,cAAc,CAAC,YAAY,CAC5B,CAAC;QACJ,CAAC;QAED,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,aAAa,CAAC,GAAG;YACtB,KAAK,EACH,cAAc,CAAC,IAAI,KAAK,oBAAoB;gBAC5C,aAAa,CAAC,yBAAyB;gBACrC,CAAC,CAAC;oBACE,GAAG,cAAc;oBACjB,yBAAyB,EAAE,IAAI;iBAChC;gBACH,CAAC,CAAC,cAAc;YACpB,SAAS,EAAE,KAAK;SACjB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;QAC/C,eAAe,CAAC,IAAI,CAClB,uBAAuB,CACrB,eAAe,CAAC,UAAU,EAC1B,eAAe,CAAC,MAAM,EACtB,eAAe,CAAC,MAAM,EACtB,qBAAqB,EACrB,SAAS,CACV,CACF,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,EAAE,IAAI,KAAK,YAAY,IAAI,mBAAmB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1E,cAAc,GAAG;YACf,GAAG,cAAc;YACjB,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBAAE,OAAO,MAAM,CAAC;gBACvD,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,kBAAkB;oBAAE,OAAO,MAAM,CAAC;gBACvC,OAAO;oBACL,GAAG,MAAM;oBACT,IAAI,EAAE,kBAAkB;iBACzB,CAAC;YACJ,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,0BAA0B,GAC9B,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,gBAAgB;QACxD,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,eAAe,GAAG,0BAA0B;QAChD,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,QAAQ,CAAC,IAAI,KAAK,UAAU;YAC5B,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB;YAC5C,QAAQ,CAAC,KAAK,CAAC,yBAAyB;YACtC,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,KAAK,EAAE,mCAAmC,CACxC,QAAQ,CAAC,KAAK,EACd,0BAA0B,CAC3B;aACF;YACH,CAAC,CAAC,QAAQ,CACb;QACH,CAAC,CAAC,UAAU,CAAC;IACf,MAAM,oBAAoB,GAAG,0BAA0B;QACrD,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,oCAAoC,CAAC,MAAM,EAAE,0BAA0B,CAAC,CACzE;QACH,CAAC,CAAC,eAAe,CAAC;IAEpB,wEAAwE;IACxE,0DAA0D;IAC1D,2EAA2E;IAC3E,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,eAAe;QAC3B,eAAe,EACb,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS;QACpE,YAAY,EAAE,cAAc,EAAE,mCAAmC;QACjE,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;QAC/B,cAAc;QACd,UAAU,EAAE,6CAA6C;KAC1D,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/operators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAGlB,MAAM,EACP,MAAM,gBAAgB,CAAC;AAkBxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AA6N/D;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,KAAK,cAAc,EACnB,eAAe,MAAM,KACpB,YAoFF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,KAAK,cAAc,KAClB,iBAAiB,GAAG,kBAiDtB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,sBAAsB,GAAG,EAAE,CAAC,qBAAqB,EAC1D,KAAK,cAAc,KAClB,kBA0CF,CAAC"}
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/operators.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,kBAAkB,EAGlB,MAAM,EACP,MAAM,gBAAgB,CAAC;AAqBxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAuO/D;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,KAAK,cAAc,EACnB,eAAe,MAAM,KACpB,YAiGF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,qBAAqB,EAC9B,KAAK,cAAc,KAClB,iBAAiB,GAAG,kBAiDtB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,sBAAsB,GAAG,EAAE,CAAC,qBAAqB,EAC1D,KAAK,cAAc,KAClB,kBA0CF,CAAC"}