@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/calls/call-promise-ir-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-ir-types.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EAKjB,YAAY,EACZ,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,YAA0B,EAAU,EAAE;IAC3E,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,KAAK,oBAAoB,EAC1C,CAAC;QACD,OAAO,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC;IACxC,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;IAC/C,IAAI,YAAY,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC1C,OAAO,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,KAAuB,EACJ,EAAE;IACrB,MAAM,oBAAoB,GAAG,CAAC,SAAsB,EAAqB,EAAE;QACzE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,iBAAiB;gBACpB,OAAO,SAAS,CAAC,UAAU,EAAE,YAAY;oBACvC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC;oBACrC,CAAC,CAAC,EAAE,CAAC;YACT,KAAK,gBAAgB;gBACnB,OAAO,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAC5D,KAAK,aAAa;gBAChB,OAAO;oBACL,GAAG,oBAAoB,CAAC,SAAS,CAAC,aAAa,CAAC;oBAChD,GAAG,CAAC,SAAS,CAAC,aAAa;wBACzB,CAAC,CAAC,oBAAoB,CAAC,SAAS,CAAC,aAAa,CAAC;wBAC/C,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC;YACJ,KAAK,gBAAgB,CAAC;YACtB,KAAK,cAAc,CAAC;YACpB,KAAK,gBAAgB,CAAC;YACtB,KAAK,gBAAgB;gBACnB,OAAO,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9C,KAAK,iBAAiB;gBACpB,OAAO,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5C,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,CACpD,CAAC;YACJ,KAAK,cAAc;gBACjB,OAAO;oBACL,GAAG,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC;oBAC9D,GAAG,CAAC,SAAS,CAAC,WAAW;wBACvB,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAC3C,oBAAoB,CACrB;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,SAAS,CAAC,YAAY;wBACxB,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC;wBACjE,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC;YACJ,KAAK,qBAAqB,CAAC;YAC3B,KAAK,kBAAkB,CAAC;YACxB,KAAK,sBAAsB,CAAC;YAC5B,KAAK,iBAAiB,CAAC;YACvB,KAAK,sBAAsB;gBACzB,OAAO,EAAE,CAAC;YACZ;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAwB,EAAW,EAAE,CAClE,IAAI,KAAK,SAAS;IAClB,IAAI,CAAC,IAAI,KAAK,UAAU;IACxB,IAAI,CAAC,IAAI,KAAK,aAAa;IAC3B,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAA0B,EACN,EAAE;IACtB,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC3C,CAAC,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,EACtD,CAAC;QACD,OAAO,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;IACxC,CAAC;IAED,MAAM,QAAQ,GACZ,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;QAChD,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,UAAU;QACtC,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC3C,CAAC;QACD,OAAO,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;IACxC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAA0B,EACN,EAAE;IACtB,IACE,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe;QACpC,YAAY,CAAC,IAAI,KAAK,oBAAoB,CAAC;QAC7C,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC3C,CAAC;QACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAkB,EAAE,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CACvD,CAAC;QAEF,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CACxC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CACnB,GAAG,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,CACxE,CAAC;QAEF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,OAAO;SACf,CAAC;IACJ,CAAC;IAED,OAAO,qBAAqB,CAAC,YAAY,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAA0B,EACjB,EAAE;IACX,MAAM,kBAAkB,GAAG,6BAA6B,CAAC,YAAY,CAAC,CAAC;IACvE,OAAO,kBAAkB,CAAC,CAAC,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAW,EAAE,CACzD,iBAAiB,CAAC,IAAI,CAAC,CAAC;AAE1B,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAwB,EACf,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,IAAI,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,4BAA4B,CAAC,MAAM,CAAC,CAC7D,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU;YAChC,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,iCAAiC,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,UAAU,GAAG,iCAAiC,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;gBAC7E,SAAS;YACX,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,mBAAmB,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,GAAG,KAAsC,EACrB,EAAE;IACtB,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU;YAAE,SAAS;QAE1B,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM;oBAAE,SAAS;gBACtB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;oBAChE,SAAS;gBACX,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;YACpE,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAC7B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3D,QAAQ,UAAU,EAAE,CAAC;YACnB,KAAK,OAAO,CAAC;YACb,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC;YACxB,KAAK,aAAa,CAAC;YACnB,KAAK,eAAe,CAAC;YACrB,KAAK,MAAM,CAAC;YACZ,KAAK,KAAK,CAAC;YACX,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAwB,EAAW,EAAE;IACzE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC;IAClD,OAAO,CACL,UAAU,KAAK,WAAW;QAC1B,UAAU,KAAK,aAAa;QAC5B,UAAU,KAAK,aAAa;QAC5B,OAAO,KAAK,kCAAkC;QAC9C,OAAO,CAAC,UAAU,CAAC,oCAAoC,CAAC,CACzD,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-promise-normalization.d.ts

