@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/calls/call-array-mutation.js

@@ -0,0 +1,260 @@
+/**
+ * Native array mutation interop for call expressions.
+ *
+ * Handles source-owned array wrapping for mutation calls (push, pop, shift, unshift,
+ * splice, sort, reverse, fill, copyWithin) that modify arrays in place
+ * and need to write back the mutated array.
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { resolveArrayLikeReceiverType } from "../../core/semantic/type-resolution.js";
+import { allocateLocalName } from "../../core/format/local-names.js";
+import { needsIntCast } from "./call-analysis.js";
+import { emitCallArguments, wrapIntCast } from "./call-arguments.js";
+import { buildNativeArrayInteropWrapAst } from "../array-interop.js";
+import { buildInvokedLambdaExpressionAst } from "../invoked-lambda.js";
+const stripClrGenericArity = (typeName) => typeName.replace(/`\d+$/, "");
+const nativeArrayMutationMembers = new Set([
+    "push",
+    "pop",
+    "shift",
+    "unshift",
+    "splice",
+    "sort",
+    "reverse",
+    "fill",
+    "copyWithin",
+]);
+export const isArrayWrapperBindingType = (bindingType) => {
+    const leaf = stripClrGenericArity(bindingType).split(".").pop();
+    return leaf === "Array" || leaf === "ReadonlyArray";
+};
+export const shouldPreferNativeArrayWrapperInterop = (binding, receiverType, context) => !!binding &&
+    isArrayWrapperBindingType(binding.type) &&
+    !!resolveArrayLikeReceiverType(receiverType, context)?.elementType;
+export const hasDirectNativeArrayLikeInteropShape = (receiverType) => {
+    if (!receiverType)
+        return false;
+    return (receiverType.kind === "arrayType" ||
+        (receiverType.kind === "referenceType" &&
+            (receiverType.name === "Array" ||
+                receiverType.name === "ReadonlyArray") &&
+            receiverType.typeArguments?.length === 1));
+};
+const returnsMutatedArrayMember = (memberName) => memberName === "sort" ||
+    memberName === "reverse" ||
+    memberName === "fill" ||
+    memberName === "copyWithin";
+export const nativeArrayReturningInteropMembers = new Set([
+    "concat",
+    "copyWithin",
+    "filter",
+    "flat",
+    "flatMap",
+    "map",
+    "reverse",
+    "slice",
+    "sort",
+    "splice",
+    "toReversed",
+    "toSorted",
+    "toSpliced",
+    "with",
+]);
+const createVarLocal = (name, initializer) => ({
+    kind: "localDeclarationStatement",
+    modifiers: [],
+    type: { kind: "varType" },
+    declarators: [{ name, initializer }],
+});
+const captureAssignableArrayTarget = (expr, context) => {
+    const [receiverAst, receiverContext] = emitExpressionAst(expr, context);
+    if (receiverAst.kind === "identifierExpression") {
+        return {
+            readExpression: receiverAst,
+            writeExpression: receiverAst,
+            setupStatements: [],
+            context: receiverContext,
+        };
+    }
+    if (receiverAst.kind === "qualifiedIdentifierExpression") {
+        return {
+            readExpression: receiverAst,
+            writeExpression: receiverAst,
+            setupStatements: [],
+            context: receiverContext,
+        };
+    }
+    if (receiverAst.kind === "memberAccessExpression") {
+        const objectTemp = allocateLocalName("__tsonic_arrayTarget", receiverContext);
+        const objectIdentifier = {
+            kind: "identifierExpression",
+            identifier: objectTemp.emittedName,
+        };
+        return {
+            readExpression: {
+                kind: "memberAccessExpression",
+                expression: objectIdentifier,
+                memberName: receiverAst.memberName,
+            },
+            writeExpression: {
+                kind: "memberAccessExpression",
+                expression: objectIdentifier,
+                memberName: receiverAst.memberName,
+            },
+            setupStatements: [
+                createVarLocal(objectTemp.emittedName, receiverAst.expression),
+            ],
+            context: objectTemp.context,
+        };
+    }
+    if (receiverAst.kind === "elementAccessExpression" &&
+        receiverAst.arguments.length === 1) {
+        const objectTemp = allocateLocalName("__tsonic_arrayTarget", receiverContext);
+        const indexTemp = allocateLocalName("__tsonic_arrayIndex", objectTemp.context);
+        const objectIdentifier = {
+            kind: "identifierExpression",
+            identifier: objectTemp.emittedName,
+        };
+        const indexIdentifier = {
+            kind: "identifierExpression",
+            identifier: indexTemp.emittedName,
+        };
+        const indexArgument = receiverAst.arguments[0];
+        if (!indexArgument)
+            return undefined;
+        return {
+            readExpression: {
+                kind: "elementAccessExpression",
+                expression: objectIdentifier,
+                arguments: [indexIdentifier],
+            },
+            writeExpression: {
+                kind: "elementAccessExpression",
+                expression: objectIdentifier,
+                arguments: [indexIdentifier],
+            },
+            setupStatements: [
+                createVarLocal(objectTemp.emittedName, receiverAst.expression),
+                createVarLocal(indexTemp.emittedName, indexArgument),
+            ],
+            context: indexTemp.context,
+        };
+    }
+    return undefined;
+};
+export const emitArrayMutationInteropCall = (expr, context) => {
+    if (expr.isOptional)
+        return undefined;
+    if (expr.callee.kind !== "memberAccess")
+        return undefined;
+    if (expr.callee.isComputed)
+        return undefined;
+    if (typeof expr.callee.property !== "string")
+        return undefined;
+    if (!nativeArrayMutationMembers.has(expr.callee.property))
+        return undefined;
+    const binding = expr.callee.memberBinding;
+    if (!binding ||
+        (binding.isExtensionMethod && !isArrayWrapperBindingType(binding.type))) {
+        return undefined;
+    }
+    const receiverType = resolveEffectiveExpressionType(expr.callee.object, context) ??
+        expr.callee.object.inferredType;
+    const receiverElementType = resolveArrayLikeReceiverType(receiverType, context)?.elementType;
+    if (!receiverElementType)
+        return undefined;
+    const captured = captureAssignableArrayTarget(expr.callee.object, context);
+    if (!captured)
+        return undefined;
+    let currentContext = captured.context;
+    const wrapperTemp = allocateLocalName("__tsonic_arrayWrapper", currentContext);
+    currentContext = wrapperTemp.context;
+    const resultTemp = allocateLocalName("__tsonic_arrayResult", currentContext);
+    currentContext = resultTemp.context;
+    const wrapperIdentifier = {
+        kind: "identifierExpression",
+        identifier: wrapperTemp.emittedName,
+    };
+    const resultIdentifier = {
+        kind: "identifierExpression",
+        identifier: resultTemp.emittedName,
+    };
+    const [argAsts, argContext] = emitCallArguments(expr.arguments, expr, currentContext);
+    currentContext = argContext;
+    const mutationCall = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: wrapperIdentifier,
+            memberName: binding.member,
+        },
+        arguments: argAsts,
+    };
+    const mutatedArrayAst = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: wrapperIdentifier,
+            memberName: "toArray",
+        },
+        arguments: [],
+    };
+    let returnExpression = resultIdentifier;
+    if (expr.callee.property === "splice") {
+        returnExpression = {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: resultIdentifier,
+                memberName: "toArray",
+            },
+            arguments: [],
+        };
+    }
+    else if (returnsMutatedArrayMember(expr.callee.property)) {
+        returnExpression = mutatedArrayAst;
+    }
+    const returnType = expr.inferredType ?? {
+        kind: "arrayType",
+        elementType: receiverElementType,
+        origin: "explicit",
+    };
+    const [returnTypeAst, returnTypeContext] = emitTypeAst(returnType, currentContext);
+    currentContext = returnTypeContext;
+    return [
+        wrapIntCast(needsIntCast(expr, expr.callee.property), buildInvokedLambdaExpressionAst({
+            parameters: [],
+            parameterTypes: [],
+            body: {
+                kind: "blockStatement",
+                statements: [
+                    ...captured.setupStatements,
+                    createVarLocal(wrapperTemp.emittedName, {
+                        ...buildNativeArrayInteropWrapAst(captured.readExpression),
+                    }),
+                    createVarLocal(resultTemp.emittedName, mutationCall),
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "assignmentExpression",
+                            operatorToken: "=",
+                            left: captured.writeExpression,
+                            right: mutatedArrayAst,
+                        },
+                    },
+                    {
+                        kind: "returnStatement",
+                        expression: returnExpression,
+                    },
+                ],
+            },
+            arguments: [],
+            returnType: returnTypeAst,
+            context: currentContext,
+        })),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-array-mutation.js.map

package/dist/expressions/calls/call-array-mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-array-mutation.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-array-mutation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKpD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AAEvE,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE,CACxD,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEhC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,MAAM;IACN,KAAK;IACL,OAAO;IACP,SAAS;IACT,QAAQ;IACR,MAAM;IACN,SAAS;IACT,MAAM;IACN,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,WAAmB,EAAW,EAAE;IACxE,MAAM,IAAI,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAChE,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,OAIa,EACb,YAAgC,EAChC,OAAuB,EACd,EAAE,CACX,CAAC,CAAC,OAAO;IACT,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC;IACvC,CAAC,CAAC,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC;AAErE,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,YAAgC,EACvB,EAAE;IACX,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CACL,YAAY,CAAC,IAAI,KAAK,WAAW;QACjC,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe;YACpC,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC5B,YAAY,CAAC,IAAI,KAAK,eAAe,CAAC;YACxC,YAAY,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,UAAkB,EAAW,EAAE,CAChE,UAAU,KAAK,MAAM;IACrB,UAAU,KAAK,SAAS;IACxB,UAAU,KAAK,MAAM;IACrB,UAAU,KAAK,YAAY,CAAC;AAE9B,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,GAAG,CAAC;IACxD,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,MAAM;IACN,SAAS;IACT,KAAK;IACL,SAAS;IACT,OAAO;IACP,MAAM;IACN,QAAQ;IACR,YAAY;IACZ,UAAU;IACV,WAAW;IACX,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,WAAgC,EACZ,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,2BAA2B;IACjC,SAAS,EAAE,EAAE;IACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;IACzB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;CACrC,CAAC,CAAC;AASH,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,OAAuB,EACoB,EAAE;IAC7C,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAExE,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAChD,OAAO;YACL,cAAc,EAAE,WAAW;YAC3B,eAAe,EAAE,WAAW;YAC5B,eAAe,EAAE,EAAE;YACnB,OAAO,EAAE,eAAe;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QACzD,OAAO;YACL,cAAc,EAAE,WAAW;YAC3B,eAAe,EAAE,WAAW;YAC5B,eAAe,EAAE,EAAE;YACnB,OAAO,EAAE,eAAe;SACzB,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QAClD,MAAM,UAAU,GAAG,iBAAiB,CAClC,sBAAsB,EACtB,eAAe,CAChB,CAAC;QACF,MAAM,gBAAgB,GAAwB;YAC5C,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,UAAU,CAAC,WAAW;SACnC,CAAC;QAEF,OAAO;YACL,cAAc,EAAE;gBACd,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,WAAW,CAAC,UAAU;aACnC;YACD,eAAe,EAAE;gBACf,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,WAAW,CAAC,UAAU;aACnC;YACD,eAAe,EAAE;gBACf,cAAc,CAAC,UAAU,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,CAAC;aAC/D;YACD,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC;IACJ,CAAC;IAED,IACE,WAAW,CAAC,IAAI,KAAK,yBAAyB;QAC9C,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAClC,CAAC;QACD,MAAM,UAAU,GAAG,iBAAiB,CAClC,sBAAsB,EACtB,eAAe,CAChB,CAAC;QACF,MAAM,SAAS,GAAG,iBAAiB,CACjC,qBAAqB,EACrB,UAAU,CAAC,OAAO,CACnB,CAAC;QACF,MAAM,gBAAgB,GAAwB;YAC5C,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,UAAU,CAAC,WAAW;SACnC,CAAC;QACF,MAAM,eAAe,GAAwB;YAC3C,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,SAAS,CAAC,WAAW;SAClC,CAAC;QACF,MAAM,aAAa,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,aAAa;YAAE,OAAO,SAAS,CAAC;QAErC,OAAO;YACL,cAAc,EAAE;gBACd,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,gBAAgB;gBAC5B,SAAS,EAAE,CAAC,eAAe,CAAC;aAC7B;YACD,eAAe,EAAE;gBACf,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,gBAAgB;gBAC5B,SAAS,EAAE,CAAC,eAAe,CAAC;aAC7B;YACD,eAAe,EAAE;gBACf,cAAc,CAAC,UAAU,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,CAAC;gBAC9D,cAAc,CAAC,SAAS,CAAC,WAAW,EAAE,aAAa,CAAC;aACrD;YACD,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAA6C,EAC7C,OAAuB,EAC4B,EAAE;IACrD,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAC1D,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5E,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;IAC1C,IACE,CAAC,OAAO;QACR,CAAC,OAAO,CAAC,iBAAiB,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAChB,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAClC,MAAM,mBAAmB,GAAG,4BAA4B,CACtD,YAAY,EACZ,OAAO,CACR,EAAE,WAAW,CAAC;IACf,IAAI,CAAC,mBAAmB;QAAE,OAAO,SAAS,CAAC;IAE3C,MAAM,QAAQ,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC;IAEtC,MAAM,WAAW,GAAG,iBAAiB,CACnC,uBAAuB,EACvB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC,OAAO,CAAC;IAErC,MAAM,UAAU,GAAG,iBAAiB,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC;IAC7E,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC;IAEpC,MAAM,iBAAiB,GAAwB;QAC7C,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,WAAW,CAAC,WAAW;KACpC,CAAC;IACF,MAAM,gBAAgB,GAAwB;QAC5C,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,UAAU,CAAC,WAAW;KACnC,CAAC;IAEF,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,IAAI,CAAC,SAAS,EACd,IAAI,EACJ,cAAc,CACf,CAAC;IACF,cAAc,GAAG,UAAU,CAAC;IAE5B,MAAM,YAAY,GAAwB;QACxC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,iBAAiB;YAC7B,UAAU,EAAE,OAAO,CAAC,MAAM;SAC3B;QACD,SAAS,EAAE,OAAO;KACnB,CAAC;IAEF,MAAM,eAAe,GAAwB;QAC3C,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,iBAAiB;YAC7B,UAAU,EAAE,SAAS;SACtB;QACD,SAAS,EAAE,EAAE;KACd,CAAC;IAEF,IAAI,gBAAgB,GAAwB,gBAAgB,CAAC;IAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACtC,gBAAgB,GAAG;YACjB,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,SAAS;aACtB;YACD,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;SAAM,IAAI,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,gBAAgB,GAAG,eAAe,CAAC;IACrC,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,IAAI;QACtC,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,mBAAmB;QAChC,MAAM,EAAE,UAAmB;KAC5B,CAAC;IACF,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACpD,UAAU,EACV,cAAc,CACf,CAAC;IACF,cAAc,GAAG,iBAAiB,CAAC;IAEnC,OAAO;QACL,WAAW,CACT,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EACxC,+BAA+B,CAAC;YAC9B,UAAU,EAAE,EAAE;YACd,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV,GAAG,QAAQ,CAAC,eAAe;oBAC3B,cAAc,CAAC,WAAW,CAAC,WAAW,EAAE;wBACtC,GAAG,8BAA8B,CAAC,QAAQ,CAAC,cAAc,CAAC;qBAC3D,CAAC;oBACF,cAAc,CAAC,UAAU,CAAC,WAAW,EAAE,YAAY,CAAC;oBACpD;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,sBAAsB;4BAC5B,aAAa,EAAE,GAAG;4BAClB,IAAI,EAAE,QAAQ,CAAC,eAAe;4BAC9B,KAAK,EAAE,eAAe;yBACvB;qBACF;oBACD;wBACE,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE,gBAAgB;qBAC7B;iBACF;aACF;YACD,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,aAAa;YACzB,OAAO,EAAE,cAAc;SACxB,CAAC,CACH;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-array-wrapper.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Native array wrapper interop for non-mutation call expressions.
+ *
+ * Handles source-owned array wrapping for non-mutating calls and result normalization
+ * (toArray) when the caller expects a native array type.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const shouldNormalizeArrayLikeInteropResult: (actualType: IrType | undefined, expectedType: IrType | undefined) => boolean;
+export declare const emitArrayWrapperInteropCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=call-array-wrapper.d.ts.map

package/dist/expressions/calls/call-array-wrapper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-array-wrapper.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-array-wrapper.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAwClF,eAAO,MAAM,qCAAqC,GAChD,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,KAC/B,OAA2E,CAAC;AAoC/E,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA6E1C,CAAC"}

package/dist/expressions/calls/call-array-wrapper.js

@@ -0,0 +1,118 @@
+/**
+ * Native array wrapper interop for non-mutation call expressions.
+ *
+ * Handles source-owned array wrapping for non-mutating calls and result normalization
+ * (toArray) when the caller expects a native array type.
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { resolveArrayLikeReceiverType } from "../../core/semantic/type-resolution.js";
+import { needsIntCast } from "./call-analysis.js";
+import { emitCallArguments, wrapIntCast } from "./call-arguments.js";
+import { buildNativeArrayInteropWrapAst } from "../array-interop.js";
+import { isArrayWrapperBindingType, hasDirectNativeArrayLikeInteropShape, nativeArrayReturningInteropMembers, } from "./call-array-mutation.js";
+const isArrayLikeIrType = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "arrayType" || type.kind === "tupleType") {
+        return true;
+    }
+    if (type.kind === "unionType") {
+        return type.types.every((member) => isArrayLikeIrType(member));
+    }
+    if (type.kind !== "referenceType") {
+        return false;
+    }
+    const simpleName = type.name.split(".").pop() ?? type.name;
+    return (simpleName === "Array" ||
+        simpleName === "ReadonlyArray" ||
+        simpleName === "ArrayLike" ||
+        simpleName === "Iterable" ||
+        simpleName === "IterableIterator" ||
+        simpleName === "IEnumerable" ||
+        simpleName === "IReadOnlyList" ||
+        simpleName === "List");
+};
+export const shouldNormalizeArrayLikeInteropResult = (actualType, expectedType) => isArrayLikeIrType(expectedType) || isArrayLikeIrType(actualType);
+const shouldNormalizeNativeArrayWrapperResult = (expr, expectedType, context) => {
+    if (shouldNormalizeArrayLikeInteropResult(expr.inferredType, expectedType)) {
+        return true;
+    }
+    if (expr.callee.kind !== "memberAccess") {
+        return false;
+    }
+    if (typeof expr.callee.property !== "string") {
+        return false;
+    }
+    if (!nativeArrayReturningInteropMembers.has(expr.callee.property)) {
+        return false;
+    }
+    const receiverType = resolveEffectiveExpressionType(expr.callee.object, context) ??
+        expr.callee.object.inferredType;
+    if (!hasDirectNativeArrayLikeInteropShape(receiverType)) {
+        return false;
+    }
+    const binding = expr.callee.memberBinding;
+    if (!binding || binding.isExtensionMethod) {
+        return false;
+    }
+    return binding.kind === "method";
+};
+export const emitArrayWrapperInteropCall = (expr, context, expectedType) => {
+    if (expr.isOptional)
+        return undefined;
+    if (expr.callee.kind !== "memberAccess")
+        return undefined;
+    if (expr.callee.isComputed)
+        return undefined;
+    if (typeof expr.callee.property !== "string")
+        return undefined;
+    const binding = expr.callee.memberBinding;
+    if (!binding ||
+        (binding.isExtensionMethod && !isArrayWrapperBindingType(binding.type))) {
+        return undefined;
+    }
+    const receiverType = resolveEffectiveExpressionType(expr.callee.object, context) ??
+        expr.callee.object.inferredType;
+    const receiverElementType = resolveArrayLikeReceiverType(receiverType, context)?.elementType;
+    if (!receiverElementType) {
+        return undefined;
+    }
+    if (binding.type === "System.Array" ||
+        binding.type === "global::System.Array" ||
+        binding.type.startsWith("System.Array`") ||
+        binding.type.startsWith("global::System.Array`")) {
+        return undefined;
+    }
+    let currentContext = context;
+    const [receiverAst, receiverContext] = emitExpressionAst(expr.callee.object, currentContext);
+    currentContext = receiverContext;
+    const wrapperAst = buildNativeArrayInteropWrapAst(receiverAst);
+    const [argAsts, argContext] = emitCallArguments(expr.arguments, expr, currentContext);
+    currentContext = argContext;
+    const invocation = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: wrapperAst,
+            memberName: binding.member,
+        },
+        arguments: argAsts,
+    };
+    const resultAst = shouldNormalizeNativeArrayWrapperResult(expr, expectedType, currentContext)
+        ? {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: invocation,
+                memberName: "toArray",
+            },
+            arguments: [],
+        }
+        : invocation;
+    return [
+        wrapIntCast(needsIntCast(expr, expr.callee.property), resultAst),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-array-wrapper.js.map

package/dist/expressions/calls/call-array-wrapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-array-wrapper.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-array-wrapper.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EACL,yBAAyB,EACzB,oCAAoC,EACpC,kCAAkC,GACnC,MAAM,0BAA0B,CAAC;AAElC,MAAM,iBAAiB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,OAAO,CACL,UAAU,KAAK,OAAO;QACtB,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,WAAW;QAC1B,UAAU,KAAK,UAAU;QACzB,UAAU,KAAK,kBAAkB;QACjC,UAAU,KAAK,aAAa;QAC5B,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,MAAM,CACtB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,UAA8B,EAC9B,YAAgC,EACvB,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;AAE/E,MAAM,uCAAuC,GAAG,CAC9C,IAA6C,EAC7C,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,qCAAqC,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,kCAAkC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAChB,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAClC,IAAI,CAAC,oCAAoC,CAAC,YAAY,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;IAC1C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6C,EAC7C,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAC1D,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;IAC1C,IACE,CAAC,OAAO;QACR,CAAC,OAAO,CAAC,iBAAiB,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAChB,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAClC,MAAM,mBAAmB,GAAG,4BAA4B,CACtD,YAAY,EACZ,OAAO,CACR,EAAE,WAAW,CAAC;IACf,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,CAAC,IAAI,KAAK,cAAc;QAC/B,OAAO,CAAC,IAAI,KAAK,sBAAsB;QACvC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAChD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACtD,IAAI,CAAC,MAAM,CAAC,MAAM,EAClB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,eAAe,CAAC;IAEjC,MAAM,UAAU,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAE/D,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,IAAI,CAAC,SAAS,EACd,IAAI,EACJ,cAAc,CACf,CAAC;IACF,cAAc,GAAG,UAAU,CAAC;IAE5B,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,UAAU;YACtB,UAAU,EAAE,OAAO,CAAC,MAAM;SAC3B;QACD,SAAS,EAAE,OAAO;KACnB,CAAC;IAEF,MAAM,SAAS,GACb,uCAAuC,CAAC,IAAI,EAAE,YAAY,EAAE,cAAc,CAAC;QACzE,CAAC,CAAC;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,UAAU;gBACtB,UAAU,EAAE,SAAS;aACtB;YACD,SAAS,EAAE,EAAE;SACd;QACH,CAAC,CAAC,UAAU,CAAC;IAEjB,OAAO;QACL,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;QAChE,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-binding-resolution.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Strict receiver classification helpers for call emission.
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+declare const isPrimitiveReceiverExtensionCall: (receiverType: IrType | undefined, context: EmitterContext) => boolean;
+export { isPrimitiveReceiverExtensionCall };
+//# sourceMappingURL=call-binding-resolution.d.ts.map

package/dist/expressions/calls/call-binding-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-binding-resolution.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-binding-resolution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,QAAA,MAAM,gCAAgC,GACpC,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAIF,CAAC;AAEF,OAAO,EAAE,gCAAgC,EAAE,CAAC"}

package/dist/expressions/calls/call-binding-resolution.js

@@ -0,0 +1,12 @@
+/**
+ * Strict receiver classification helpers for call emission.
+ */
+import { resolveTypeAlias, stripNullish, } from "../../core/semantic/type-resolution.js";
+const isPrimitiveReceiverExtensionCall = (receiverType, context) => {
+    if (!receiverType)
+        return false;
+    const resolved = resolveTypeAlias(stripNullish(receiverType), context);
+    return resolved.kind === "primitiveType" || resolved.kind === "literalType";
+};
+export { isPrimitiveReceiverExtensionCall };
+//# sourceMappingURL=call-binding-resolution.js.map

