poe-code 14.0.57 → 14.0.59

package/packages/safe-js/dist/interp/interpreter.js

@@ -4,6 +4,7 @@ import { toPropertyKey } from "./property-key.js";
 import { assertPromiseExecutionAllowed } from "./promise-tracker.js";
 import { SandboxJobQueue, runAsyncPrefix, suspendJob } from "./jobs.js";
 import { withCancellationSignal } from "./cancel.js";
+import { runResources } from "./resources.js";
 import { attachErrorSpan, formatErrorStack, replaceErrorStack } from "../error/shape.js";
 import { evaluateArrowFunctionExpression, evaluateFunctionExpression, evaluateAwaitExpression, emitResumeBreakpoint, createInterpretedClosure, normalizeClosureResult } from "./async.js";
 import { HostCallResumabilityError } from "./host-call.js";
@@ -272,89 +273,114 @@ async function evaluateEmptyStatement(_node, _context) {
 }
 async function evaluateArrayExpression(node, context) {
     const values = [];
-    for (const element of node.elements) {
-        if (element.type === "UndefinedLiteral" && element.elision === true) {
-            values.length += 1;
-            context.budget.allocateArrayLength(values.length);
-            continue;
-        }
-        if (element.type === "SpreadElement") {
-            const spreadValues = await evaluateSpreadElement(element, context);
-            if (!spreadValues.ok) {
-                return spreadValues.result;
+    const release = retainValues(context.budget, () => [values]);
+    try {
+        for (const element of node.elements) {
+            if (element.type === "UndefinedLiteral" && element.elision === true) {
+                values.length += 1;
+                context.budget.allocateArrayLength(values.length);
+                continue;
+            }
+            if (element.type === "SpreadElement") {
+                const spreadValues = await evaluateSpreadElement(element, context);
+                if (!spreadValues.ok) {
+                    return spreadValues.result;
+                }
+                appendArrayValues(values, spreadValues.value);
+                context.budget.allocateArrayLength(values.length);
+                continue;
+            }
+            const result = await evaluateNode(element, context);
+            if (result.kind !== "normal") {
+                return result;
             }
-            appendArrayValues(values, spreadValues.value);
+            values.push(result.value);
             context.budget.allocateArrayLength(values.length);
-            continue;
-        }
-        const result = await evaluateNode(element, context);
-        if (result.kind !== "normal") {
-            return result;
         }
-        values.push(result.value);
-        context.budget.allocateArrayLength(values.length);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value: values
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        kind: "normal",
-        hasValue: true,
-        value: values
-    };
 }
 async function evaluateObjectExpression(node, context) {
     const object = Object.create(null);
-    for (const property of node.properties) {
-        if (property.type === "SpreadElement") {
-            const spreadEntries = await evaluateObjectSpread(property, context);
-            if (!spreadEntries.ok) {
-                return spreadEntries.result;
+    const release = retainValues(context.budget, () => [object]);
+    try {
+        for (const property of node.properties) {
+            if (property.type === "SpreadElement") {
+                const spreadEntries = await evaluateObjectSpread(property, context);
+                if (!spreadEntries.ok) {
+                    return spreadEntries.result;
+                }
+                for (const [key, value] of spreadEntries.value) {
+                    defineSandboxProperty(object, key, value);
+                }
+                continue;
             }
-            for (const [key, value] of spreadEntries.value) {
-                defineSandboxProperty(object, key, value);
+            const key = await evaluateObjectPropertyKey(property, context);
+            if (!key.ok) {
+                return key.result;
             }
-            continue;
-        }
-        const key = await evaluateObjectPropertyKey(property, context);
-        if (!key.ok) {
-            return key.result;
-        }
-        const value = await evaluateNode(property.value, context);
-        if (value.kind !== "normal") {
-            return value;
-        }
-        if (isObjectPrototypeSetterProperty(property, key.value)) {
-            if (value.value === null || typeof value.value === "object") {
-                setSandboxPrototype(object, value.value, context.budget);
+            const releaseKey = retainValues(context.budget, () => [key.value]);
+            let value;
+            try {
+                value = await evaluateNode(property.value, context);
             }
-            continue;
+            finally {
+                releaseKey();
+            }
+            if (value.kind !== "normal") {
+                return value;
+            }
+            if (isObjectPrototypeSetterProperty(property, key.value)) {
+                if (value.value === null || typeof value.value === "object") {
+                    setSandboxPrototype(object, value.value, context.budget);
+                }
+                continue;
+            }
+            defineSandboxProperty(object, String(key.value), value.value);
         }
-        defineSandboxProperty(object, String(key.value), value.value);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value: object
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        kind: "normal",
-        hasValue: true,
-        value: object
-    };
 }
 function isObjectPrototypeSetterProperty(property, key) {
     return !property.computed && !property.shorthand && key === "__proto__";
 }
 async function evaluateTemplateLiteral(node, context) {
     let value = context.budget.allocateString(node.quasis[0]?.value.cooked ?? "");
-    for (let index = 0; index < node.expressions.length; index += 1) {
-        const expression = await evaluateNode(node.expressions[index], context);
-        if (expression.kind !== "normal") {
-            return expression;
+    const release = retainValues(context.budget, () => [value]);
+    try {
+        for (let index = 0; index < node.expressions.length; index += 1) {
+            const expression = await evaluateNode(node.expressions[index], context);
+            if (expression.kind !== "normal") {
+                return expression;
+            }
+            const expressionText = context.budget.allocateString(String(expression.value));
+            value = context.budget.allocateString(value + expressionText);
+            const quasiText = context.budget.allocateString(node.quasis[index + 1]?.value.cooked ?? "");
+            value = context.budget.allocateString(value + quasiText);
         }
-        const expressionText = context.budget.allocateString(String(expression.value));
-        value = context.budget.allocateString(value + expressionText);
-        const quasiText = context.budget.allocateString(node.quasis[index + 1]?.value.cooked ?? "");
-        value = context.budget.allocateString(value + quasiText);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        kind: "normal",
-        hasValue: true,
-        value
-    };
 }
 async function evaluateTaggedTemplateExpression(node, context) {
     const tag = await evaluateNode(node.tag, context);
@@ -376,20 +402,26 @@ async function evaluateTaggedTemplateExpression(node, context) {
 }
 async function evaluateTemplateExpressionValues(node, context) {
     const values = [];
-    for (const expressionNode of node.expressions) {
-        const expression = await evaluateNode(expressionNode, context);
-        if (expression.kind !== "normal") {
-            return {
-                ok: false,
-                result: expression
-            };
+    const release = retainValues(context.budget, () => values);
+    try {
+        for (const expressionNode of node.expressions) {
+            const expression = await evaluateNode(expressionNode, context);
+            if (expression.kind !== "normal") {
+                return {
+                    ok: false,
+                    result: expression
+                };
+            }
+            values.push(expression.value);
         }
-        values.push(expression.value);
+        return {
+            ok: true,
+            value: values
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        ok: true,
-        value: values
-    };
 }
 function createTaggedTemplateStrings(node, context) {
     context.budget.allocateArrayLength(node.quasis.length);
@@ -429,23 +461,31 @@ async function evaluateBinaryExpression(node, context) {
     if (left.kind !== "normal") {
         return left;
     }
-    const right = await evaluateNode(node.right, context);
-    if (right.kind !== "normal") {
-        return right;
-    }
-    let leftValue = left.value;
-    if (node.operator === "in") {
-        if (typeof right.value !== "object" || right.value === null) {
-            throw new TypeError("Right-hand side of 'in' must be an object.");
+    let rightValue;
+    const release = retainValues(context.budget, () => [left.value, rightValue]);
+    try {
+        const right = await evaluateNode(node.right, context);
+        if (right.kind !== "normal") {
+            return right;
         }
-        leftValue = await toPropertyKey(leftValue, context.budget, createCoercionContext(context));
+        rightValue = right.value;
+        let leftValue = left.value;
+        if (node.operator === "in") {
+            if (typeof right.value !== "object" || right.value === null) {
+                throw new TypeError("Right-hand side of 'in' must be an object.");
+            }
+            leftValue = await toPropertyKey(leftValue, context.budget, createCoercionContext(context));
+        }
+        const value = applyBinaryOperator(node, leftValue, right.value, context);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value
+        };
+    }
+    finally {
+        release();
     }
-    const value = applyBinaryOperator(node, leftValue, right.value, context);
-    return {
-        kind: "normal",
-        hasValue: true,
-        value
-    };
 }
 async function evaluateAssignmentExpression(node, context) {
     if (node.left.type === "ArrayPattern" || node.left.type === "ObjectPattern") {
@@ -519,66 +559,70 @@ async function evaluateMemberAssignmentExpression(node, context) {
     if (node.left.type !== "MemberExpression") {
         throw new TypeError("Expected member assignment target.");
     }
-    const member = await evaluateMemberAccess(node.left, context);
-    if (member.kind === "error") {
-        return member;
-    }
-    if (member.kind === "completion") {
-        return member.result;
-    }
-    if (member.kind === "nullish") {
-        throw new TypeError("Cannot assign properties of null or undefined.");
-    }
-    let property;
-    let current = undefined;
-    if (node.operator !== "=") {
-        if (member.object === null || member.object === undefined) {
+    return evaluateMemberAccess(node.left, context, async (member) => {
+        if (member.kind === "nullish") {
             throw new TypeError("Cannot assign properties of null or undefined.");
         }
-        property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
-        current = getPropertyValue(member.object, property, context);
-    }
-    if (node.operator === "&&=" && !isTruthy(current)) {
-        return {
-            kind: "normal",
-            hasValue: true,
-            value: current
-        };
-    }
-    if (node.operator === "||=" && isTruthy(current)) {
-        return {
-            kind: "normal",
-            hasValue: true,
-            value: current
-        };
-    }
-    if (node.operator === "??=" && current !== null && current !== undefined) {
-        return {
-            kind: "normal",
-            hasValue: true,
-            value: current
-        };
-    }
-    const right = await evaluateNode(node.right, context);
-    if (right.kind !== "normal") {
-        return right;
-    }
-    const value = node.operator === "=" ||
-        node.operator === "&&=" ||
-        node.operator === "||=" ||
-        node.operator === "??="
-        ? right.value
-        : await applyCompoundAssignmentOperator(node.operator, current, right.value, context);
-    if (member.object === null || member.object === undefined) {
-        throw new TypeError("Cannot assign properties of null or undefined.");
-    }
-    property ??= await toPropertyKey(member.property, context.budget, createCoercionContext(context));
-    setSandboxProperty(member.object, property, value, context.budget);
-    return {
-        kind: "normal",
-        hasValue: true,
-        value
-    };
+        let property;
+        let current = undefined;
+        if (node.operator !== "=") {
+            if (member.object === null || member.object === undefined) {
+                throw new TypeError("Cannot assign properties of null or undefined.");
+            }
+            property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
+            current = getPropertyValue(member.object, property, context);
+        }
+        if (node.operator === "&&=" && !isTruthy(current)) {
+            return {
+                kind: "normal",
+                hasValue: true,
+                value: current
+            };
+        }
+        if (node.operator === "||=" && isTruthy(current)) {
+            return {
+                kind: "normal",
+                hasValue: true,
+                value: current
+            };
+        }
+        if (node.operator === "??=" && current !== null && current !== undefined) {
+            return {
+                kind: "normal",
+                hasValue: true,
+                value: current
+            };
+        }
+        let operands = [current, property];
+        const release = retainValues(context.budget, () => operands);
+        try {
+            const right = await evaluateNode(node.right, context);
+            if (right.kind !== "normal") {
+                return right;
+            }
+            operands.push(right.value);
+            const value = node.operator === "=" ||
+                node.operator === "&&=" ||
+                node.operator === "||=" ||
+                node.operator === "??="
+                ? right.value
+                : await applyCompoundAssignmentOperator(node.operator, current, right.value, context);
+            if (member.object === null || member.object === undefined) {
+                throw new TypeError("Cannot assign properties of null or undefined.");
+            }
+            operands = [value];
+            property ??= await toPropertyKey(member.property, context.budget, createCoercionContext(context));
+            setSandboxProperty(member.object, property, value, context.budget);
+            return {
+                kind: "normal",
+                hasValue: true,
+                value
+            };
+        }
+        finally {
+            release();
+        }
+    });
 }
 async function evaluateLogicalExpression(node, context) {
     const left = await evaluateNode(node.left, context);
@@ -1572,33 +1616,28 @@ async function evaluateDeleteExpression(node, context) {
     if (node.argument.type !== "MemberExpression") {
         throw createError("UNSUPPORTED_NODE", node, "Unary operator 'delete' requires a member target.");
     }
-    const member = await evaluateMemberAccess(node.argument, context);
-    if (member.kind === "error") {
-        return member;
-    }
-    if (member.kind === "completion") {
-        return member.result;
-    }
-    if (member.kind === "nullish" || member.object === null || member.object === undefined) {
-        if (member.kind === "nullish" && node.argument.optional) {
-            return {
-                kind: "normal",
-                hasValue: true,
-                value: true
-            };
+    return evaluateMemberAccess(node.argument, context, async (member) => {
+        if (member.kind === "nullish" || member.object === null || member.object === undefined) {
+            if (member.kind === "nullish") {
+                return {
+                    kind: "normal",
+                    hasValue: true,
+                    value: true
+                };
+            }
+            throw new TypeError("Cannot delete properties of null or undefined.");
         }
-        throw new TypeError("Cannot delete properties of null or undefined.");
-    }
-    if (!isIndexableSandboxValue(member.object)) {
-        throw new TypeError("Unary operator 'delete' requires a sandbox object property.");
-    }
-    const property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
-    const deleted = deleteSandboxProperty(member.object, property);
-    return {
-        kind: "normal",
-        hasValue: true,
-        value: deleted
-    };
+        if (!isIndexableSandboxValue(member.object)) {
+            throw new TypeError("Unary operator 'delete' requires a sandbox object property.");
+        }
+        const property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
+        const deleted = deleteSandboxProperty(member.object, property);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value: deleted
+        };
+    });
 }
 async function evaluateUpdateExpression(node, context) {
     if (node.argument.type === "Identifier") {
@@ -1630,42 +1669,34 @@ async function evaluateMemberUpdateExpression(node, context) {
     if (node.argument.type !== "MemberExpression") {
         throw new TypeError("Expected member update target.");
     }
-    const member = await evaluateMemberAccess(node.argument, context);
-    if (member.kind === "error") {
-        return member;
-    }
-    if (member.kind === "completion") {
-        return member.result;
-    }
-    if (member.kind === "nullish" || member.object === null || member.object === undefined) {
-        throw new TypeError("Cannot update properties of null or undefined.");
-    }
-    const property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
-    const current = toNumber(await toNumericPrimitive(getPropertyValue(member.object, property, context), context));
-    const next = node.operator === "++" ? current + 1 : current - 1;
-    setSandboxProperty(member.object, property, next, context.budget);
-    return {
-        kind: "normal",
-        hasValue: true,
-        value: node.prefix ? next : current
-    };
+    return evaluateMemberAccess(node.argument, context, async (member) => {
+        if (member.kind === "nullish" || member.object === null || member.object === undefined) {
+            throw new TypeError("Cannot update properties of null or undefined.");
+        }
+        const property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
+        const current = toNumber(await toNumericPrimitive(getPropertyValue(member.object, property, context), context));
+        const next = node.operator === "++" ? current + 1 : current - 1;
+        setSandboxProperty(member.object, property, next, context.budget);
+        return {
+            kind: "normal",
+            hasValue: true,
+            value: node.prefix ? next : current
+        };
+    });
 }
 async function evaluateMemberExpression(node, context) {
-    const member = await evaluateMemberAccess(node, context);
-    if (member.kind === "error")
-        return member;
-    if (member.kind === "completion")
-        return member.result;
-    if (member.kind === "nullish" || member.object === null || member.object === undefined) {
-        if (member.kind === "nullish" && node.optional)
-            return { kind: "normal", hasValue: true, value: undefined };
-        throw new TypeError("Cannot read properties of null or undefined.");
-    }
-    return {
-        kind: "normal",
-        hasValue: true,
-        value: getPropertyValue(member.object, await toPropertyKey(member.property, context.budget, createCoercionContext(context)), context)
-    };
+    return evaluateMemberAccess(node, context, async (member) => {
+        if (member.kind === "nullish" || member.object === null || member.object === undefined) {
+            if (member.kind === "nullish")
+                return { kind: "normal", hasValue: true, value: undefined };
+            throw new TypeError("Cannot read properties of null or undefined.");
+        }
+        return {
+            kind: "normal",
+            hasValue: true,
+            value: getPropertyValue(member.object, await toPropertyKey(member.property, context.budget, createCoercionContext(context)), context)
+        };
+    });
 }
 function getPropertyValue(target, property, context) {
     if (isGuestHostObject(target))
@@ -1778,29 +1809,38 @@ function attachFatalSandboxErrorContext(error, node, stackFrames) {
     attachErrorSpan(error, node.span);
     replaceErrorStack(error, stackFrames);
 }
-async function evaluateMemberAccess(node, context) {
+async function evaluateMemberAccess(node, context, consume) {
     const object = await evaluateNode(node.object, context);
-    if (object.kind !== "normal") {
-        return {
-            kind: "completion",
-            result: object
-        };
-    }
+    if (object.kind !== "normal")
+        return object;
     if ((object.value === null || object.value === undefined) && node.optional) {
-        return {
-            kind: "nullish"
-        };
+        return consume({ kind: "nullish" });
     }
-    const property = node.computed
-        ? await evaluateNode(node.property, context)
-        : { kind: "normal", value: getStaticPropertyName(node.property) };
-    if (property.kind !== "normal")
-        return { kind: "completion", result: property };
-    return {
-        kind: "resolved",
-        object: object.value,
-        property: property.value
+    let property;
+    const release = retainValues(context.budget, () => [object.value, property]);
+    try {
+        const result = node.computed
+            ? await evaluateNode(node.property, context)
+            : { kind: "normal", value: getStaticPropertyName(node.property) };
+        if (result.kind !== "normal")
+            return result;
+        property = result.value;
+        return await consume({ kind: "resolved", object: object.value, property });
+    }
+    finally {
+        release();
+    }
+}
+function retainValues(budget, values) {
+    const retained = {};
+    budget.setRetainedValues(retained, values);
+    const pending = runResources.getStore()?.referenceReleases;
+    const release = () => {
+        budget.setRetainedValues(retained, undefined);
+        pending?.delete(release);
     };
+    pending?.add(release);
+    return release;
 }
 async function evaluateMemberProperty(node, context) {
     const property = await evaluateNode(node, context);
@@ -1837,89 +1877,84 @@ async function evaluateMemberCallExpression(node, context) {
     if (node.callee.type !== "MemberExpression") {
         throw new TypeError("Expected member call expression.");
     }
-    const reference = await evaluateMemberAccess(node.callee, context);
-    if (reference.kind === "error") {
-        return reference;
-    }
-    if (reference.kind === "completion") {
-        return reference.result;
-    }
-    if (reference.kind === "nullish" || reference.object === null || reference.object === undefined) {
-        if (reference.kind === "nullish") {
-            return {
-                kind: "normal",
-                hasValue: true,
-                value: undefined
-            };
+    return evaluateMemberAccess(node.callee, context, async (reference) => {
+        if (reference.kind === "nullish" || reference.object === null || reference.object === undefined) {
+            if (reference.kind === "nullish") {
+                return {
+                    kind: "normal",
+                    hasValue: true,
+                    value: undefined
+                };
+            }
+            throw new TypeError("Cannot read properties of null or undefined.");
         }
-        throw new TypeError("Cannot read properties of null or undefined.");
-    }
-    const member = {
-        ...reference,
-        property: await toPropertyKey(reference.property, context.budget, createCoercionContext(context))
-    };
-    if (typeof member.object === "string" && isStringMethodName(member.property)) {
-        return evaluateStringMethodCall(node, member.object, member.property, context);
-    }
-    if (typeof member.object === "number" && isNumberMethodName(member.property)) {
-        return evaluateNumberMethodCall(node, member.object, member.property, context);
-    }
-    if (Array.isArray(member.object) &&
-        isArrayMethodName(member.property) &&
-        !Object.hasOwn(member.object, member.property)) {
-        return evaluateArrayMethodCall(node, member.object, member.property, context);
-    }
-    if (isSandboxMap(member.object) && isMapMethodName(member.property)) {
-        return evaluateMapMethodCall(node, member.object, member.property, context);
-    }
-    if (isSandboxSet(member.object) && isSetMethodName(member.property)) {
-        return evaluateSetMethodCall(node, member.object, member.property, context);
-    }
-    if (typeof member.object === "string") {
-        return evaluatePrimitiveMemberCall(node, "String", member.property, getStringMember(member.object, member.property, context.budget), context);
-    }
-    if (typeof member.object === "number") {
-        return evaluatePrimitiveMemberCall(node, "Number", member.property, getNumberMember(member.property, context.budget), context);
-    }
-    if (Array.isArray(member.object) && !Object.hasOwn(member.object, member.property)) {
-        return evaluatePrimitiveMemberCall(node, "Array", member.property, getArrayMemberValue(member.object, member.property, context), context);
-    }
-    if (isSandboxMap(member.object)) {
-        return evaluatePrimitiveMemberCall(node, "Map", member.property, getMapMember(member.object, member.property, createMapMethodOptions(context)), context);
-    }
-    if (isSandboxDate(member.object)) {
-        return evaluateResolvedCallExpression(node, getDateMember(member.property, context.budget, context.compilation?.owner), context, member.object);
-    }
-    if (isFloat32Array(member.object)) {
-        return evaluateResolvedCallExpression(node, getFloat32Member(member.object, member.property, context.budget), context, member.object);
-    }
-    if (isSandboxSet(member.object)) {
-        return evaluatePrimitiveMemberCall(node, "Set", member.property, getSetMember(member.object, member.property, createSetMethodOptions(context)), context);
-    }
-    if (isSandboxGenerator(member.object)) {
-        const memberValue = getGeneratorMember(member.object, member.property, context.budget);
-        if (memberValue === undefined) {
-            throw new TypeError(`Generator#${String(member.property)} is not a supported method.`);
+        const member = {
+            ...reference,
+            property: await toPropertyKey(reference.property, context.budget, createCoercionContext(context))
+        };
+        if (typeof member.object === "string" && isStringMethodName(member.property)) {
+            return evaluateStringMethodCall(node, member.object, member.property, context);
         }
-        return evaluateResolvedCallExpression(node, memberValue, context, member.object);
-    }
-    if (isSandboxClosure(member.object)) {
-        const memberValue = getClosureMemberValue(member.object, member.property, context);
-        if (memberValue === undefined) {
-            throw new TypeError(`Function#${String(member.property)} is not a supported method.`);
+        if (typeof member.object === "number" && isNumberMethodName(member.property)) {
+            return evaluateNumberMethodCall(node, member.object, member.property, context);
         }
-        return evaluateResolvedCallExpression(node, memberValue, context, member.object);
-    }
-    if (isSandboxPromise(member.object)) {
-        return evaluateResolvedCallExpression(node, getPromiseMember(member.property, context.budget), context, member.object);
-    }
-    if (isSandboxRegex(member.object) && isRegexMethodName(member.property)) {
-        return evaluateResolvedCallExpression(node, getRegexMember(member.object, member.property, context.budget), context, member.object);
-    }
-    if (!isIndexableSandboxValue(member.object)) {
-        throw new TypeError("Attempted to read a property from a non-object value.");
-    }
-    return evaluateResolvedCallExpression(node, getMemberValue(member.object, member.property, context), context, member.object);
+        if (Array.isArray(member.object) &&
+            isArrayMethodName(member.property) &&
+            !Object.hasOwn(member.object, member.property)) {
+            return evaluateArrayMethodCall(node, member.object, member.property, context);
+        }
+        if (isSandboxMap(member.object) && isMapMethodName(member.property)) {
+            return evaluateMapMethodCall(node, member.object, member.property, context);
+        }
+        if (isSandboxSet(member.object) && isSetMethodName(member.property)) {
+            return evaluateSetMethodCall(node, member.object, member.property, context);
+        }
+        if (typeof member.object === "string") {
+            return evaluatePrimitiveMemberCall(node, "String", member.property, getStringMember(member.object, member.property, context.budget), context);
+        }
+        if (typeof member.object === "number") {
+            return evaluatePrimitiveMemberCall(node, "Number", member.property, getNumberMember(member.property, context.budget), context);
+        }
+        if (Array.isArray(member.object) && !Object.hasOwn(member.object, member.property)) {
+            return evaluatePrimitiveMemberCall(node, "Array", member.property, getArrayMemberValue(member.object, member.property, context), context);
+        }
+        if (isSandboxMap(member.object)) {
+            return evaluatePrimitiveMemberCall(node, "Map", member.property, getMapMember(member.object, member.property, createMapMethodOptions(context)), context);
+        }
+        if (isSandboxDate(member.object)) {
+            return evaluateResolvedCallExpression(node, getDateMember(member.property, context.budget, context.compilation?.owner), context, member.object);
+        }
+        if (isFloat32Array(member.object)) {
+            return evaluateResolvedCallExpression(node, getFloat32Member(member.object, member.property, context.budget), context, member.object);
+        }
+        if (isSandboxSet(member.object)) {
+            return evaluatePrimitiveMemberCall(node, "Set", member.property, getSetMember(member.object, member.property, createSetMethodOptions(context)), context);
+        }
+        if (isSandboxGenerator(member.object)) {
+            const memberValue = getGeneratorMember(member.object, member.property, context.budget);
+            if (memberValue === undefined) {
+                throw new TypeError(`Generator#${String(member.property)} is not a supported method.`);
+            }
+            return evaluateResolvedCallExpression(node, memberValue, context, member.object);
+        }
+        if (isSandboxClosure(member.object)) {
+            const memberValue = getClosureMemberValue(member.object, member.property, context);
+            if (memberValue === undefined) {
+                throw new TypeError(`Function#${String(member.property)} is not a supported method.`);
+            }
+            return evaluateResolvedCallExpression(node, memberValue, context, member.object);
+        }
+        if (isSandboxPromise(member.object)) {
+            return evaluateResolvedCallExpression(node, getPromiseMember(member.property, context.budget), context, member.object);
+        }
+        if (isSandboxRegex(member.object) && isRegexMethodName(member.property)) {
+            return evaluateResolvedCallExpression(node, getRegexMember(member.object, member.property, context.budget), context, member.object);
+        }
+        if (!isIndexableSandboxValue(member.object)) {
+            throw new TypeError("Attempted to read a property from a non-object value.");
+        }
+        return evaluateResolvedCallExpression(node, getMemberValue(member.object, member.property, context), context, member.object);
+    });
 }
 function evaluatePrimitiveMemberCall(node, receiverType, property, value, context) {
     if (value === undefined) {
@@ -2557,30 +2592,36 @@ async function invokeSandboxClosure(callee, args, context, stack, span, thisValu
 }
 async function evaluateCallArguments(args, context) {
     const values = [];
-    for (const arg of args) {
-        if (arg.type === "SpreadElement") {
-            const spreadValues = await evaluateSpreadElement(arg, context);
-            if (!spreadValues.ok) {
-                return spreadValues;
+    const release = retainValues(context.budget, () => values);
+    try {
+        for (const arg of args) {
+            if (arg.type === "SpreadElement") {
+                const spreadValues = await evaluateSpreadElement(arg, context);
+                if (!spreadValues.ok) {
+                    return spreadValues;
+                }
+                appendArrayValues(values, spreadValues.value);
+                context.budget.allocateArrayLength(values.length);
+                continue;
             }
-            appendArrayValues(values, spreadValues.value);
+            const result = await evaluateNode(arg, context);
+            if (result.kind !== "normal") {
+                return {
+                    ok: false,
+                    result
+                };
+            }
+            values.push(result.value);
             context.budget.allocateArrayLength(values.length);
-            continue;
         }
-        const result = await evaluateNode(arg, context);
-        if (result.kind !== "normal") {
-            return {
-                ok: false,
-                result
-            };
-        }
-        values.push(result.value);
-        context.budget.allocateArrayLength(values.length);
+        return {
+            ok: true,
+            value: values
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        ok: true,
-        value: values
-    };
 }
 async function evaluateSpreadElement(node, context) {
     const value = await evaluateNode(node.argument, context);
@@ -2595,21 +2636,27 @@ async function evaluateSpreadElement(node, context) {
         throw new TypeError("Spread arguments must evaluate to an iterable.");
     }
     const spreadValues = [];
-    while (true) {
-        const next = await iterator.next();
-        if (typeof next !== "object" || next === null) {
-            throw new TypeError("Iterator result must be an object.");
-        }
-        if (next.done === true) {
-            break;
+    const release = retainValues(context.budget, () => [value.value, ...spreadValues]);
+    try {
+        while (true) {
+            const next = await iterator.next();
+            if (typeof next !== "object" || next === null) {
+                throw new TypeError("Iterator result must be an object.");
+            }
+            if (next.done === true) {
+                break;
+            }
+            spreadValues.push(next.value);
+            context.budget.allocateArrayLength(spreadValues.length);
         }
-        spreadValues.push(next.value);
-        context.budget.allocateArrayLength(spreadValues.length);
+        return {
+            ok: true,
+            value: spreadValues
+        };
+    }
+    finally {
+        release();
     }
-    return {
-        ok: true,
-        value: spreadValues
-    };
 }
 async function evaluateObjectSpread(node, context) {
     const value = await evaluateNode(node.argument, context);