@@ -0,0 +1,11 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../../types.js";
+export declare const buildInvocation: (expression: CSharpExpressionAst, args: readonly CSharpExpressionAst[]) => CSharpExpressionAst;
+export declare const buildAwait: (expression: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const buildPromiseRejectedExceptionAst: (reasonAst: CSharpExpressionAst | undefined) => CSharpExpressionAst;
+export declare const getPromiseStaticMethod: (expr: Extract<IrExpression, {
+    kind: "call";
+}>) => "resolve" | "reject" | "all" | "race" | undefined;
+export declare const emitPromiseNormalizedTaskAst: (valueAst: CSharpExpressionAst, valueType: IrType | undefined, resultTypeAst: CSharpTypeAst | undefined, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=call-promise-normalization.d.ts.map

package/dist/expressions/calls/call-promise-normalization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-normalization.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-normalization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE3E,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,wCAAwC,CAAC;AAQhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,eAAO,MAAM,eAAe,GAC1B,YAAY,mBAAmB,EAC/B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,UAAU,GACrB,YAAY,mBAAmB,KAC9B,mBAGD,CAAC;AAEH,eAAO,MAAM,gCAAgC,GAC3C,WAAW,mBAAmB,GAAG,SAAS,KACzC,mBAkCF,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,KAC5C,SAAS,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,GAAG,SAmB1C,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,UAAU,mBAAmB,EAC7B,WAAW,MAAM,GAAG,SAAS,EAC7B,eAAe,aAAa,GAAG,SAAS,EACxC,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA8HtC,CAAC"}

package/dist/expressions/calls/call-promise-normalization.js

@@ -0,0 +1,179 @@
+import { isAwaitableIrType } from "@tsonic/frontend";
+import { emitTypeAst } from "../../type-emitter.js";
+import { identifierExpression, identifierType, nullLiteral, stringLiteral, } from "../../core/format/backend-ast/builders.js";
+import { emitRuntimeCarrierTypeAst } from "../../core/semantic/runtime-unions.js";
+import { buildCompletedTaskAst } from "./call-promise-task-types.js";
+import { isValueTaskLikeIrType } from "./call-promise-ir-types.js";
+export const buildInvocation = (expression, args) => ({
+    kind: "invocationExpression",
+    expression,
+    arguments: args,
+});
+export const buildAwait = (expression) => ({
+    kind: "awaitExpression",
+    expression,
+});
+export const buildPromiseRejectedExceptionAst = (reasonAst) => {
+    const reasonExpr = reasonAst ?? nullLiteral();
+    return {
+        kind: "binaryExpression",
+        operatorToken: "??",
+        left: {
+            kind: "asExpression",
+            expression: reasonExpr,
+            type: identifierType("global::System.Exception"),
+        },
+        right: {
+            kind: "objectCreationExpression",
+            type: identifierType("global::System.Exception"),
+            arguments: [
+                {
+                    kind: "binaryExpression",
+                    operatorToken: "??",
+                    left: {
+                        kind: "invocationExpression",
+                        expression: {
+                            kind: "conditionalMemberAccessExpression",
+                            expression: reasonExpr,
+                            memberName: "ToString",
+                        },
+                        arguments: [],
+                    },
+                    right: {
+                        ...stringLiteral("Promise rejected"),
+                    },
+                },
+            ],
+        },
+    };
+};
+export const getPromiseStaticMethod = (expr) => {
+    if (expr.callee.kind !== "memberAccess")
+        return undefined;
+    if (expr.callee.isComputed)
+        return undefined;
+    if (typeof expr.callee.property !== "string")
+        return undefined;
+    if (expr.callee.object.kind !== "identifier")
+        return undefined;
+    const objectName = expr.callee.object.originalName ?? expr.callee.object.name;
+    const simpleObjectName = objectName.split(".").pop() ?? objectName;
+    if (simpleObjectName !== "Promise")
+        return undefined;
+    switch (expr.callee.property) {
+        case "resolve":
+        case "reject":
+        case "all":
+        case "race":
+            return expr.callee.property;
+        default:
+            return undefined;
+    }
+};
+export const emitPromiseNormalizedTaskAst = (valueAst, valueType, resultTypeAst, context) => {
+    let currentContext = context;
+    if (valueType && isAwaitableIrType(valueType)) {
+        if (isValueTaskLikeIrType(valueType)) {
+            return [
+                {
+                    kind: "invocationExpression",
+                    expression: {
+                        kind: "memberAccessExpression",
+                        expression: valueAst,
+                        memberName: "AsTask",
+                    },
+                    arguments: [],
+                },
+                currentContext,
+            ];
+        }
+        return [valueAst, currentContext];
+    }
+    if (valueType) {
+        const [, runtimeLayout, emittedUnionTypeContext] = emitRuntimeCarrierTypeAst(valueType, currentContext, emitTypeAst);
+        currentContext = emittedUnionTypeContext;
+        if (!runtimeLayout) {
+            if (!resultTypeAst) {
+                return [buildCompletedTaskAst(), currentContext];
+            }
+            return [
+                {
+                    kind: "invocationExpression",
+                    expression: {
+                        kind: "memberAccessExpression",
+                        expression: identifierExpression("global::System.Threading.Tasks.Task"),
+                        memberName: "FromResult",
+                    },
+                    typeArguments: [resultTypeAst],
+                    arguments: [valueAst],
+                },
+                currentContext,
+            ];
+        }
+        const members = runtimeLayout.members;
+        const memberTypeAsts = [...runtimeLayout.memberTypeAsts];
+        const arms = [];
+        for (let index = 0; index < members.length; index++) {
+            const memberType = members[index];
+            if (!memberType)
+                continue;
+            let memberTypeAst = memberTypeAsts[index];
+            if (!memberTypeAst) {
+                const [emittedMemberTypeAst, memberTypeContext] = emitTypeAst(memberType, currentContext);
+                currentContext = memberTypeContext;
+                memberTypeAst = emittedMemberTypeAst;
+                memberTypeAsts[index] = emittedMemberTypeAst;
+            }
+            const memberName = `__tsonic_promise_value_${index}`;
+            const [normalizedArm, normalizedContext] = emitPromiseNormalizedTaskAst({
+                kind: "identifierExpression",
+                identifier: memberName,
+            }, memberType, resultTypeAst, currentContext);
+            currentContext = normalizedContext;
+            arms.push({
+                kind: "lambdaExpression",
+                isAsync: false,
+                parameters: [
+                    {
+                        name: memberName,
+                        type: memberTypeAst ??
+                            {
+                                kind: "predefinedType",
+                                keyword: "object",
+                            },
+                    },
+                ],
+                body: normalizedArm,
+            });
+        }
+        return [
+            {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: valueAst,
+                    memberName: "Match",
+                },
+                arguments: arms,
+            },
+            currentContext,
+        ];
+    }
+    if (!resultTypeAst) {
+        return [buildCompletedTaskAst(), currentContext];
+    }
+    return [
+        {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: identifierExpression("global::System.Threading.Tasks.Task"),
+                memberName: "FromResult",
+            },
+            typeArguments: [resultTypeAst],
+            arguments: [valueAst],
+        },
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-promise-normalization.js.map

package/dist/expressions/calls/call-promise-normalization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-normalization.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-normalization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAwB,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKpD,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,WAAW,EACX,aAAa,GACd,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAA+B,EAC/B,IAAoC,EACf,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU;IACV,SAAS,EAAE,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,UAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,iBAAiB;IACvB,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,SAA0C,EACrB,EAAE;IACvB,MAAM,UAAU,GAAG,SAAS,IAAK,WAAW,EAAiC,CAAC;IAE9E,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,aAAa,EAAE,IAAI;QACnB,IAAI,EAAE;YACJ,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;SACjD;QACD,KAAK,EAAE;YACL,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;YAChD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,mCAAmC;4BACzC,UAAU,EAAE,UAAU;4BACtB,UAAU,EAAE,UAAU;yBACvB;wBACD,SAAS,EAAE,EAAE;qBACd;oBACD,KAAK,EAAE;wBACL,GAAG,aAAa,CAAC,kBAAkB,CAAC;qBACrC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA6C,EACM,EAAE;IACrD,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,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE/D,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC9E,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC;IACnE,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAErD,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC7B,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC9B;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAA6B,EAC7B,SAA6B,EAC7B,aAAwC,EACxC,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,IAAI,SAAS,IAAI,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9C,IAAI,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,QAAQ;wBACpB,UAAU,EAAE,QAAQ;qBACrB;oBACD,SAAS,EAAE,EAAE;iBACd;gBACD,cAAc;aACf,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,CAAC,EAAE,aAAa,EAAE,uBAAuB,CAAC,GAC9C,yBAAyB,CAAC,SAAS,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;QACpE,cAAc,GAAG,uBAAuB,CAAC;QACzC,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,OAAO,CAAC,qBAAqB,EAAE,EAAE,cAAc,CAAC,CAAC;YACnD,CAAC;YAED,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,oBAAoB,CAC9B,qCAAqC,CACtC;wBACD,UAAU,EAAE,YAAY;qBACzB;oBACD,aAAa,EAAE,CAAC,aAAa,CAAC;oBAC9B,SAAS,EAAE,CAAC,QAAQ,CAAC;iBACtB;gBACD,cAAc;aACf,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;QACtC,MAAM,cAAc,GAAoB,CAAC,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;QAC1E,MAAM,IAAI,GAA0B,EAAE,CAAC;QACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,IAAI,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,MAAM,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,GAAG,WAAW,CAC3D,UAAU,EACV,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,iBAAiB,CAAC;gBACnC,aAAa,GAAG,oBAAoB,CAAC;gBACrC,cAAc,CAAC,KAAK,CAAC,GAAG,oBAAoB,CAAC;YAC/C,CAAC;YAED,MAAM,UAAU,GAAG,0BAA0B,KAAK,EAAE,CAAC;YACrD,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,4BAA4B,CACrE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,UAAU;aACvB,EACD,UAAU,EACV,aAAa,EACb,cAAc,CACf,CAAC;YACF,cAAc,GAAG,iBAAiB,CAAC;YAEnC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EACF,aAAa;4BACZ;gCACC,IAAI,EAAE,gBAAgB;gCACtB,OAAO,EAAE,QAAQ;6BACO;qBAC7B;iBACF;gBACD,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,OAAO;iBACpB;gBACD,SAAS,EAAE,IAAI;aAChB;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,qBAAqB,EAAE,EAAE,cAAc,CAAC,CAAC;IACnD,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;gBACvE,UAAU,EAAE,YAAY;aACzB;YACD,aAAa,EAAE,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,CAAC,QAAQ,CAAC;SACtB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-promise-static.d.ts

@@ -0,0 +1,7 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../../types.js";
+export declare const emitPromiseStaticCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext] | null;
+//# sourceMappingURL=call-promise-static.d.ts.map

package/dist/expressions/calls/call-promise-static.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-static.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-static.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAqB,MAAM,kBAAkB,CAAC;AAG3E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAElF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAiBrD,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,IAuP1C,CAAC"}

package/dist/expressions/calls/call-promise-static.js

@@ -0,0 +1,188 @@
+import { isAwaitableIrType } from "@tsonic/frontend";
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { buildCompletedTaskAst, buildTaskRunInvocation, getTaskResultType, } from "./call-promise-task-types.js";
+import { containsTypeParameter } from "../../core/semantic/type-resolution.js";
+import { getSequenceElementIrType, normalizePromiseChainResultIrType, } from "./call-promise-ir-types.js";
+import { buildPromiseRejectedExceptionAst, emitPromiseNormalizedTaskAst, getPromiseStaticMethod, } from "./call-promise-normalization.js";
+export const emitPromiseStaticCall = (expr, context, expectedType) => {
+    const method = getPromiseStaticMethod(expr);
+    if (!method)
+        return null;
+    let currentContext = context;
+    const emittedOutputType = expr.inferredType ??
+        (expectedType && isAwaitableIrType(expectedType)
+            ? expectedType
+            : undefined);
+    let [outputTaskType, outputTaskContext] = emitTypeAst(emittedOutputType ?? {
+        kind: "referenceType",
+        name: "Promise",
+        typeArguments: [{ kind: "referenceType", name: "object" }],
+    }, currentContext);
+    currentContext = outputTaskContext;
+    let outputResultType = getTaskResultType(outputTaskType);
+    if (!outputResultType && expectedType && isAwaitableIrType(expectedType)) {
+        const [expectedTaskType, expectedTaskContext] = emitTypeAst(expectedType, currentContext);
+        const expectedResultType = getTaskResultType(expectedTaskType);
+        if (expectedResultType) {
+            outputTaskType = expectedTaskType;
+            outputResultType = expectedResultType;
+            currentContext = expectedTaskContext;
+        }
+    }
+    if (outputResultType &&
+        containsTypeParameter(expr.inferredType ??
+            emittedOutputType ??
+            expectedType ?? {
+            kind: "referenceType",
+            name: "Promise",
+            typeArguments: [{ kind: "referenceType", name: "object" }],
+        }) &&
+        expectedType &&
+        isAwaitableIrType(expectedType)) {
+        const [expectedTaskType, expectedTaskContext] = emitTypeAst(expectedType, currentContext);
+        const expectedResultType = getTaskResultType(expectedTaskType);
+        if (expectedResultType && !containsTypeParameter(expectedType)) {
+            outputTaskType = expectedTaskType;
+            outputResultType = expectedResultType;
+            currentContext = expectedTaskContext;
+        }
+    }
+    if (method === "resolve") {
+        const argument = expr.arguments[0];
+        if (!argument) {
+            return [buildCompletedTaskAst(), currentContext];
+        }
+        const [valueAst, valueContext] = emitExpressionAst(argument, currentContext, argument.inferredType);
+        currentContext = valueContext;
+        const normalizedResultIrType = normalizePromiseChainResultIrType(argument.inferredType);
+        let preferredResultTypeAst = outputResultType;
+        if (normalizedResultIrType) {
+            const [normalizedResultTypeAst, normalizedResultTypeContext] = emitTypeAst(normalizedResultIrType, currentContext);
+            preferredResultTypeAst = normalizedResultTypeAst;
+            currentContext = normalizedResultTypeContext;
+        }
+        return emitPromiseNormalizedTaskAst(valueAst, argument.inferredType, preferredResultTypeAst, currentContext);
+    }
+    if (method === "reject") {
+        const reason = expr.arguments[0];
+        let reasonAst;
+        if (reason) {
+            [reasonAst, currentContext] = emitExpressionAst(reason, currentContext, reason.inferredType);
+        }
+        const exceptionAst = buildPromiseRejectedExceptionAst(reasonAst);
+        return [
+            {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: identifierExpression("global::System.Threading.Tasks.Task"),
+                    memberName: "FromException",
+                },
+                typeArguments: outputResultType ? [outputResultType] : undefined,
+                arguments: [exceptionAst],
+            },
+            currentContext,
+        ];
+    }
+    const valuesArg = expr.arguments[0];
+    if (!valuesArg)
+        return null;
+    const [valuesAst, valuesContext] = emitExpressionAst(valuesArg, currentContext, valuesArg.inferredType);
+    currentContext = valuesContext;
+    const inputElementType = getSequenceElementIrType(valuesArg.inferredType);
+    const resultElementTypeAst = outputResultType?.kind === "arrayType"
+        ? outputResultType.elementType
+        : outputResultType;
+    let normalizedValuesAst = valuesAst;
+    if (inputElementType) {
+        const [inputElementTypeAst, inputElementContext] = emitTypeAst(inputElementType, currentContext);
+        currentContext = inputElementContext;
+        const [normalizedTaskAst, normalizedTaskContext] = emitPromiseNormalizedTaskAst({
+            kind: "identifierExpression",
+            identifier: "__tsonic_promise_item",
+        }, inputElementType, resultElementTypeAst, currentContext);
+        currentContext = normalizedTaskContext;
+        normalizedValuesAst = {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::System.Linq.Enumerable.Select"),
+            arguments: [
+                valuesAst,
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [
+                        {
+                            name: "__tsonic_promise_item",
+                            type: inputElementTypeAst,
+                        },
+                    ],
+                    body: normalizedTaskAst,
+                },
+            ],
+        };
+    }
+    if (method === "all") {
+        return [
+            {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: identifierExpression("global::System.Threading.Tasks.Task"),
+                    memberName: "WhenAll",
+                },
+                arguments: [normalizedValuesAst],
+            },
+            currentContext,
+        ];
+    }
+    const whenAnyAst = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: identifierExpression("global::System.Threading.Tasks.Task"),
+            memberName: "WhenAny",
+        },
+        arguments: [normalizedValuesAst],
+    };
+    if (!outputResultType) {
+        return [
+            buildTaskRunInvocation(outputTaskType, {
+                kind: "blockStatement",
+                statements: [
+                    {
+                        kind: "expressionStatement",
+                        expression: {
+                            kind: "awaitExpression",
+                            expression: {
+                                kind: "awaitExpression",
+                                expression: whenAnyAst,
+                            },
+                        },
+                    },
+                ],
+            }, true),
+            currentContext,
+        ];
+    }
+    return [
+        buildTaskRunInvocation(outputTaskType, {
+            kind: "blockStatement",
+            statements: [
+                {
+                    kind: "returnStatement",
+                    expression: {
+                        kind: "awaitExpression",
+                        expression: {
+                            kind: "awaitExpression",
+                            expression: whenAnyAst,
+                        },
+                    },
+                },
+            ],
+        }, true),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-promise-static.js.map

package/dist/expressions/calls/call-promise-static.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-static.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-static.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AAEjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EACL,wBAAwB,EACxB,iCAAiC,GAClC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gCAAgC,EAChC,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA6C,EAC7C,OAAuB,EACvB,YAAqB,EACyB,EAAE;IAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,iBAAiB,GACrB,IAAI,CAAC,YAAY;QACjB,CAAC,YAAY,IAAI,iBAAiB,CAAC,YAAY,CAAC;YAC9C,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAC,CAAC;IACjB,IAAI,CAAC,cAAc,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACnD,iBAAiB,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;IACnC,IAAI,gBAAgB,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;IACzD,IAAI,CAAC,gBAAgB,IAAI,YAAY,IAAI,iBAAiB,CAAC,YAAY,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACzD,YAAY,EACZ,cAAc,CACf,CAAC;QACF,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAC/D,IAAI,kBAAkB,EAAE,CAAC;YACvB,cAAc,GAAG,gBAAgB,CAAC;YAClC,gBAAgB,GAAG,kBAAkB,CAAC;YACtC,cAAc,GAAG,mBAAmB,CAAC;QACvC,CAAC;IACH,CAAC;IACD,IACE,gBAAgB;QAChB,qBAAqB,CACnB,IAAI,CAAC,YAAY;YACf,iBAAiB;YACjB,YAAY,IAAI;YACd,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,SAAS;YACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC3D,CACJ;QACD,YAAY;QACZ,iBAAiB,CAAC,YAAY,CAAC,EAC/B,CAAC;QACD,MAAM,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACzD,YAAY,EACZ,cAAc,CACf,CAAC;QACF,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAC/D,IAAI,kBAAkB,IAAI,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/D,cAAc,GAAG,gBAAgB,CAAC;YAClC,gBAAgB,GAAG,kBAAkB,CAAC;YACtC,cAAc,GAAG,mBAAmB,CAAC;QACvC,CAAC;IACH,CAAC;IAED,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,qBAAqB,EAAE,EAAE,cAAc,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,QAAQ,EACR,cAAc,EACd,QAAQ,CAAC,YAAY,CACtB,CAAC;QACF,cAAc,GAAG,YAAY,CAAC;QAC9B,MAAM,sBAAsB,GAAG,iCAAiC,CAC9D,QAAQ,CAAC,YAAY,CACtB,CAAC;QACF,IAAI,sBAAsB,GAAG,gBAAgB,CAAC;QAC9C,IAAI,sBAAsB,EAAE,CAAC;YAC3B,MAAM,CAAC,uBAAuB,EAAE,2BAA2B,CAAC,GAC1D,WAAW,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC;YACtD,sBAAsB,GAAG,uBAAuB,CAAC;YACjD,cAAc,GAAG,2BAA2B,CAAC;QAC/C,CAAC;QACD,OAAO,4BAA4B,CACjC,QAAQ,EACR,QAAQ,CAAC,YAAY,EACrB,sBAAsB,EACtB,cAAc,CACf,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,SAA0C,CAAC;QAC/C,IAAI,MAAM,EAAE,CAAC;YACX,CAAC,SAAS,EAAE,cAAc,CAAC,GAAG,iBAAiB,CAC7C,MAAM,EACN,cAAc,EACd,MAAM,CAAC,YAAY,CACpB,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;QACjE,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,oBAAoB,CAC9B,qCAAqC,CACtC;oBACD,UAAU,EAAE,eAAe;iBAC5B;gBACD,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS;gBAChE,SAAS,EAAE,CAAC,YAAY,CAAC;aAC1B;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,SAAS,EACT,cAAc,EACd,SAAS,CAAC,YAAY,CACvB,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAE/B,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC1E,MAAM,oBAAoB,GACxB,gBAAgB,EAAE,IAAI,KAAK,WAAW;QACpC,CAAC,CAAC,gBAAgB,CAAC,WAAW;QAC9B,CAAC,CAAC,gBAAgB,CAAC;IAEvB,IAAI,mBAAmB,GAAG,SAAS,CAAC;IACpC,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAAG,WAAW,CAC5D,gBAAgB,EAChB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,mBAAmB,CAAC;QAErC,MAAM,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,GAC9C,4BAA4B,CAC1B;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,uBAAuB;SACpC,EACD,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,CACf,CAAC;QACJ,cAAc,GAAG,qBAAqB,CAAC;QAEvC,mBAAmB,GAAG;YACpB,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAAC,uCAAuC,CAAC;YACzE,SAAS,EAAE;gBACT,SAAS;gBACT;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,uBAAuB;4BAC7B,IAAI,EAAE,mBAAmB;yBAC1B;qBACF;oBACD,IAAI,EAAE,iBAAiB;iBACxB;aACF;SACF,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,oBAAoB,CAC9B,qCAAqC,CACtC;oBACD,UAAU,EAAE,SAAS;iBACtB;gBACD,SAAS,EAAE,CAAC,mBAAmB,CAAC;aACjC;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;YACvE,UAAU,EAAE,SAAS;SACtB;QACD,SAAS,EAAE,CAAC,mBAAmB,CAAC;KACjC,CAAC;IAEF,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO;YACL,sBAAsB,CACpB,cAAc,EACd;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE;gCACV,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE,UAAU;6BACvB;yBACF;qBACF;iBACF;aACF,EACD,IAAI,CACL;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,OAAO;QACL,sBAAsB,CACpB,cAAc,EACd;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE;wBACV,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE;4BACV,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE,UAAU;yBACvB;qBACF;iBACF;aACF;SACF,EACD,IAAI,CACL;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-promise-task-types.d.ts

@@ -0,0 +1,9 @@
+import type { CSharpBlockStatementAst, CSharpExpressionAst, CSharpTypeAst } from "../../core/format/backend-ast/types.js";
+export declare const isTaskTypeAst: (typeAst: CSharpTypeAst) => boolean;
+export declare const containsVoidTypeAst: (typeAst: CSharpTypeAst) => boolean;
+export declare const getTaskResultType: (typeAst: CSharpTypeAst) => CSharpTypeAst | undefined;
+export declare const buildDelegateType: (parameterTypes: readonly CSharpTypeAst[], returnType: CSharpTypeAst | undefined) => CSharpTypeAst;
+export declare const buildTaskTypeAst: (resultType: CSharpTypeAst | undefined) => CSharpTypeAst;
+export declare const buildTaskRunInvocation: (outputTaskType: CSharpTypeAst, body: CSharpBlockStatementAst, isAsync: boolean) => CSharpExpressionAst;
+export declare const buildCompletedTaskAst: () => CSharpExpressionAst;
+//# sourceMappingURL=call-promise-task-types.d.ts.map

package/dist/expressions/calls/call-promise-task-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-task-types.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-task-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACd,MAAM,wCAAwC,CAAC;AAOhD,eAAO,MAAM,aAAa,GAAI,SAAS,aAAa,KAAG,OACR,CAAC;AAEhD,eAAO,MAAM,mBAAmB,GAAI,SAAS,aAAa,KAAG,OAmC5D,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,SAAS,aAAa,KACrB,aAAa,GAAG,SAalB,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,gBAAgB,SAAS,aAAa,EAAE,EACxC,YAAY,aAAa,GAAG,SAAS,KACpC,aAeF,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,YAAY,aAAa,GAAG,SAAS,KACpC,aAGwD,CAAC;AAE5D,eAAO,MAAM,sBAAsB,GACjC,gBAAgB,aAAa,EAC7B,MAAM,uBAAuB,EAC7B,SAAS,OAAO,KACf,mBAmBF,CAAC;AAEF,eAAO,MAAM,qBAAqB,QAAO,mBAIvC,CAAC"}

package/dist/expressions/calls/call-promise-task-types.js

@@ -0,0 +1,88 @@
+import { identifierExpression, identifierType, } from "../../core/format/backend-ast/builders.js";
+import { getIdentifierTypeLeafName } from "../../core/format/backend-ast/utils.js";
+export const isTaskTypeAst = (typeAst) => getIdentifierTypeLeafName(typeAst) === "Task";
+export const containsVoidTypeAst = (typeAst) => {
+    if (typeAst.kind === "predefinedType" && typeAst.keyword === "void") {
+        return true;
+    }
+    if (typeAst.kind === "identifierType") {
+        if (typeAst.name === "void") {
+            return true;
+        }
+        return (typeAst.typeArguments ?? []).some((member) => containsVoidTypeAst(member));
+    }
+    if (typeAst.kind === "qualifiedIdentifierType") {
+        if (getIdentifierTypeLeafName(typeAst) === "void") {
+            return true;
+        }
+        return (typeAst.typeArguments ?? []).some((member) => containsVoidTypeAst(member));
+    }
+    if (typeAst.kind === "arrayType") {
+        return containsVoidTypeAst(typeAst.elementType);
+    }
+    if (typeAst.kind === "nullableType") {
+        return containsVoidTypeAst(typeAst.underlyingType);
+    }
+    if (typeAst.kind === "pointerType") {
+        return containsVoidTypeAst(typeAst.elementType);
+    }
+    if (typeAst.kind === "tupleType") {
+        return typeAst.elements.some((element) => containsVoidTypeAst(element.type));
+    }
+    return false;
+};
+export const getTaskResultType = (typeAst) => {
+    if (!isTaskTypeAst(typeAst)) {
+        return undefined;
+    }
+    if (typeAst.kind !== "identifierType" &&
+        typeAst.kind !== "qualifiedIdentifierType") {
+        return undefined;
+    }
+    return typeAst.typeArguments?.length === 1
+        ? typeAst.typeArguments[0]
+        : undefined;
+};
+export const buildDelegateType = (parameterTypes, returnType) => {
+    const isVoidReturn = returnType?.kind === "predefinedType" && returnType.keyword === "void";
+    if (returnType === undefined) {
+        return parameterTypes.length === 0
+            ? identifierType("global::System.Action")
+            : identifierType("global::System.Action", parameterTypes);
+    }
+    if (isVoidReturn || getIdentifierTypeLeafName(returnType) === "void") {
+        return parameterTypes.length === 0
+            ? identifierType("global::System.Action")
+            : identifierType("global::System.Action", parameterTypes);
+    }
+    return identifierType("global::System.Func", [...parameterTypes, returnType]);
+};
+export const buildTaskTypeAst = (resultType) => resultType
+    ? identifierType("global::System.Threading.Tasks.Task", [resultType])
+    : identifierType("global::System.Threading.Tasks.Task");
+export const buildTaskRunInvocation = (outputTaskType, body, isAsync) => {
+    const resultType = getTaskResultType(outputTaskType);
+    return {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: identifierExpression("global::System.Threading.Tasks.Task"),
+            memberName: "Run",
+        },
+        arguments: [
+            {
+                kind: "lambdaExpression",
+                isAsync,
+                parameters: [],
+                body,
+            },
+        ],
+        typeArguments: resultType ? [resultType] : undefined,
+    };
+};
+export const buildCompletedTaskAst = () => ({
+    kind: "memberAccessExpression",
+    expression: identifierExpression("global::System.Threading.Tasks.Task"),
+    memberName: "CompletedTask",
+});
+//# sourceMappingURL=call-promise-task-types.js.map

