@scriptc/compiler 0.4.4 → 0.4.5

package/dist/frontend/lowering/containers/replacer-params.js

@@ -0,0 +1,294 @@
+import * as ts from "../../ts7/adapter.js";
+import { F64, STRING } from "../../../ir/ir.js";
+import { bindingNeverReassigned } from "../binding-analysis.js";
+/** The captures of a regex literal's pattern (the whole match included)
+ * and, per capture, whether every successful match sets it. A capture may
+ * be unset when an enclosing group has alternatives, when an enclosing
+ * group or the capture itself is quantified with a minimum of zero, or
+ * when it sits inside a lookaround. Null for the `v` flag (nested
+ * classes) and for a pattern the scan does not finish. */
+export function regexCaptureParticipation(pattern, flags) {
+    if (flags.includes("v"))
+        return null;
+    const always = [true];
+    /** Open groups: the group's own capture (-1 when it does not capture),
+     * the captures nested in it, whether it has alternatives, and whether it
+     * is a lookaround. */
+    const frames = [
+        { own: -1, nested: [], alternatives: false, lookaround: false },
+    ];
+    let i = 0;
+    while (i < pattern.length) {
+        const c = pattern[i];
+        if (c === "\\") {
+            i += 2;
+            continue;
+        }
+        if (c === "[") {
+            // The first unescaped `]` ends the class (`[]` is an empty class).
+            i++;
+            while (i < pattern.length && pattern[i] !== "]")
+                i += pattern[i] === "\\" ? 2 : 1;
+            if (i >= pattern.length)
+                return null;
+            i++;
+            continue;
+        }
+        if (c === "|") {
+            frames[frames.length - 1].alternatives = true;
+            i++;
+            continue;
+        }
+        if (c === "(") {
+            let capture = false;
+            let lookaround = false;
+            if (pattern[i + 1] !== "?") {
+                capture = true;
+                i++;
+            }
+            else if (pattern[i + 2] === "<" && pattern[i + 3] !== "=" && pattern[i + 3] !== "!") {
+                const gt = pattern.indexOf(">", i + 3);
+                if (gt < 0)
+                    return null;
+                capture = true;
+                i = gt + 1;
+            }
+            else {
+                const kind = pattern[i + 2] === "<" ? pattern[i + 3] : pattern[i + 2];
+                lookaround = kind === "=" || kind === "!";
+                i += 2;
+            }
+            frames.push({
+                own: capture ? always.length : -1,
+                nested: [],
+                alternatives: false,
+                lookaround,
+            });
+            if (capture)
+                always.push(true);
+            continue;
+        }
+        if (c === ")") {
+            if (frames.length === 1)
+                return null;
+            const frame = frames.pop();
+            i++;
+            const next = pattern[i];
+            const optional = next === "?" || next === "*" || (next === "{" && /^\{0+[,}]/.test(pattern.slice(i)));
+            const parent = frames[frames.length - 1];
+            // Alternatives inside the group leave its nested captures unset, but
+            // not the group's own capture.
+            for (const index of frame.nested) {
+                if (optional || frame.lookaround || frame.alternatives)
+                    always[index] = false;
+                parent.nested.push(index);
+            }
+            if (frame.own >= 0) {
+                if (optional || frame.lookaround)
+                    always[frame.own] = false;
+                parent.nested.push(frame.own);
+            }
+            continue;
+        }
+        i++;
+    }
+    if (frames.length !== 1)
+        return null;
+    if (frames[0].alternatives)
+        for (const index of frames[0].nested)
+            always[index] = false;
+    return { count: always.length, always };
+}
+/** String members a refined parameter may use: these lower from the
+ * receiver's type whatever the checker resolved for an `any` receiver. */
+const STRING_MEMBERS = new Set([
+    "length",
+    "toUpperCase",
+    "toLowerCase",
+    "trim",
+    "charCodeAt",
+    "codePointAt",
+    "slice",
+    "substring",
+    "repeat",
+    "padStart",
+    "padEnd",
+    "includes",
+    "startsWith",
+    "endsWith",
+    "indexOf",
+]);
+/** Whether every read of `symbol` in `body` is one that means the same
+ * for an `any` value and for a `kind` value, and lowers for both: a
+ * template span, the argument of Number or String, the text argument of
+ * parseInt or parseFloat for a string and the radix of parseInt for a
+ * number (each a parameter of that type, which an `any` value converts
+ * to), a listed
+ * string member, `+`, strict equality, arithmetic and comparisons of
+ * numbers, a returned value, and a string key of an element access on a
+ * string-indexed record or an `any` value. Anything else keeps the
+ * parameter `any`. */
+function readsFit(lowerer, body, symbol, kind) {
+    const name = ts.symbolName(symbol);
+    const primitive = (e) => {
+        const flags = lowerer.checker.getTypeAtLocation(e).flags;
+        return (flags & (ts.TypeFlags.NumberLike | ts.TypeFlags.StringLike)) !== 0;
+    };
+    const fits = (id) => {
+        let node = id;
+        while (ts.isParenthesizedExpression(node.parent))
+            node = node.parent;
+        const parent = node.parent;
+        if (ts.isTemplateSpan(parent) || ts.isReturnStatement(parent))
+            return true;
+        if (ts.isElementAccessExpression(parent)) {
+            if (kind !== "string" || parent.argumentExpression !== node)
+                return false;
+            const receiver = lowerer.mapTypeOf(lowerer.checker.getTypeAtLocation(parent.expression));
+            if (receiver?.kind === "dyn")
+                return true;
+            const shape = receiver?.kind === "record" ? lowerer.shapes.get(receiver.shapeId) : undefined;
+            return shape?.indexValue !== undefined && !shape.tuple;
+        }
+        if (ts.isArrowFunction(parent))
+            return parent.body === node;
+        if (ts.isCallExpression(parent)) {
+            if (parent.expression === node)
+                return false;
+            const position = parent.arguments.nodes.indexOf(node);
+            if (lowerer.isStdlibGlobal(parent.expression, "Number") ||
+                lowerer.isStdlibGlobal(parent.expression, "String"))
+                return position === 0;
+            if (lowerer.isStdlibGlobal(parent.expression, "parseFloat"))
+                return position === 0 && kind === "string";
+            if (lowerer.isStdlibGlobal(parent.expression, "parseInt"))
+                return position === 0 ? kind === "string" : position === 1 && kind === "f64";
+            return false;
+        }
+        if (ts.isPropertyAccessExpression(parent)) {
+            const member = parent.name.text;
+            if (kind !== "string" || parent.expression !== node || !STRING_MEMBERS.has(member))
+                return false;
+            return (member === "length" ||
+                (ts.isCallExpression(parent.parent) && parent.parent.expression === parent));
+        }
+        if (ts.isBinaryExpression(parent)) {
+            const op = parent.operatorToken.kind;
+            if (op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+                op === ts.SyntaxKind.ExclamationEqualsEqualsToken)
+                return true;
+            const other = parent.left === node ? parent.right : parent.left;
+            if (op === ts.SyntaxKind.PlusToken)
+                return kind === "string" || primitive(other);
+            return (kind === "f64" &&
+                (op === ts.SyntaxKind.MinusToken ||
+                    op === ts.SyntaxKind.AsteriskToken ||
+                    op === ts.SyntaxKind.SlashToken ||
+                    op === ts.SyntaxKind.PercentToken ||
+                    op === ts.SyntaxKind.LessThanToken ||
+                    op === ts.SyntaxKind.GreaterThanToken ||
+                    op === ts.SyntaxKind.LessThanEqualsToken ||
+                    op === ts.SyntaxKind.GreaterThanEqualsToken) &&
+                (lowerer.checker.getTypeAtLocation(other).flags & ts.TypeFlags.NumberLike) !== 0);
+        }
+        return false;
+    };
+    let ok = true;
+    const visit = (n) => {
+        if (!ok)
+            return;
+        if (ts.isIdentifier(n) && n.text === name && lowerer.resolveValueSymbol(n) === symbol) {
+            if (!fits(n))
+                ok = false;
+            return;
+        }
+        ts.forEachChild(n, visit);
+    };
+    visit(body);
+    return ok;
+}
+/** The capture layout of a string search: the match, then the offset and
+ * the subject. */
+export const PLAIN_SEARCH_CAPTURES = {
+    count: 1,
+    always: [true],
+};
+/** The captures of a regex literal argument (regexCaptureParticipation),
+ * or null for any other pattern expression. */
+export function regexLiteralCapturesOf(pattern) {
+    let regex = pattern;
+    while (ts.isParenthesizedExpression(regex))
+        regex = regex.expression;
+    if (!ts.isRegularExpressionLiteral(regex))
+        return null;
+    const text = regex.text;
+    const slash = text.lastIndexOf("/");
+    return regexCaptureParticipation(text.slice(1, slash), text.slice(slash + 1));
+}
+/** Lowers an inline replace callback. JavaScript passes it the match, the
+ * captures, the match offset and the subject (`captures` gives their
+ * layout; null lowers the callback as written). TypeScript types the
+ * parameters after the match `any`, so an unannotated parameter that is
+ * never reassigned, whose every read fits its value (readsFit), and that
+ * receives a capture every match sets, the offset or the subject takes
+ * that value's type: a string or a number. The closure can then be called
+ * directly (typed replacers in lib-dispatch.ts) with fewer boxed values. */
+export function lowerReplacerCallback(lowerer, callback, captures) {
+    let node = callback;
+    while (ts.isParenthesizedExpression(node))
+        node = node.expression;
+    // A named function expression can call itself with other arguments.
+    const literal = ts.isArrowFunction(node) || (ts.isFunctionExpression(node) && !node.name) ? node : null;
+    if (!literal || !captures)
+        return lowerer.lowerExpr(callback);
+    const bound = [];
+    const previousImplicit = lowerer.implicitParamTypes;
+    let implicit = null;
+    const params = literal.parameters.nodes;
+    // A declared `this` parameter takes no argument position.
+    const first = params[0] && ts.isIdentifier(params[0].name) && params[0].name.text === "this" ? 1 : 0;
+    params.slice(first).forEach((param, i) => {
+        const type = i === 0 || i > captures.count + 1
+            ? null
+            : i < captures.count
+                ? captures.always[i] === true
+                    ? STRING
+                    : null
+                : i === captures.count
+                    ? F64
+                    : STRING;
+        if (type === null ||
+            !ts.isIdentifier(param.name) ||
+            param.type ||
+            param.initializer ||
+            param.dotDotDotToken ||
+            param.questionToken)
+            return;
+        if ((lowerer.checker.getTypeAtLocation(param.name).flags & ts.TypeFlags.Any) === 0)
+            return;
+        const symbol = lowerer.checker.getSymbolAtLocation(param.name);
+        if (!symbol ||
+            !bindingNeverReassigned(lowerer, symbol, param) ||
+            !readsFit(lowerer, literal.body, symbol, type === STRING ? "string" : "f64"))
+            return;
+        bound.push({ symbol, previous: lowerer.runtimeOptionalBindingTypes.get(symbol) });
+        lowerer.runtimeOptionalBindingTypes.set(symbol, type);
+        implicit ??= new Map(previousImplicit ?? []);
+        implicit.set(symbol, type === STRING ? lowerer.checker.getStringType() : lowerer.checker.getNumberType());
+    });
+    if (implicit !== null)
+        lowerer.implicitParamTypes = implicit;
+    try {
+        return lowerer.lowerExpr(callback);
+    }
+    finally {
+        for (const { symbol, previous } of bound) {
+            if (previous === undefined)
+                lowerer.runtimeOptionalBindingTypes.delete(symbol);
+            else
+                lowerer.runtimeOptionalBindingTypes.set(symbol, previous);
+        }
+        lowerer.implicitParamTypes = previousImplicit;
+    }
+}
+//# sourceMappingURL=replacer-params.js.map

