@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/expressions/collections.js

@@ -1,888 +1,10 @@
 /**
  * Collection expression converters (arrays and objects)
- */
-import * as ts from "typescript";
-import { containsTypeParameter, typesEqual, } from "../../types/ir-substitution.js";
-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 { convertBindingName } from "../../syntax/binding-patterns.js";
-import { createObjectLiteralMethodArgumentPrelude } from "../../../object-literal-method-runtime.js";
-/**
- * Compute the element type for an array literal from its elements' types.
- *
- * Rules:
- * 1. All numeric literals with same intent → use that intent (int, long, double)
- * 2. Mixed Int32/Int64 → Int64
- * 3. Any Double present → double
- * 4. String literals → string
- * 5. Boolean literals → boolean
- * 6. Mixed or complex → fall back to TS inference
- */
-const computeArrayElementType = (elements, fallbackType) => {
-    const mergeElementTypes = (types) => {
-        if (types.length === 0)
-            return undefined;
-        const first = types[0];
-        if (first && types.every((t) => typesEqual(t, first))) {
-            return first;
-        }
-        return {
-            kind: "unionType",
-            types,
-        };
-    };
-    const extractSpreadElementTypes = (type) => {
-        if (!type)
-            return undefined;
-        if (type.kind === "arrayType") {
-            return [type.elementType];
-        }
-        if (type.kind === "tupleType") {
-            return type.elementTypes.filter((element) => element !== undefined);
-        }
-        if (type.kind === "unionType") {
-            const members = [];
-            for (const member of type.types) {
-                const extracted = extractSpreadElementTypes(member);
-                if (!extracted)
-                    return undefined;
-                members.push(...extracted);
-            }
-            return members;
-        }
-        if (type.kind === "referenceType" &&
-            type.typeArguments &&
-            type.typeArguments.length > 0) {
-            const simpleName = type.name.split(".").pop() ?? type.name;
-            switch (simpleName) {
-                case "Array":
-                case "ReadonlyArray":
-                case "Iterable":
-                case "IterableIterator":
-                case "Iterator":
-                case "AsyncIterable":
-                case "AsyncIterableIterator":
-                case "Generator":
-                case "AsyncGenerator":
-                case "Set":
-                case "ReadonlySet":
-                case "JSArray":
-                case "IEnumerable":
-                case "IReadOnlyList":
-                case "List":
-                    return type.typeArguments[0] ? [type.typeArguments[0]] : undefined;
-                case "Map":
-                case "ReadonlyMap":
-                    return type.typeArguments[0] && type.typeArguments[1]
-                        ? [
-                            {
-                                kind: "tupleType",
-                                elementTypes: [type.typeArguments[0], type.typeArguments[1]],
-                            },
-                        ]
-                        : undefined;
-                default:
-                    return undefined;
-            }
-        }
-        return undefined;
-    };
-    // Filter out holes and spreads for type analysis
-    const regularElements = elements.filter((e) => e !== undefined && e.kind !== "spread");
-    const spreadElements = elements.filter((e) => e !== undefined && e.kind === "spread");
-    if (regularElements.length === 0 && spreadElements.length === 0) {
-        // Empty array - use fallback
-        return fallbackType;
-    }
-    // Check if all elements are numeric literals
-    const numericIntents = [];
-    let allNumericLiterals = true;
-    let allStringLiterals = true;
-    let allBooleanLiterals = true;
-    for (const elem of regularElements) {
-        if (elem.kind === "literal") {
-            if (typeof elem.value === "number" && elem.numericIntent) {
-                numericIntents.push(elem.numericIntent);
-                allStringLiterals = false;
-                allBooleanLiterals = false;
-            }
-            else if (typeof elem.value === "string") {
-                allNumericLiterals = false;
-                allBooleanLiterals = false;
-            }
-            else if (typeof elem.value === "boolean") {
-                allNumericLiterals = false;
-                allStringLiterals = false;
-            }
-            else {
-                // null or other literal
-                allNumericLiterals = false;
-                allStringLiterals = false;
-                allBooleanLiterals = false;
-            }
-        }
-        else {
-            // Non-literal element - can't determine type deterministically from literals
-            allNumericLiterals = false;
-            allStringLiterals = false;
-            allBooleanLiterals = false;
-        }
-    }
-    const hasOnlyRegularElements = regularElements.length > 0 && spreadElements.length === 0;
-    // All numeric literals - determine widest type
-    if (hasOnlyRegularElements &&
-        allNumericLiterals &&
-        numericIntents.length > 0) {
-        // Any Double → number (emits as "double" in C#)
-        if (numericIntents.includes("Double") ||
-            numericIntents.includes("Single")) {
-            return { kind: "primitiveType", name: "number" };
-        }
-        // Any Int64/UInt64 → fall back to TS inference (no primitive for long)
-        if (numericIntents.includes("Int64") || numericIntents.includes("UInt64")) {
-            return fallbackType;
-        }
-        // All Int32 or smaller → int
-        return { kind: "primitiveType", name: "int" };
-    }
-    // All string literals
-    if (hasOnlyRegularElements && allStringLiterals) {
-        return { kind: "primitiveType", name: "string" };
-    }
-    // All boolean literals
-    if (hasOnlyRegularElements && allBooleanLiterals) {
-        return { kind: "primitiveType", name: "boolean" };
-    }
-    // Mixed or complex - fall back to TS inference
-    // If all elements have a deterministically known IR type and they match, use it.
-    // This enables arrays like `[wrap(1), wrap(2)]` to infer `Container<int>[]`
-    // instead of defaulting to `number[]`.
-    const knownTypes = [];
-    for (const elem of regularElements) {
-        const t = elem.inferredType;
-        if (!t || t.kind === "unknownType") {
-            return fallbackType;
-        }
-        knownTypes.push(t);
-    }
-    for (const spread of spreadElements) {
-        const spreadTypes = extractSpreadElementTypes(spread.expression.inferredType);
-        if (!spreadTypes) {
-            return fallbackType;
-        }
-        knownTypes.push(...spreadTypes);
-    }
-    const merged = mergeElementTypes(knownTypes);
-    if (merged) {
-        return merged;
-    }
-    return fallbackType;
-};
-/**
- * Convert array literal expression
- *
- * DETERMINISTIC TYPING:
- * - If expectedType is provided (from LHS annotation), use it
- * - Otherwise, derive from element types using literal form analysis
- * - Default to number[] (double[]) for ergonomics when type cannot be determined
- *
- * @param node - The TypeScript array literal expression
- * @param ctx - ProgramContext for type system and binding access
- * @param expectedType - Expected type from context (e.g., `const a: number[] = [1,2,3]`).
- *                       Pass `undefined` explicitly when no contextual type exists.
- */
-export const convertArrayLiteral = (node, ctx, expectedType) => {
-    const contextualArrayType = expectedType?.kind === "arrayType" && !containsTypeParameter(expectedType)
-        ? expectedType
-        : undefined;
-    // Determine element expected type from array expected type
-    const expectedElementType = contextualArrayType?.elementType;
-    // Convert all elements, passing expected element type for contextual typing
-    const elements = node.elements.map((elem) => {
-        if (ts.isOmittedExpression(elem)) {
-            return undefined; // Hole in sparse array
-        }
-        if (ts.isSpreadElement(elem)) {
-            // Spread element - convert and derive type from expression
-            const spreadExpr = convertExpression(elem.expression, ctx, expectedType);
-            return {
-                kind: "spread",
-                expression: spreadExpr,
-                inferredType: spreadExpr.inferredType,
-                sourceSpan: getSourceSpan(elem),
-            };
-        }
-        return convertExpression(elem, ctx, expectedElementType);
-    });
-    // DETERMINISTIC TYPING: Determine inferredType using priority:
-    // 1. Expected type from context (e.g., LHS annotation, parameter type)
-    // 2. Literal-form inference (derive from element types)
-    // 3. Default: number[] (double[]) for ergonomics
-    const inferredType = contextualArrayType
-        ? contextualArrayType
-        : (() => {
-            // No expected type - derive from element types
-            const elementType = computeArrayElementType(elements, undefined);
-            if (elementType) {
-                return { kind: "arrayType", elementType };
-            }
-            // Default to number[] (double[]) for ergonomics
-            // This matches Alice's guidance: untyped arrays default to double[]
-            return {
-                kind: "arrayType",
-                elementType: {
-                    kind: "primitiveType",
-                    name: "number",
-                },
-            };
-        })();
-    return {
-        kind: "array",
-        elements,
-        inferredType,
-        sourceSpan: getSourceSpan(node),
-    };
-};
-/**
- * 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).
- */
-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;
-};
-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;
-    }
-};
-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;
-};
-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 };
-};
-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;
-};
-const isNullishPrimitive = (type) => type.kind === "primitiveType" &&
-    (type.name === "null" || type.name === "undefined");
-const normalizeExpectedFunctionType = (expectedType, ctx) => {
-    if (!expectedType)
-        return undefined;
-    if (expectedType.kind === "functionType")
-        return expectedType;
-    const delegated = ctx.typeSystem.delegateToFunctionType(expectedType);
-    if (delegated)
-        return delegated;
-    if (expectedType.kind !== "unionType")
-        return undefined;
-    const candidates = expectedType.types
-        .filter((member) => !!member && !isNullishPrimitive(member))
-        .map((member) => member.kind === "functionType"
-        ? member
-        : ctx.typeSystem.delegateToFunctionType(member))
-        .filter((member) => member !== undefined);
-    return candidates.length === 1 ? candidates[0] : undefined;
-};
-const getExpectedFunctionParameterTypes = (expectedType, ctx) => {
-    const fnType = normalizeExpectedFunctionType(expectedType, ctx);
-    return fnType?.parameters.map((param) => param.type);
-};
-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",
-        };
-    });
-};
-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" },
-    };
-};
-const getSynthesizedPropertyType = (expr, widenNumericLiterals) => {
-    if (widenNumericLiterals &&
-        expr.kind === "literal" &&
-        typeof expr.value === "number") {
-        return { kind: "primitiveType", name: "number" };
-    }
-    return expr.inferredType;
-};
-const getProvisionalAccessorPropertyType = (memberName, getter, setter, expectedType, ctx, objectLiteralThisType) => {
-    const getterType = getter?.type
-        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(getter.type))
-        : undefined;
-    const setterValueParam = setter?.parameters[0];
-    const setterType = setterValueParam?.type !== undefined
-        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(setterValueParam.type))
-        : undefined;
-    if (getterType)
-        return getterType;
-    if (setterType)
-        return setterType;
-    if (expectedType)
-        return expectedType;
-    if (!getter)
-        return undefined;
-    const accessorMember = convertAccessorProperty(memberName, getter, setter, objectLiteralThisType ? { ...ctx, objectLiteralThisType } : ctx, undefined);
-    return accessorMember.kind === "propertyDeclaration"
-        ? accessorMember.type
-        : undefined;
-};
-const collectReturnExpressionTypes = (stmt, acc) => {
-    switch (stmt.kind) {
-        case "returnStatement":
-            if (stmt.expression?.inferredType) {
-                acc.push(stmt.expression.inferredType);
-            }
-            return;
-        case "blockStatement":
-            for (const inner of stmt.statements) {
-                collectReturnExpressionTypes(inner, acc);
-            }
-            return;
-        case "ifStatement":
-            collectReturnExpressionTypes(stmt.thenStatement, acc);
-            if (stmt.elseStatement) {
-                collectReturnExpressionTypes(stmt.elseStatement, acc);
-            }
-            return;
-        case "whileStatement":
-        case "forStatement":
-        case "forOfStatement":
-        case "forInStatement":
-            collectReturnExpressionTypes(stmt.body, acc);
-            return;
-        case "switchStatement":
-            for (const clause of stmt.cases) {
-                for (const inner of clause.statements) {
-                    collectReturnExpressionTypes(inner, acc);
-                }
-            }
-            return;
-        case "tryStatement":
-            collectReturnExpressionTypes(stmt.tryBlock, acc);
-            if (stmt.catchClause) {
-                collectReturnExpressionTypes(stmt.catchClause.body, acc);
-            }
-            if (stmt.finallyBlock) {
-                collectReturnExpressionTypes(stmt.finallyBlock, acc);
-            }
-            return;
-        default:
-            return;
-    }
-};
-const inferDeterministicReturnTypeFromBlock = (body) => {
-    const returns = [];
-    collectReturnExpressionTypes(body, returns);
-    if (returns.length === 0) {
-        return { kind: "voidType" };
-    }
-    const [first] = returns;
-    if (!first)
-        return undefined;
-    if (first.kind === "unknownType" || first.kind === "anyType") {
-        return undefined;
-    }
-    for (let index = 1; index < returns.length; index += 1) {
-        const current = returns[index];
-        if (!current || !typesEqual(current, first)) {
-            return undefined;
-        }
-    }
-    return first;
-};
-const finalizeObjectLiteralMethodExpression = (expr) => {
-    if (expr.kind !== "functionExpression")
-        return expr;
-    const functionInferredType = expr.inferredType?.kind === "functionType" ? expr.inferredType : undefined;
-    const inferredReturnType = expr.returnType ?? functionInferredType?.returnType;
-    const needsInference = inferredReturnType === undefined ||
-        inferredReturnType.kind === "unknownType" ||
-        inferredReturnType.kind === "anyType";
-    if (!needsInference)
-        return expr;
-    const recoveredReturnType = inferDeterministicReturnTypeFromBlock(expr.body);
-    if (!recoveredReturnType)
-        return expr;
-    return {
-        ...expr,
-        returnType: expr.returnType ?? recoveredReturnType,
-        inferredType: {
-            ...(functionInferredType ?? {
-                kind: "functionType",
-                parameters: expr.parameters,
-            }),
-            returnType: recoveredReturnType,
-        },
-    };
-};
-const collectSynthesizedObjectMembers = (properties, pendingMethods, pendingAccessors, widenNumericLiterals) => {
-    const synthesizedMembers = [];
-    for (const prop of properties) {
-        if (prop.kind === "property") {
-            const keyName = typeof prop.key === "string"
-                ? prop.key
-                : prop.key.kind === "literal" && typeof prop.key.value === "string"
-                    ? prop.key.value
-                    : undefined;
-            if (!keyName) {
-                return {
-                    ok: false,
-                    failureReason: "Only identifier and computed string-literal keys are supported",
-                };
-            }
-            const propType = getSynthesizedPropertyType(prop.value, widenNumericLiterals);
-            if (!propType ||
-                propType.kind === "unknownType" ||
-                propType.kind === "anyType") {
-                return {
-                    ok: false,
-                    failureReason: `Property '${keyName}' type cannot be recovered deterministically`,
-                };
-            }
-            synthesizedMembers.push({
-                kind: "propertySignature",
-                name: keyName,
-                type: propType,
-                isOptional: false,
-                isReadonly: false,
-            });
-            continue;
-        }
-        const spreadType = prop.expression.inferredType;
-        if (spreadType?.kind !== "objectType") {
-            return {
-                ok: false,
-                failureReason: "Spread sources must have a deterministically known object literal shape",
-            };
-        }
-        for (const member of spreadType.members) {
-            if (member.kind === "propertySignature") {
-                synthesizedMembers.push(member);
-            }
-        }
-    }
-    for (const method of pendingMethods) {
-        synthesizedMembers.push({
-            kind: "propertySignature",
-            name: method.keyName,
-            type: method.functionType,
-            isOptional: false,
-            isReadonly: false,
-        });
-    }
-    for (const accessor of pendingAccessors) {
-        if (!accessor.propertyType) {
-            return {
-                ok: false,
-                failureReason: `Accessor '${accessor.memberName}' type cannot be recovered deterministically`,
-            };
-        }
-        synthesizedMembers.push({
-            kind: "propertySignature",
-            name: accessor.memberName,
-            type: accessor.propertyType,
-            isOptional: false,
-            isReadonly: false,
-        });
-    }
-    return { ok: true, members: synthesizedMembers };
-};
-/**
- * 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.
+ * Facade module — delegates to:
+ *   ./array-literals.ts   (array literal conversion)
+ *   ./object-literals.ts  (object literal conversion)
  */
-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);
-    // 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
-        : contextualCandidateRaw;
-    // `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 isObjectLikeContext = contextualCandidate?.kind === "anyType" ||
-        contextualCandidate?.kind === "unknownType" ||
-        (contextualCandidate?.kind === "referenceType" &&
-            contextualCandidate.name === "object");
-    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 = isObjectLikeContext && isPlainObjectLiteralAst;
-    const dictionaryValueExpectedType = { kind: "unknownType" };
-    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 (isObjectLikeContext) {
-        contextualType = shouldLowerToDictionary
-            ? {
-                kind: "dictionaryType",
-                keyType: { kind: "primitiveType", name: "string" },
-                valueType: { kind: "unknownType" },
-            }
-            : 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,
-                };
-            }),
-        };
-    }
-    // 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,
-        behaviorMembers: behaviorMembers.length > 0 ? behaviorMembers : undefined,
-        inferredType: contextualType, // Use contextual type if available
-        sourceSpan: getSourceSpan(node),
-        contextualType,
-        hasSpreads, // Add flag for emitter to know about spreads
-    };
-};
+export { convertArrayLiteral } from "./array-literals.js";
+export { convertObjectLiteral } from "./object-literals.js";
 //# sourceMappingURL=collections.js.map