package/dist/expressions/calls/call-promise-task-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-task-types.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-task-types.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAEnF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAsB,EAAW,EAAE,CAC/D,yBAAyB,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC;AAEhD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAsB,EAAW,EAAE;IACrE,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,mBAAmB,CAAC,MAAM,CAAC,CAC5B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC/C,IAAI,yBAAyB,CAAC,OAAO,CAAC,KAAK,MAAM,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,mBAAmB,CAAC,MAAM,CAAC,CAC5B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,OAAO,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAClC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAAsB,EACK,EAAE;IAC7B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,gBAAgB;QACjC,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAC1C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QACxC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,cAAwC,EACxC,UAAqC,EACtB,EAAE;IACjB,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,gBAAgB,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,CAAC;IACzE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;YAChC,CAAC,CAAC,cAAc,CAAC,uBAAuB,CAAC;YACzC,CAAC,CAAC,cAAc,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,YAAY,IAAI,yBAAyB,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;QACrE,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC;YAChC,CAAC,CAAC,cAAc,CAAC,uBAAuB,CAAC;YACzC,CAAC,CAAC,cAAc,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,cAAc,CAAC,qBAAqB,EAAE,CAAC,GAAG,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAqC,EACtB,EAAE,CACjB,UAAU;IACR,CAAC,CAAC,cAAc,CAAC,qCAAqC,EAAE,CAAC,UAAU,CAAC,CAAC;IACrE,CAAC,CAAC,cAAc,CAAC,qCAAqC,CAAC,CAAC;AAE5D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,cAA6B,EAC7B,IAA6B,EAC7B,OAAgB,EACK,EAAE;IACvB,MAAM,UAAU,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;IACrD,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;YACvE,UAAU,EAAE,KAAK;SAClB;QACD,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,kBAAkB;gBACxB,OAAO;gBACP,UAAU,EAAE,EAAE;gBACd,IAAI;aACL;SACF;QACD,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAwB,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,wBAAwB;IAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;IACvE,UAAU,EAAE,eAAe;CAC5B,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Promise and async call emission.
+ *
+ * Public surface barrel for Promise static-call lowering and then/catch/finally
+ * chain lowering.
+ */
+export { buildCompletedTaskAst, buildDelegateType, buildTaskRunInvocation, } from "./call-promise-task-types.js";
+export { emitPromiseStaticCall } from "./call-promise-static.js";
+export { emitPromiseThenCatchFinally } from "./call-promise-chains.js";
+export { isPromiseChainMethod } from "./call-analysis.js";
+//# sourceMappingURL=call-promise.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/expressions/calls/call-promise.js

@@ -0,0 +1,11 @@
+/**
+ * Promise and async call emission.
+ *
+ * Public surface barrel for Promise static-call lowering and then/catch/finally
+ * chain lowering.
+ */
+export { buildCompletedTaskAst, buildDelegateType, buildTaskRunInvocation, } from "./call-promise-task-types.js";
+export { emitPromiseStaticCall } from "./call-promise-static.js";
+export { emitPromiseThenCatchFinally } from "./call-promise-chains.js";
+export { isPromiseChainMethod } from "./call-analysis.js";
+//# sourceMappingURL=call-promise.js.map

package/dist/expressions/calls/call-promise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/expressions/calls/call-runtime-union-guards.d.ts

@@ -0,0 +1,7 @@
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const emitRuntimeUnionArrayIsArrayCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=call-runtime-union-guards.d.ts.map

package/dist/expressions/calls/call-runtime-union-guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-runtime-union-guards.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-runtime-union-guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAgBhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AA2FlF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAmF1C,CAAC"}