package/dist/frontend/lowering/containers/replacer-params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replacer-params.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/replacer-params.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,GAAG,EAAE,MAAM,EAA4B,MAAM,mBAAmB,CAAC;AAE1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE;;;;;0DAK0D;AAC1D,MAAM,UAAU,yBAAyB,CACvC,OAAe,EACf,KAAa;IAEb,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,MAAM,GAAc,CAAC,IAAI,CAAC,CAAC;IACjC;;0BAEsB;IACtB,MAAM,MAAM,GAAoF;QAC9F,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE;KAChE,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,mEAAmE;YACnE,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACrC,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,YAAY,GAAG,IAAI,CAAC;YAC/C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,EAAE,CAAC;YACN,CAAC;iBAAM,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACtF,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvC,IAAI,EAAE,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACb,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtE,UAAU,GAAG,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;gBAC1C,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjC,MAAM,EAAE,EAAE;gBACV,YAAY,EAAE,KAAK;gBACnB,UAAU;aACX,CAAC,CAAC;YACH,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAG,CAAC;YAC5B,CAAC,EAAE,CAAC;YACJ,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,QAAQ,GACZ,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YAC1C,qEAAqE;YACrE,+BAA+B;YAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjC,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,YAAY;oBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;gBAC9E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;gBACnB,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU;oBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBAC5D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAChC,CAAC;YACD,SAAS;QACX,CAAC;QACD,CAAC,EAAE,CAAC;IACN,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,YAAY;QAAE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC1F,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC;AAED;0EAC0E;AAC1E,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IAClD,QAAQ;IACR,aAAa;IACb,aAAa;IACb,MAAM;IACN,YAAY;IACZ,aAAa;IACb,OAAO;IACP,WAAW;IACX,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAEH;;;;;;;;;sBASsB;AACtB,SAAS,QAAQ,CACf,OAAgB,EAChB,IAAa,EACb,MAAiB,EACjB,IAAsB;IAEtB,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,CAAC,CAAgB,EAAW,EAAE;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACzD,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,EAAiB,EAAW,EAAE;QAC1C,IAAI,IAAI,GAAY,EAAE,CAAC;QACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3E,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,kBAAkB,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;YACzF,IAAI,QAAQ,EAAE,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YAC1C,MAAM,KAAK,GAAG,QAAQ,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7F,OAAO,KAAK,EAAE,UAAU,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QACzD,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;QAC5D,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,IAAqB,CAAC,CAAC;YACvE,IACE,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;gBACnD,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;gBAEnD,OAAO,QAAQ,KAAK,CAAC,CAAC;YACxB,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC;gBACzD,OAAO,QAAQ,KAAK,CAAC,IAAI,IAAI,KAAK,QAAQ,CAAC;YAC7C,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;gBACvD,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC;YAC/E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gBAChF,OAAO,KAAK,CAAC;YACf,OAAO,CACL,MAAM,KAAK,QAAQ;gBACnB,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,CAC5E,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;YACrC,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;gBAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;gBAEjD,OAAO,IAAI,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAChE,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;gBAAE,OAAO,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;YACjF,OAAO,CACL,IAAI,KAAK,KAAK;gBACd,CAAC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;oBAC9B,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAClC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;oBAC/B,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;oBACjC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAClC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;oBACrC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;oBACxC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;gBAC9C,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CACjF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACtF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,EAAE,GAAG,KAAK,CAAC;YACzB,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;kBACkB;AAClB,MAAM,CAAC,MAAM,qBAAqB,GAAyC;IACzE,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC,IAAI,CAAC;CACf,CAAC;AAEF;+CAC+C;AAC/C,MAAM,UAAU,sBAAsB,CACpC,OAAsB;IAEtB,IAAI,KAAK,GAAG,OAAO,CAAC;IACpB,OAAO,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;;;;;;4EAO4E;AAC5E,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,QAAuB,EACvB,QAAqD;IAErD,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,oEAAoE;IACpE,MAAM,OAAO,GACX,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9D,MAAM,KAAK,GAA0D,EAAE,CAAC;IACxE,MAAM,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IACpD,IAAI,QAAQ,GAAmC,IAAI,CAAC;IACpD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;IACxC,0DAA0D;IAC1D,MAAM,KAAK,GACT,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,IAAI,GACR,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC;YAC/B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK;gBAClB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;oBAC3B,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,IAAI;gBACR,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK;oBACpB,CAAC,CAAC,GAAG;oBACL,CAAC,CAAC,MAAM,CAAC;QACjB,IACE,IAAI,KAAK,IAAI;YACb,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;YAC5B,KAAK,CAAC,IAAI;YACV,KAAK,CAAC,WAAW;YACjB,KAAK,CAAC,cAAc;YACpB,KAAK,CAAC,aAAa;YAEnB,OAAO;QACT,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/D,IACE,CAAC,MAAM;YACP,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;YAC/C,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YAE5E,OAAO;QACT,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAClF,OAAO,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,QAAQ,KAAK,IAAI,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;QAC7C,QAAQ,CAAC,GAAG,CACV,MAAM,EACN,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,CACpF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IAC7D,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC;YACzC,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,CAAC,2BAA2B,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;;gBAC1E,OAAO,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,kBAAkB,GAAG,gBAAgB,CAAC;IAChD,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/containers/replacer-params.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/containers/replacer-params.test.js