package/dist/expressions/calls/call-binding-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-binding-resolution.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-binding-resolution.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EACL,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAC;AAEhD,MAAM,gCAAgC,GAAG,CACvC,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,OAAO,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC;AAC9E,CAAC,CAAC;AAEF,OAAO,EAAE,gCAAgC,EAAE,CAAC"}

package/dist/expressions/calls/call-dynamic-import.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Dynamic import() expression emission.
+ * Emits import() as Task.Run(() => RuntimeHelpers.RunClassConstructor(...)).
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const emitDynamicImportCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | null;
+//# sourceMappingURL=call-dynamic-import.d.ts.map

package/dist/expressions/calls/call-dynamic-import.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-dynamic-import.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-dynamic-import.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAmFhD,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,IA4G1C,CAAC"}

package/dist/expressions/calls/call-dynamic-import.js

@@ -0,0 +1,148 @@
+/**
+ * Dynamic import() expression emission.
+ * Emits import() as Task.Run(() => RuntimeHelpers.RunClassConstructor(...)).
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { resolveImportPath } from "../../core/semantic/index.js";
+import { identifierExpression, identifierType, } from "../../core/format/backend-ast/builders.js";
+import { buildTaskRunInvocation } from "./call-promise.js";
+const getDynamicImportSpecifier = (expr) => {
+    const [arg] = expr.arguments;
+    if (!arg || arg.kind === "spread")
+        return undefined;
+    return arg.kind === "literal" && typeof arg.value === "string"
+        ? arg.value
+        : undefined;
+};
+const resolveDynamicImportTargetModule = (specifier, context) => {
+    const currentFilePath = context.options.currentModuleFilePath;
+    const moduleMap = context.options.moduleMap;
+    if (!currentFilePath || !moduleMap) {
+        return undefined;
+    }
+    const targetPath = resolveImportPath(currentFilePath, specifier);
+    const direct = moduleMap.get(targetPath);
+    if (direct) {
+        return direct;
+    }
+    const normalizedTarget = targetPath.replace(/\\/g, "/");
+    for (const [key, identity] of moduleMap.entries()) {
+        const normalizedKey = key.replace(/\\/g, "/");
+        if (normalizedKey === normalizedTarget ||
+            normalizedKey.endsWith(`/${normalizedTarget}`) ||
+            normalizedTarget.endsWith(`/${normalizedKey}`)) {
+            return identity;
+        }
+    }
+    return undefined;
+};
+const buildDynamicImportContainerType = (targetModule) => {
+    const containerName = targetModule.hasTypeCollision
+        ? `${targetModule.className}__Module`
+        : targetModule.className;
+    return identifierType(`global::${targetModule.namespace}.${containerName}`);
+};
+const buildRunClassConstructorExpression = (containerType) => ({
+    kind: "invocationExpression",
+    expression: {
+        kind: "memberAccessExpression",
+        expression: {
+            ...identifierExpression("global::System.Runtime.CompilerServices.RuntimeHelpers"),
+        },
+        memberName: "RunClassConstructor",
+    },
+    arguments: [
+        {
+            kind: "memberAccessExpression",
+            expression: {
+                kind: "typeofExpression",
+                type: containerType,
+            },
+            memberName: "TypeHandle",
+        },
+    ],
+});
+export const emitDynamicImportCall = (expr, context) => {
+    if (expr.callee.kind !== "identifier" || expr.callee.name !== "import") {
+        return null;
+    }
+    const specifier = getDynamicImportSpecifier(expr);
+    if (!specifier)
+        return null;
+    const completedTaskExpr = {
+        kind: "memberAccessExpression",
+        expression: identifierExpression("global::System.Threading.Tasks.Task"),
+        memberName: "CompletedTask",
+    };
+    const targetModule = resolveDynamicImportTargetModule(specifier, context);
+    if (!expr.dynamicImportNamespace) {
+        if (!targetModule || !targetModule.hasRuntimeContainer) {
+            return [completedTaskExpr, context];
+        }
+        const containerType = buildDynamicImportContainerType(targetModule);
+        const runClassConstructor = buildRunClassConstructorExpression(containerType);
+        return [
+            {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: identifierExpression("global::System.Threading.Tasks.Task"),
+                    memberName: "Run",
+                },
+                arguments: [
+                    {
+                        kind: "lambdaExpression",
+                        isAsync: false,
+                        parameters: [],
+                        body: runClassConstructor,
+                    },
+                ],
+            },
+            context,
+        ];
+    }
+    if (!targetModule) {
+        throw new Error(`ICE: Closed-world dynamic import '${specifier}' was validated as a namespace import but no module identity was available during emission.`);
+    }
+    let currentContext = context;
+    const [outputTaskType, outputTaskContext] = emitTypeAst(expr.inferredType ?? {
+        kind: "referenceType",
+        name: "Promise",
+        typeArguments: [{ kind: "referenceType", name: "object" }],
+    }, currentContext);
+    currentContext = outputTaskContext;
+    const [namespaceAst, namespaceContext] = expr.dynamicImportNamespace.properties.length === 0
+        ? [
+            {
+                kind: "objectCreationExpression",
+                type: { kind: "predefinedType", keyword: "object" },
+                arguments: [],
+            },
+            currentContext,
+        ]
+        : emitExpressionAst(expr.dynamicImportNamespace, currentContext, expr.dynamicImportNamespace.inferredType);
+    currentContext = namespaceContext;
+    const setupStatements = [];
+    if (targetModule.hasRuntimeContainer) {
+        const containerType = buildDynamicImportContainerType(targetModule);
+        setupStatements.push({
+            kind: "expressionStatement",
+            expression: buildRunClassConstructorExpression(containerType),
+        });
+    }
+    return [
+        buildTaskRunInvocation(outputTaskType, {
+            kind: "blockStatement",
+            statements: [
+                ...setupStatements,
+                {
+                    kind: "returnStatement",
+                    expression: namespaceAst,
+                },
+            ],
+        }, false),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-dynamic-import.js.map

package/dist/expressions/calls/call-dynamic-import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-dynamic-import.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-dynamic-import.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAMjE,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,MAAM,yBAAyB,GAAG,CAChC,IAA6C,EACzB,EAAE;IACtB,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAC5D,CAAC,CAAC,GAAG,CAAC,KAAK;QACX,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,SAAiB,EACjB,OAAuB,EACK,EAAE;IAC9B,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9C,IACE,aAAa,KAAK,gBAAgB;YAClC,aAAa,CAAC,QAAQ,CAAC,IAAI,gBAAgB,EAAE,CAAC;YAC9C,gBAAgB,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC,EAC9C,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAA8E,EAC/D,EAAE;IACjB,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB;QACjD,CAAC,CAAC,GAAG,YAAY,CAAC,SAAS,UAAU;QACrC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAE3B,OAAO,cAAc,CAAC,WAAW,YAAY,CAAC,SAAS,IAAI,aAAa,EAAE,CAAC,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,aAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACV,GAAG,oBAAoB,CACrB,wDAAwD,CACzD;SACF;QACD,UAAU,EAAE,qBAAqB;KAClC;IACD,SAAS,EAAE;QACT;YACE,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,aAAa;aACpB;YACD,UAAU,EAAE,YAAY;SACzB;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA6C,EAC7C,OAAuB,EACuB,EAAE;IAChD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,iBAAiB,GAAwB;QAC7C,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;QACvE,UAAU,EAAE,eAAe;KAC5B,CAAC;IAEF,MAAM,YAAY,GAAG,gCAAgC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE1E,IAAI,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC;QACjC,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC;YACvD,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACpE,MAAM,mBAAmB,GACvB,kCAAkC,CAAC,aAAa,CAAC,CAAC;QAEpD,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,oBAAoB,CAC9B,qCAAqC,CACtC;oBACD,UAAU,EAAE,KAAK;iBAClB;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,KAAK;wBACd,UAAU,EAAE,EAAE;wBACd,IAAI,EAAE,mBAAmB;qBAC1B;iBACF;aACF;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,qCAAqC,SAAS,6FAA6F,CAC5I,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,CAAC,cAAc,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACrD,IAAI,CAAC,YAAY,IAAI;QACnB,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC3D,EACD,cAAc,CACf,CAAC;IACF,cAAc,GAAG,iBAAiB,CAAC;IAEnC,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GACpC,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACjD,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,0BAAmC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAyB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC5D,SAAS,EAAE,EAAE;aACgB;YAC/B,cAAc;SACf;QACH,CAAC,CAAC,iBAAiB,CACf,IAAI,CAAC,sBAAsB,EAC3B,cAAc,EACd,IAAI,CAAC,sBAAsB,CAAC,YAAY,CACzC,CAAC;IACR,cAAc,GAAG,gBAAgB,CAAC;IAElC,MAAM,eAAe,GAAyB,EAAE,CAAC;IACjD,IAAI,YAAY,CAAC,mBAAmB,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACpE,eAAe,CAAC,IAAI,CAAC;YACnB,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,kCAAkC,CAAC,aAAa,CAAC;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,sBAAsB,CACpB,cAAc,EACd;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV,GAAG,eAAe;gBAClB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,YAAY;iBACzB;aACF;SACF,EACD,KAAK,CACN;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-emitter.d.ts

@@ -1,7 +1,13 @@
 /**
- * Call expression emitter
+ * Call expression emitter — main dispatch and orchestration.
+ *
+ * Routes call expressions to specialized emitters (promise, array interop,
+ * dynamic import, JSON, extension methods) and handles the default regular-call path.
+ *
+ * Extension method lowering lives in:
+ *   - call-extension-methods.ts
  */
-import { IrExpression } from "@tsonic/frontend";
+import { IrExpression, IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";
 import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
 /**
@@ -9,5 +15,5 @@ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js
  */
 export declare const emitCall: (expr: Extract<IrExpression, {
     kind: "call";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
 //# sourceMappingURL=call-emitter.d.ts.map

package/dist/expressions/calls/call-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"call-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAIL,YAAY,EAGb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA2BhD,OAAO,KAAK,EAGV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAk6EhD;;GAEG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAwStC,CAAC"}
+{"version":3,"file":"call-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAehD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,wCAAwC,CAAC;AAmUhD;;GAEG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CA6RtC,CAAC"}