@tsonic/emitter 0.0.6 → 0.0.13

package/dist/expressions/calls.js

@@ -17,6 +17,27 @@ import { emitType } from "../type-emitter.js";
 const isLValue = (expr) => {
     return expr.kind === "identifier" || expr.kind === "memberAccess";
 };
+/**
+ * Check if an expression has an `as out<T>`, `as ref<T>`, or `as inref<T>` cast.
+ * Returns the modifier ("out", "ref", "in") or undefined if not a passing modifier cast.
+ *
+ * When TypeScript code has `value as out<int>`, the frontend converts this to
+ * an expression with `inferredType: { kind: "referenceType", name: "out", ... }`.
+ */
+const getPassingModifierFromCast = (expr) => {
+    const inferredType = expr.inferredType;
+    if (!inferredType || inferredType.kind !== "referenceType") {
+        return undefined;
+    }
+    const typeName = inferredType.name;
+    if (typeName === "out")
+        return "out";
+    if (typeName === "ref")
+        return "ref";
+    if (typeName === "inref")
+        return "in"; // inref maps to C# 'in' keyword
+    return undefined;
+};
 /**
  * Check if a member access expression targets System.Text.Json.JsonSerializer
  */
@@ -36,6 +57,27 @@ const isJsonSerializerCall = (callee) => {
         return { method: "Deserialize" };
     return null;
 };
+/**
+ * Check if a call targets global JSON.stringify or JSON.parse
+ * These are JS-mode globals that should compile to JsonSerializer
+ */
+const isGlobalJsonCall = (callee) => {
+    if (callee.kind !== "memberAccess")
+        return null;
+    // Check if object is the global JSON identifier
+    const obj = callee.object;
+    if (obj.kind !== "identifier" || obj.name !== "JSON")
+        return null;
+    // Check property name
+    const prop = callee.property;
+    if (typeof prop !== "string")
+        return null;
+    if (prop === "stringify")
+        return { method: "Serialize" };
+    if (prop === "parse")
+        return { method: "Deserialize" };
+    return null;
+};
 /**
  * Ensure a C# type string has global:: prefix for unambiguous resolution
  */