@@ -0,0 +1,61 @@
+import { describe, expect, test } from "vitest";
+import { regexCaptureParticipation } from "./replacer-params.js";
+describe("regex capture participation", () => {
+    test("counts captures and marks the ones every match sets", () => {
+        expect(regexCaptureParticipation("\\{(\\w+)\\}", "g")).toEqual({
+            count: 2,
+            always: [true, true],
+        });
+        expect(regexCaptureParticipation("(\\d{4})-(\\d{2})(?:-(\\d{2}))?", "g")).toEqual({
+            count: 4,
+            always: [true, true, true, false],
+        });
+        expect(regexCaptureParticipation("(a)|(b)", "")).toEqual({
+            count: 3,
+            always: [true, false, false],
+        });
+        expect(regexCaptureParticipation("((a)|b)", "")).toEqual({
+            count: 3,
+            always: [true, true, false],
+        });
+        expect(regexCaptureParticipation("(?:(a)|b)(c)", "")).toEqual({
+            count: 3,
+            always: [true, false, true],
+        });
+        expect(regexCaptureParticipation("(a)*(b)+(c){0,2}(d){1,3}(e){00}", "")).toEqual({
+            count: 6,
+            always: [true, false, true, false, true, false],
+        });
+        expect(regexCaptureParticipation("(?=(a))(?!(b))(?<=(c))(?<!(d))(?<name>e)", "")).toEqual({
+            count: 6,
+            always: [true, false, false, false, false, true],
+        });
+    });
+    test("skips escapes, classes and non-capturing groups", () => {
+        expect(regexCaptureParticipation("\\((a)\\)[(|)\\]](?:b)(?i:c)", "")).toEqual({
+            count: 2,
+            always: [true, true],
+        });
+        expect(regexCaptureParticipation("[](a)", "")).toEqual({ count: 2, always: [true, true] });
+        expect(regexCaptureParticipation("(a)[", "")).toBeNull();
+        expect(regexCaptureParticipation("(a", "")).toBeNull();
+        expect(regexCaptureParticipation("a)", "")).toBeNull();
+        expect(regexCaptureParticipation("(a)", "v")).toBeNull();
+    });
+    test("marks captures in alternations, optional groups and lookarounds", () => {
+        const always = (pattern) => regexCaptureParticipation(pattern, "")?.always ?? null;
+        expect(always("tag(\\d+)")).toEqual([true, true]);
+        expect(always("((a)b)+c")).toEqual([true, true, true]);
+        expect(always("(?<name>\\d)(x)")).toEqual([true, true, true]);
+        expect(always("(a){2,3}")).toEqual([true, true]);
+        expect(always("(?:x|y)(a)")).toEqual([true, true]);
+        expect(always("(?:(a)|b)c")).toEqual([true, false]);
+        expect(always("(x)?(\\d)")).toEqual([true, false, true]);
+        expect(always("(?:(t)a)*g")).toEqual([true, false]);
+        expect(always("((a)?)")).toEqual([true, true, false]);
+        expect(always("(?<=(-))(\\w)")).toEqual([true, false, true]);
+        expect(always("[\\]|(](b)")).toEqual([true, true]);
+        expect(always("[^)](c)\\|")).toEqual([true, true]);
+    });
+});
+//# sourceMappingURL=replacer-params.test.js.map

package/dist/frontend/lowering/containers/replacer-params.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replacer-params.test.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/replacer-params.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEjE,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,yBAAyB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7D,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAChF,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACvD,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACvD,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;SAC5B,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5D,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC;SAC5B,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,iCAAiC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/E,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;SAChD,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,0CAA0C,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACxF,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;SACjD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,yBAAyB,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5E,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,yBAAyB,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzD,MAAM,CAAC,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvD,MAAM,CAAC,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvD,MAAM,CAAC,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAG,CAAC,OAAe,EAAoB,EAAE,CACnD,yBAAyB,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/containers/string-and-regexp.js

@@ -10,6 +10,7 @@ import { isSafeToDiscard } from "../expressions/evaluation-safety.js";
 import { STRING_INDEX_METHODS, STRING_REPLACE_METHODS, STR_METHODS } from "../surfaces.js";
 import { execResultCaptureMask } from "./exec-result-uses.js";
 import { lowerStringReplacement } from "./string-replacement.js";
+import { lowerReplacerCallback, regexLiteralCapturesOf } from "./replacer-params.js";
 import { coerceStringSearchValue, defaultAfterUndefined, lowerOptionalArgument, lowerPositionArgument, lowerStaticallyUndefinedArgument, lowerStringSearchArgument, positionNumber, } from "../optional-arguments.js";
 function lowerSplitLimitArg(lowerer, node, loc) {
     const defaultValue = { kind: "numLit", value: 4294967295, type: F64, loc };
@@ -893,7 +894,7 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
             : [
                 lowerer.lowerExprExpecting(arg0, { kind: "regex" }),
                 call.arguments.nodes[1]
-                    ? lowerer.lowerExpr(call.arguments.nodes[1])
+                    ? lowerReplacerCallback(lowerer, call.arguments.nodes[1], regexLiteralCapturesOf(arg0))
                     : dynUndefinedExpr(loc),
             ];
         if (name !== "split") {