@@ -66,7 +108,8 @@ const ensureGlobalPrefix = (typeStr) => {
     return `global::${typeStr}`;
 };
 /**
- * Register a type with the JSON AOT registry
+ * Register a type with the JSON AOT registry.
+ * Ensures types are fully qualified with namespace for the AOT source generator.
  */
 const registerJsonAotType = (type, context) => {
     if (!type)
@@ -75,8 +118,21 @@ const registerJsonAotType = (type, context) => {
         return;
     const registry = context.options.jsonAotRegistry;
     const [typeStr] = emitType(type, context);
-    const globalType = ensureGlobalPrefix(typeStr);
-    registry.rootTypes.add(globalType);
+    // If type already has a namespace (contains '.') or is global::, use as-is
+    // Otherwise, qualify with rootNamespace (it's a local type)
+    let qualifiedType;
+    if (typeStr.startsWith("global::") ||
+        typeStr.includes(".") ||
+        typeStr.includes("<") // Generic types handle their own qualification
+    ) {
+        qualifiedType = ensureGlobalPrefix(typeStr);
+    }
+    else {
+        // Local type - qualify with rootNamespace
+        const rootNs = context.options.rootNamespace;
+        qualifiedType = `global::${rootNs}.${typeStr}`;
+    }
+    registry.rootTypes.add(qualifiedType);
     registry.needsJsonAot = true;
 };
 /**
@@ -85,7 +141,7 @@ const registerJsonAotType = (type, context) => {
  * returns double in C# but is cast to int in TypeScript via `as int`.
  */
 const needsIntCast = (expr, calleeName) => {
-    // Check if the inferred type is int (a reference type from @tsonic/types)
+    // Check if the inferred type is int (a reference type from @tsonic/core)
     const inferredType = expr.inferredType;
     if (!inferredType ||
         inferredType.kind !== "referenceType" ||
@@ -166,6 +222,12 @@ export const emitCall = (expr, context) => {
     if (jsonCall) {
         return emitJsonSerializerCall(expr, context, jsonCall.method);
     }
+    // Check for global JSON.stringify/parse calls (JS mode)
+    // These compile to JsonSerializer.Serialize/Deserialize for unified behavior
+    const globalJsonCall = isGlobalJsonCall(expr.callee);
+    if (globalJsonCall) {
+        return emitJsonSerializerCall(expr, context, globalJsonCall.method);
+    }
     // Type-aware method call rewriting
     // Use inferredType to determine if we need to rewrite as static helper
     if (expr.callee.kind === "memberAccess" &&
@@ -249,11 +311,15 @@ export const emitCall = (expr, context) => {
             currentContext = typeContext;
         }
     }
+    // Get parameter types from IR (extracted from resolved signature in frontend)
+    const parameterTypes = expr.parameterTypes ?? [];
     const args = [];
     for (let i = 0; i < expr.arguments.length; i++) {
         const arg = expr.arguments[i];
         if (!arg)
             continue; // Skip undefined (shouldn't happen in valid IR)
+        // Get expected type for this argument from parameter types
+        const expectedType = parameterTypes[i];
         if (arg.kind === "spread") {
             // Spread in function call
             const [spreadFrag, ctx] = emitExpression(arg.expression, currentContext);
@@ -261,15 +327,26 @@ export const emitCall = (expr, context) => {
             currentContext = ctx;
         }
         else {
-            const [argFrag, ctx] = emitExpression(arg, currentContext);
-            // Check if this argument needs ref/out/in prefix
-            // Only add prefix if argument is an lvalue (identifier or member access)
-            const passingMode = expr.argumentPassing?.[i];
-            const prefix = passingMode && passingMode !== "value" && isLValue(arg)
-                ? `${passingMode} `
-                : "";
-            args.push(`${prefix}${argFrag.text}`);
-            currentContext = ctx;
+            // Check if this argument has an explicit `as out<T>` / `as ref<T>` / `as inref<T>` cast
+            const castModifier = getPassingModifierFromCast(arg);
+            if (castModifier && isLValue(arg)) {
+                // Emit the expression without the cast wrapper, with the modifier prefix
+                // For `value as out<int>`, emit `out value`
+                const [argFrag, ctx] = emitExpression(arg, currentContext);
+                args.push(`${castModifier} ${argFrag.text}`);
+                currentContext = ctx;
+            }
+            else {
+                const [argFrag, ctx] = emitExpression(arg, currentContext, expectedType);
+                // Check if this argument needs ref/out/in prefix from function signature
+                // Only add prefix if argument is an lvalue (identifier or member access)
+                const passingMode = expr.argumentPassing?.[i];
+                const prefix = passingMode && passingMode !== "value" && isLValue(arg)
+                    ? `${passingMode} `
+                    : "";
+                args.push(`${prefix}${argFrag.text}`);
+                currentContext = ctx;
+            }
         }
     }
     const callOp = expr.isOptional ? "?." : "";

package/dist/expressions/calls.js.map

@@ -1 +1 @@
-{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../src/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/C,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;AACpE,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,MAAoB,EAC4B,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEvC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;IAE9C,mDAAmD;IACnD,IAAI,IAAI,KAAK,iCAAiC;QAAE,OAAO,IAAI,CAAC;IAE5D,kDAAkD;IAClD,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC3D,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAE/D,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAU,EAAE;IACrD,6CAA6C;IAC7C,IACE,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,KAAK;QACjB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,MAAM,EAClB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+DAA+D;IAC/D,6CAA6C;IAC7C,wDAAwD;IACxD,OAAO,WAAW,OAAO,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,OAAuB,EACjB,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe;QAAE,OAAO;IAE7C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IACjD,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE/C,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnC,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,YAAY,GAAG,CACnB,IAA6C,EAC7C,UAAkB,EACT,EAAE;IACX,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,KAAK,KAAK,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,0BAA0B,GAAG;QACjC,YAAY;QACZ,WAAW;QACX,YAAY;QACZ,UAAU;QACV,UAAU;QACV,WAAW;QACX,UAAU;QACV,UAAU;QACV,6BAA6B;QAC7B,4BAA4B;QAC5B,6BAA6B;KAC9B,CAAC;IAEF,OAAO,0BAA0B,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAA6C,EAC7C,OAAuB,EACvB,MAAmC,EACD,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,+CAA+C;IAC/C,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3C,mBAAmB,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gDAAgD;QAChD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,OAAO,EAAE,CAAC;YACZ,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;QACF,WAAW,GAAG,QAAQ,CAAC;QACvB,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,iBAAiB;IACjB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3B,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAG,2CAA2C,MAAM,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnG,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAA6C,EAC7C,OAAuB,EACW,EAAE;IACpC,qDAAqD;IACrD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChE,CAAC;IAED,mCAAmC;IACnC,uEAAuE;IACvE,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EACxC,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAEnD,yBAAyB;QACzB,8CAA8C;QAC9C,8CAA8C;QAC9C,8EAA8E;QAC9E,iDAAiD;QAEjD,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;QAErD,MAAM,qBAAqB,GAAG,YAAY,IAAI,YAAY,IAAI,WAAW,CAAC;QAE1E,yCAAyC;QACzC,sEAAsE;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;QAChD,IAAI,qBAAqB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC9C,0CAA0C;YAC1C,8CAA8C;YAC9C,IAAI,YAAoB,CAAC;YACzB,IAAI,YAAY,EAAE,CAAC;gBACjB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,IAAI,YAAY,EAAE,CAAC;gBACxB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,OAAO,CAAC;YACzB,CAAC;YAED,iFAAiF;YACjF,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAC7C,IAAI,CAAC,MAAM,CAAC,MAAM,EAClB,OAAO,CACR,CAAC;YACF,IAAI,cAAc,GAAG,UAAU,CAAC;YAEhC,MAAM,IAAI,GAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;YAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS,CAAC,gDAAgD;gBACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CACtC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;oBACF,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;oBACvC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;oBAC3D,iDAAiD;oBACjD,2FAA2F;oBAC3F,yEAAyE;oBACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAClD,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;wBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;wBACnB,CAAC,CAAC,EAAE,CAAC;oBACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,4BAA4B,YAAY,IAAI,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1F,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC;IAEtC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,qDAAqD;YACrD,0CAA0C;YAC1C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,eAAe,GAAG,eAAe,CAAC;YAClC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,gDAAgD;YAChD,gCAAgC;YAChC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,SAAS,CAAC,gDAAgD;QACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,0BAA0B;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,iDAAiD;YACjD,yEAAyE;YACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;gBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;gBACnB,CAAC,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACtC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,eAAe,GAAG,WAAW,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAEjF,6EAA6E;IAC7E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QAC9C,CAAC,CAAC,QAAQ,QAAQ,EAAE;QACpB,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAA4C,EAC5C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC;IAErC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,oDAAoD;YACpD,8CAA8C;YAC9C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,eAAe,CAAC;YACjC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,+BAA+B;YAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,cAAc,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC"}
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../src/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/C,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,0BAA0B,GAAG,CACjC,IAAkB,EACgB,EAAE;IACpC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;IACnC,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;IAEvE,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,MAAoB,EAC4B,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEvC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;IAE9C,mDAAmD;IACnD,IAAI,IAAI,KAAK,iCAAiC;QAAE,OAAO,IAAI,CAAC;IAE5D,kDAAkD;IAClD,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC3D,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAE/D,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CACvB,MAAoB,EAC4B,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAEhD,gDAAgD;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAElE,sBAAsB;IACtB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE1C,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACzD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAEvD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAU,EAAE;IACrD,6CAA6C;IAC7C,IACE,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,KAAK;QACjB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,OAAO;QACnB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,QAAQ;QACpB,OAAO,KAAK,MAAM,EAClB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+DAA+D;IAC/D,6CAA6C;IAC7C,wDAAwD;IACxD,OAAO,WAAW,OAAO,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,OAAuB,EACjB,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe;QAAE,OAAO;IAE7C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IACjD,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,4DAA4D;IAC5D,IAAI,aAAqB,CAAC;IAC1B,IACE,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,+CAA+C;MACrE,CAAC;QACD,aAAa,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,0CAA0C;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;QAC7C,aAAa,GAAG,WAAW,MAAM,IAAI,OAAO,EAAE,CAAC;IACjD,CAAC;IAED,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACtC,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,YAAY,GAAG,CACnB,IAA6C,EAC7C,UAAkB,EACT,EAAE;IACX,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,KAAK,KAAK,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,0BAA0B,GAAG;QACjC,YAAY;QACZ,WAAW;QACX,YAAY;QACZ,UAAU;QACV,UAAU;QACV,WAAW;QACX,UAAU;QACV,UAAU;QACV,6BAA6B;QAC7B,4BAA4B;QAC5B,6BAA6B;KAC9B,CAAC;IAEF,OAAO,0BAA0B,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAA6C,EAC7C,OAAuB,EACvB,MAAmC,EACD,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,+CAA+C;IAC/C,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3C,mBAAmB,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,gDAAgD;QAChD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,OAAO,EAAE,CAAC;YACZ,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;QACF,WAAW,GAAG,QAAQ,CAAC;QACvB,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,iBAAiB;IACjB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3B,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAG,2CAA2C,MAAM,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnG,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAA6C,EAC7C,OAAuB,EACW,EAAE;IACpC,qDAAqD;IACrD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChE,CAAC;IAED,wDAAwD;IACxD,6EAA6E;IAC7E,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,mCAAmC;IACnC,uEAAuE;IACvE,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EACxC,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAEnD,yBAAyB;QACzB,8CAA8C;QAC9C,8CAA8C;QAC9C,8EAA8E;QAC9E,iDAAiD;QAEjD,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;QAErD,MAAM,qBAAqB,GAAG,YAAY,IAAI,YAAY,IAAI,WAAW,CAAC;QAE1E,yCAAyC;QACzC,sEAAsE;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;QAChD,IAAI,qBAAqB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC9C,0CAA0C;YAC1C,8CAA8C;YAC9C,IAAI,YAAoB,CAAC;YACzB,IAAI,YAAY,EAAE,CAAC;gBACjB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,IAAI,YAAY,EAAE,CAAC;gBACxB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,OAAO,CAAC;YACzB,CAAC;YAED,iFAAiF;YACjF,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAC7C,IAAI,CAAC,MAAM,CAAC,MAAM,EAClB,OAAO,CACR,CAAC;YACF,IAAI,cAAc,GAAG,UAAU,CAAC;YAEhC,MAAM,IAAI,GAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;YAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS,CAAC,gDAAgD;gBACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CACtC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;oBACF,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;oBACvC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;oBAC3D,iDAAiD;oBACjD,2FAA2F;oBAC3F,yEAAyE;oBACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAClD,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;wBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;wBACnB,CAAC,CAAC,EAAE,CAAC;oBACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,4BAA4B,YAAY,IAAI,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1F,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC;IAEtC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,qDAAqD;YACrD,0CAA0C;YAC1C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,eAAe,GAAG,eAAe,CAAC;YAClC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,gDAAgD;YAChD,gCAAgC;YAChC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;IAEjD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,SAAS,CAAC,gDAAgD;QAEpE,2DAA2D;QAC3D,MAAM,YAAY,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAEvC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,0BAA0B;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,wFAAwF;YACxF,MAAM,YAAY,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC;YAErD,IAAI,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClC,yEAAyE;gBACzE,4CAA4C;gBAC5C,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBAC3D,IAAI,CAAC,IAAI,CAAC,GAAG,YAAY,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7C,cAAc,GAAG,GAAG,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CACnC,GAAG,EACH,cAAc,EACd,YAAY,CACb,CAAC;gBACF,yEAAyE;gBACzE,yEAAyE;gBACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;oBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;oBACnB,CAAC,CAAC,EAAE,CAAC;gBACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtC,cAAc,GAAG,GAAG,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,eAAe,GAAG,WAAW,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAEjF,6EAA6E;IAC7E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QAC9C,CAAC,CAAC,QAAQ,QAAQ,EAAE;QACpB,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAA4C,EAC5C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC;IAErC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,oDAAoD;YACpD,8CAA8C;YAC9C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,eAAe,CAAC;YACjC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,+BAA+B;YAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,cAAc,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC"}

package/dist/expressions/collections.d.ts

@@ -12,9 +12,10 @@ export declare const emitArray: (expr: Extract<IrExpression, {
 /**
  * Emit an object literal
  *
- * Handles two cases based on contextual type:
+ * Handles three cases based on contextual type and structure:
  * 1. Dictionary type (Record<K,V> or index signature) → Dictionary<string, T> initializer
- * 2. Nominal type (interface, class) → new TypeName { prop = value, ... }
+ * 2. Object with spreads → IIFE pattern: (() => { var __tmp = new T(); ... return __tmp; })()
+ * 3. Nominal type (interface, class) → new TypeName { prop = value, ... }
  *
  * Anonymous object types should be caught by validation (TSN7403) before reaching here.
  *

package/dist/expressions/collections.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../src/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAiB7D;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAmJjC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAmDjC,CAAC"}
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../src/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAsB7D;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAqMjC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAoGjC,CAAC"}

package/dist/expressions/collections.js

@@ -3,7 +3,7 @@
  */
 import { emitType } from "../type-emitter.js";
 import { emitExpression } from "../expression-emitter.js";
-import { getPropertyType } from "../core/type-resolution.js";
+import { getPropertyType, stripNullish, resolveTypeAlias, selectUnionMemberForObjectLiteral, } from "../core/type-resolution.js";
 /**
  * Escape a string for use in a C# string literal.
  * Handles backslashes, quotes, newlines, carriage returns, and tabs.
@@ -18,34 +18,25 @@ const escapeCSharpString = (str) => str
  * Emit an array literal
  */
 export const emitArray = (expr, context, expectedType) => {
+    // Resolve type alias to check for tuple types
+    // (e.g., type Point = [number, number] → resolve Point to the tuple type)
+    const resolvedExpectedType = expectedType
+        ? resolveTypeAlias(expectedType, context)
+        : undefined;
+    // Check if expected type is a tuple - emit as ValueTuple
+    if (resolvedExpectedType?.kind === "tupleType") {
+        return emitTupleLiteral(expr, context, resolvedExpectedType);
+    }
+    // Check if inferred type is a tuple (already resolved in frontend)
+    if (expr.inferredType?.kind === "tupleType") {
+        return emitTupleLiteral(expr, context, expr.inferredType);
+    }
     let currentContext = context;
     const elements = [];
     // Determine element type from expected type or inferred type
     let elementType = "object";
-    // Check if all elements are literals to infer element type
-    const definedElements = expr.elements.filter((el) => el !== undefined);
-    if (definedElements.length > 0) {
-        const allLiterals = definedElements.every((el) => el.kind === "literal");
-        if (allLiterals) {
-            const literals = definedElements;
-            // Check if all are numbers
-            const allNumbers = literals.every((lit) => typeof lit.value === "number");
-            if (allNumbers) {
-                // TypeScript `number` is always `double` in C#
-                // Even if all literals are integers, use double for TS semantics
-                elementType = "double";
-            }
-            // Check if all are strings
-            else if (literals.every((lit) => typeof lit.value === "string")) {
-                elementType = "string";
-            }
-            // Check if all are booleans
-            else if (literals.every((lit) => typeof lit.value === "boolean")) {
-                elementType = "bool";
-            }
-        }
-    }
-    // Use expected/inferred type if available (takes precedence over literal inference)
+    // Priority 1: Use explicit type annotation if provided (e.g., const arr: number[] = [1, 2, 3])
+    // This ensures the array type matches the declared variable type
     if (expectedType) {
         if (expectedType.kind === "arrayType") {
             const [elemTypeStr, newContext] = emitType(expectedType.elementType, currentContext);
@@ -64,10 +55,36 @@ export const emitArray = (expr, context, expectedType) => {
             }
         }
     }
-    // If no expectedType, try to use the inferredType from the expression
-    else if (expr.inferredType && expr.inferredType.kind === "arrayType") {
-        // Only use inferredType if we didn't already determine the type from literals
-        if (elementType === "object") {
+    // Priority 2: If no explicit type, infer from literals (e.g., const arr = [1, 2, 3])
+    // All integers → int, any decimal → double, all strings → string, all bools → bool
+    if (elementType === "object") {
+        const definedElements = expr.elements.filter((el) => el !== undefined);
+        if (definedElements.length > 0) {
+            const allLiterals = definedElements.every((el) => el.kind === "literal");
+            if (allLiterals) {
+                const literals = definedElements;
+                // Check if all are numbers
+                const allNumbers = literals.every((lit) => typeof lit.value === "number");
+                if (allNumbers) {
+                    // Infer int vs double from numericIntent (based on raw lexeme)
+                    // All Int32 → int, any Double → double
+                    const hasDouble = literals.some((lit) => lit.numericIntent === "Double");
+                    elementType = hasDouble ? "double" : "int";
+                }
+                // Check if all are strings
+                else if (literals.every((lit) => typeof lit.value === "string")) {
+                    elementType = "string";
+                }
+                // Check if all are booleans
+                else if (literals.every((lit) => typeof lit.value === "boolean")) {
+                    elementType = "bool";
+                }
+            }
+        }
+    }
+    // Priority 3: Fall back to inferred type from expression
+    if (elementType === "object") {
+        if (expr.inferredType && expr.inferredType.kind === "arrayType") {
             const [elemTypeStr, newContext] = emitType(expr.inferredType.elementType, currentContext);
             elementType = elemTypeStr;
             currentContext = newContext;
@@ -99,9 +116,15 @@ export const emitArray = (expr, context, expectedType) => {
                 currentContext = newContext;
             }
         }
-        // Wrap in Enumerable.ToList() using explicit static call
+        // Determine whether to emit native CLR array or List
+        const runtime = currentContext.options.runtime ?? "js";
+        const shouldEmitNativeArray = runtime === "dotnet" &&
+            expectedType?.kind === "arrayType" &&
+            expectedType.origin === "explicit";
+        // Wrap in ToArray() or ToList() depending on expected type
+        const wrapperMethod = shouldEmitNativeArray ? "ToArray" : "ToList";
         return [
-            { text: `global::System.Linq.Enumerable.ToList(${result})` },
+            { text: `global::System.Linq.Enumerable.${wrapperMethod}(${result})` },
             currentContext,
         ];
     }
@@ -121,18 +144,33 @@ export const emitArray = (expr, context, expectedType) => {
             currentContext = newContext;
         }
     }
+    // Determine whether to emit native CLR array or List
+    const runtime = currentContext.options.runtime ?? "js";
+    const shouldEmitNativeArray = runtime === "dotnet" &&
+        expectedType?.kind === "arrayType" &&
+        expectedType.origin === "explicit";
+    // In dotnet mode, use new[] { } syntax to let C# infer array type
+    // This works for non-empty arrays with literal values
+    const useInferredArraySyntax = runtime === "dotnet" && elements.length > 0 && !shouldEmitNativeArray;
     // Use constructor syntax for empty arrays, initializer syntax for non-empty
-    const text = elements.length === 0
-        ? `new global::System.Collections.Generic.List<${elementType}>()`
-        : `new global::System.Collections.Generic.List<${elementType}> { ${elements.join(", ")} }`;
+    const text = useInferredArraySyntax
+        ? `new[] { ${elements.join(", ")} }`
+        : shouldEmitNativeArray
+            ? elements.length === 0
+                ? `new ${elementType}[0]`
+                : `new ${elementType}[] { ${elements.join(", ")} }`
+            : elements.length === 0
+                ? `new global::System.Collections.Generic.List<${elementType}>()`
+                : `new global::System.Collections.Generic.List<${elementType}> { ${elements.join(", ")} }`;
     return [{ text }, currentContext];
 };
 /**
  * Emit an object literal
  *
- * Handles two cases based on contextual type:
+ * Handles three cases based on contextual type and structure:
  * 1. Dictionary type (Record<K,V> or index signature) → Dictionary<string, T> initializer
- * 2. Nominal type (interface, class) → new TypeName { prop = value, ... }
+ * 2. Object with spreads → IIFE pattern: (() => { var __tmp = new T(); ... return __tmp; })()
+ * 3. Nominal type (interface, class) → new TypeName { prop = value, ... }
  *
  * Anonymous object types should be caught by validation (TSN7403) before reaching here.
  *
@@ -148,12 +186,51 @@ export const emitObject = (expr, context, expectedType) => {
     if (effectiveType?.kind === "dictionaryType") {
         return emitDictionaryLiteral(expr, currentContext, effectiveType);
     }
-    // Regular object literal with nominal type
+    // Check for contextual type (from return type, variable annotation, etc.)
+    // Strip null/undefined from type - `new T? { ... }` is invalid C#, use `new T { ... }`
+    const strippedType = effectiveType
+        ? stripNullish(effectiveType)
+        : undefined;
+    // Handle union type aliases: select the best-matching union member
+    // e.g., for `type Result<T,E> = { ok: true; value: T } | { ok: false; error: E }`
+    // we want to emit `new Result__0<T,E> { ... }` not `new Result<T,E> { ... }`
+    const instantiationType = (() => {
+        if (!strippedType)
+            return undefined;
+        const resolved = resolveTypeAlias(strippedType, currentContext);
+        if (resolved.kind !== "unionType")
+            return strippedType;
+        // Extract only plain string keys from the literal
+        const literalKeys = expr.properties
+            .filter((p) => p.kind === "property" && typeof p.key === "string")
+            .map((p) => p.key);
+        // If any property is not a plain string key, cannot match
+        if (literalKeys.length !== expr.properties.length)
+            return strippedType;
+        const selected = selectUnionMemberForObjectLiteral(resolved, literalKeys, currentContext);
+        return selected ?? strippedType;
+    })();
+    const [typeName, typeContext] = resolveContextualType(instantiationType, currentContext);
+    currentContext = typeContext;
+    if (!typeName) {
+        // ICE: Validation (TSN7403) should have caught anonymous object literals
+        throw new Error("ICE: Object literal without contextual type reached emitter - validation missed TSN7403");
+    }
+    // Safety net: strip trailing `?` from type name (e.g., `Option<T>?` → `Option<T>`)
+    // `new T? { ... }` is never valid C# syntax
+    const safeTypeName = typeName.endsWith("?")
+        ? typeName.slice(0, -1)
+        : typeName;
+    // Check if object has spreads - use IIFE pattern for spread lowering
+    if (expr.hasSpreads) {
+        return emitObjectWithSpreads(expr, currentContext, effectiveType, safeTypeName);
+    }
+    // Regular object literal with nominal type - no spreads
     const properties = [];
     for (const prop of expr.properties) {
         if (prop.kind === "spread") {
-            // Spread in object literal - needs special handling
-            properties.push("/* ...spread */");
+            // Should not reach here if hasSpreads is correctly set
+            throw new Error("ICE: Spread in object literal but hasSpreads is false");
         }
         else {
             const key = typeof prop.key === "string" ? prop.key : "/* computed */";
@@ -166,15 +243,105 @@ export const emitObject = (expr, context, expectedType) => {
             currentContext = newContext;
         }
     }
-    // Check for contextual type (from return type, variable annotation, etc.)
-    // If present, emit `new TypeName { ... }` instead of anonymous `new { ... }`
-    const [typeName, finalContext] = resolveContextualType(effectiveType, currentContext);
-    if (!typeName) {
-        // ICE: Validation (TSN7403) should have caught anonymous object literals
-        throw new Error("ICE: Object literal without contextual type reached emitter - validation missed TSN7403");
+    const text = `new ${safeTypeName} { ${properties.join(", ")} }`;
+    return [{ text }, currentContext];
+};
+/**
+ * Emit an object literal with spreads using IIFE pattern.
+ *
+ * Input:  { ...base, y: 2 }
+ * Output: ((global::System.Func<T>)(() => { var __tmp = new T(); __tmp.x = base.x; __tmp.y = 2.0; return __tmp; }))()
+ *
+ * Properties are set in order: spread properties first, then explicit properties.
+ * Later properties override earlier ones (JavaScript semantics).
+ */
+const emitObjectWithSpreads = (expr, context, effectiveType, typeName) => {
+    let currentContext = context;
+    const assignments = [];
+    for (const prop of expr.properties) {
+        if (prop.kind === "spread") {
+            // Spread: copy all properties from spread source
+            const [spreadAssignments, newContext] = emitSpreadPropertyCopies(prop.expression, currentContext);
+            assignments.push(...spreadAssignments);
+            currentContext = newContext;
+        }
+        else {
+            // Explicit property assignment
+            const key = typeof prop.key === "string" ? prop.key : "/* computed */";
+            const propertyExpectedType = typeof prop.key === "string"
+                ? getPropertyType(effectiveType, prop.key, currentContext)
+                : undefined;
+            const [valueFrag, newContext] = emitExpression(prop.value, currentContext, propertyExpectedType);
+            assignments.push(`__tmp.${key} = ${valueFrag.text}`);
+            currentContext = newContext;
+        }
+    }
+    // Build IIFE: ((Func<T>)(() => { var __tmp = new T(); ...; return __tmp; }))()
+    const body = [
+        `var __tmp = new ${typeName}()`,
+        ...assignments,
+        "return __tmp",
+    ].join("; ");
+    const text = `((global::System.Func<${typeName}>)(() => { ${body}; }))()`;
+    return [{ text }, currentContext];
+};
+/**
+ * Emit property copy assignments from a spread source.
+ *
+ * For `...base` where base has type { x: number, y: string }:
+ * Returns ["__tmp.x = base.x", "__tmp.y = base.y"]
+ */
+const emitSpreadPropertyCopies = (spreadExpr, context) => {
+    let currentContext = context;
+    const assignments = [];
+    // Get the spread expression's type to know which properties to copy
+    const spreadType = spreadExpr.inferredType;
+    if (!spreadType) {
+        // No type info - emit a warning comment
+        const [exprFrag, newContext] = emitExpression(spreadExpr, currentContext);
+        assignments.push(`/* spread: ${exprFrag.text} (no type info) */`);
+        return [assignments, newContext];
+    }
+    // Emit the spread source expression
+    const [sourceFrag, sourceContext] = emitExpression(spreadExpr, currentContext);
+    currentContext = sourceContext;
+    const sourceExpr = sourceFrag.text;
+    // Extract properties from the spread type
+    const propertyNames = getObjectTypePropertyNames(spreadType, currentContext);
+    for (const propName of propertyNames) {
+        assignments.push(`__tmp.${propName} = ${sourceExpr}.${propName}`);
+    }
+    return [assignments, currentContext];
+};
+/**
+ * Get property names from an object-like type.
+ * Handles objectType, referenceType (to interfaces/classes), and resolved type aliases.
+ */
+const getObjectTypePropertyNames = (type, context) => {
+    // Direct object type
+    if (type.kind === "objectType") {
+        return type.members
+            .filter((m) => m.kind === "propertySignature")
+            .map((m) => m.name);
     }
-    const text = `new ${typeName} { ${properties.join(", ")} }`;
-    return [{ text }, finalContext];
+    // Reference type - check type aliases registry
+    if (type.kind === "referenceType") {
+        const resolved = resolveTypeAlias(type, context);
+        if (resolved.kind === "objectType") {
+            return resolved.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+        }
+        // Check localTypes for interface members
+        const localType = context.localTypes?.get(type.name);
+        if (localType?.kind === "interface") {
+            return localType.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+        }
+    }
+    // Unknown type structure - return empty
+    return [];
 };
 /**
  * Emit a dictionary literal using C# collection initializer syntax.
@@ -213,14 +380,20 @@ const emitDictionaryLiteral = (expr, context, dictType) => {
 };
 /**
  * Emit dictionary key type.
- * TS dictionaries only support string keys (enforced by TSN7413).
+ * Allowed: string, number (→ double).
+ * Enforced by TSN7413.
  */
 const emitDictKeyType = (keyType, context) => {
-    if (keyType.kind === "primitiveType" && keyType.name === "string") {
-        return ["string", context];
+    if (keyType.kind === "primitiveType") {
+        switch (keyType.name) {
+            case "string":
+                return ["string", context];
+            case "number":
+                return ["double", context];
+        }
     }
-    // ICE: Only string keys allowed (enforced by TSN7413)
-    throw new Error(`ICE: Non-string dictionary key type reached emitter - validation missed TSN7413. Got: ${keyType.kind}`);
+    // ICE: Unsupported key type (should have been caught by TSN7413)
+    throw new Error(`ICE: Unsupported dictionary key type reached emitter - validation missed TSN7413. Got: ${JSON.stringify(keyType)}`);
 };
 /**
  * Resolve contextual type to C# type string.
@@ -262,4 +435,30 @@ const resolveContextualType = (contextualType, context) => {
     const [typeStr, newContext] = emitType(contextualType, context);
     return [typeStr, newContext];
 };
+/**
+ * Emit a tuple literal as ValueTuple.
+ *
+ * Input:  const t: [string, number] = ["hello", 42];
+ * Output: ("hello", 42.0)
+ *
+ * C# ValueTuple has implicit tuple literal syntax with parentheses.
+ */
+const emitTupleLiteral = (expr, context, tupleType) => {
+    let currentContext = context;
+    const elements = [];
+    const definedElements = expr.elements.filter((el) => el !== undefined);
+    // Emit each element with its expected type from the tuple type
+    for (let i = 0; i < definedElements.length; i++) {
+        const element = definedElements[i];
+        const expectedElementType = tupleType.elementTypes[i];
+        if (element) {
+            const [elemFrag, newContext] = emitExpression(element, currentContext, expectedElementType);
+            elements.push(elemFrag.text);
+            currentContext = newContext;
+        }
+    }
+    // Emit as tuple literal: (elem1, elem2, ...)
+    const text = `(${elements.join(", ")})`;
+    return [{ text }, currentContext];
+};
 //# sourceMappingURL=collections.js.map