@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/module-member-this.js

@@ -0,0 +1,262 @@
+/* A module export called through its module binding (`m.f()` where `m` is
+ * `const m = require("./x")` or `import * as m from "./x"`): Node passes
+ * the module object (the exports object, or the namespace) as `this`. The
+ * member call lowers to a direct call of the exported function, which has
+ * no module object to pass, so an export that reads `this` refuses instead
+ * of seeing another receiver. */
+import * as ts from "../ts7/adapter.js";
+/** The function an export binding holds, when its declaration shows it. */
+function exportedFunction(decl) {
+    let node = decl;
+    if (ts.isPropertyAccessExpression(node) && node.parent && ts.isBinaryExpression(node.parent))
+        node = node.parent;
+    if (ts.isBinaryExpression(node))
+        node = node.right;
+    else if (ts.isVariableDeclaration(node) || ts.isPropertyAssignment(node))
+        node = node.initializer;
+    while (node !== undefined && ts.isParenthesizedExpression(node))
+        node = node.expression;
+    if (node === undefined)
+        return null;
+    if (ts.isFunctionDeclaration(node) ||
+        ts.isFunctionExpression(node) ||
+        ts.isMethodDeclaration(node))
+        return node;
+    return null;
+}
+/** Whether `node` is `f.apply(this, ...)` or `f.call(this, ...)`, which
+ * passes the receiver on to `f`. */
+function forwardsThis(node) {
+    if (!ts.isCallExpression(node))
+        return false;
+    const callee = node.expression;
+    if (!ts.isPropertyAccessExpression(callee) || !ts.isIdentifier(callee.name))
+        return false;
+    if (callee.name.text !== "apply" && callee.name.text !== "call")
+        return false;
+    return node.arguments.nodes[0]?.kind === ts.SyntaxKind.ThisKeyword;
+}
+const noBindings = new Map();
+// How many calls and functions deep the analysis follows a forwarded
+// `this`: enough for a wrapper over a function factory, as Effect's
+// `dual(3, body).apply(this, arguments)`.
+const maxDepth = 6;
+/** Whether `fn`'s own body uses `this` only to pass it on with `.apply` or
+ * `.call` to functions that ignore it (and so also when it doesn't use
+ * `this` at all). */
+function ignoresOwnThis(lowerer, fn, bindings, depth) {
+    let ignores = true;
+    const visit = (node) => {
+        if (!ignores)
+            return;
+        if (node.kind === ts.SyntaxKind.ThisKeyword) {
+            ignores = false;
+            return;
+        }
+        if ((ts.isFunctionLike(node) && !ts.isArrowFunction(node)) || ts.isClassLikeDeclaration(node))
+            return;
+        if (forwardsThis(node)) {
+            if (!ignoresThis(lowerer, node.expression.expression, bindings, depth + 1)) {
+                ignores = false;
+                return;
+            }
+            visit(node.expression.expression);
+            for (const arg of node.arguments.nodes.slice(1))
+                visit(arg);
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(fn, visit);
+    return ignores;
+}
+/** The function `name` provably holds: a function declaration, a const
+ * initialized with a function, or an import of one. */
+function functionOfName(lowerer, name, bindings) {
+    let symbol = lowerer.checker.getSymbolAtLocation(name);
+    if (symbol === undefined)
+        return { fn: null };
+    const bound = bindings.get(symbol);
+    if (bound)
+        return { fn: null, bound };
+    if ((symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        symbol = lowerer.checker.getAliasedSymbol(symbol);
+    const decls = symbol.declarations;
+    if (decls.length !== 1)
+        return { fn: null };
+    const decl = decls[0];
+    if (ts.isFunctionDeclaration(decl))
+        return { fn: decl };
+    if (ts.isVariableDeclaration(decl) &&
+        decl.initializer &&
+        ts.isVariableDeclarationList(decl.parent) &&
+        (decl.parent.flags & ts.NodeFlags.Const) !== 0) {
+        let init = decl.initializer;
+        while (ts.isParenthesizedExpression(init))
+            init = init.expression;
+        if (ts.isFunctionExpression(init) || ts.isArrowFunction(init))
+            return { fn: init };
+    }
+    return { fn: null };
+}
+/**
+ * Whether `fn` (with its nested functions) may change what its parameter
+ * `param` holds: an assignment, update, destructuring or for-in/for-of
+ * target that writes it, a declaration of the same name, a write to an
+ * element of `arguments` (which aliases parameters outside strict mode), or
+ * a call of `eval`.
+ */
+function mayRebind(lowerer, fn, param) {
+    const symbol = lowerer.checker.getSymbolAtLocation(param);
+    const refersTo = (node) => ts.isIdentifier(node) &&
+        (node.text === param.text || lowerer.checker.getSymbolAtLocation(node) === symbol);
+    // Whether writing `target` writes the parameter: the name itself, or the
+    // name inside a destructuring pattern.
+    const writes = (target) => {
+        while (ts.isParenthesizedExpression(target))
+            target = target.expression;
+        if (refersTo(target))
+            return true;
+        if (ts.isElementAccessExpression(target) &&
+            ts.isIdentifier(target.expression) &&
+            target.expression.text === "arguments")
+            return true;
+        if (ts.isArrayLiteralExpression(target))
+            return target.elements.nodes.some(writes);
+        if (ts.isObjectLiteralExpression(target))
+            return target.properties.nodes.some((p) => ts.isShorthandPropertyAssignment(p)
+                ? refersTo(p.name)
+                : ts.isPropertyAssignment(p)
+                    ? writes(p.initializer)
+                    : ts.isSpreadAssignment(p) && writes(p.expression));
+        if (ts.isSpreadElement(target))
+            return writes(target.expression);
+        // A default in a pattern: `[body = other] = values`.
+        if (ts.isBinaryExpression(target) && target.operatorToken.kind === ts.SyntaxKind.EqualsToken)
+            return writes(target.left);
+        return false;
+    };
+    const declaresName = (node) => {
+        const name = node.name;
+        return name !== undefined && ts.isIdentifier(name) && name.text === param.text;
+    };
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if ((ts.isBinaryExpression(node) &&
+            node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+            node.operatorToken.kind <= ts.SyntaxKind.LastAssignment &&
+            writes(node.left)) ||
+            ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
+                (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                    node.operator === ts.SyntaxKind.MinusMinusToken) &&
+                writes(node.operand)) ||
+            ((ts.isForOfStatement(node) || ts.isForInStatement(node)) &&
+                !ts.isVariableDeclarationList(node.initializer) &&
+                writes(node.initializer)) ||
+            ((ts.isVariableDeclaration(node) ||
+                ts.isBindingElement(node) ||
+                ts.isParameter(node) ||
+                ts.isFunctionDeclaration(node) ||
+                ts.isClassDeclaration(node)) &&
+                declaresName(node)) ||
+            (ts.isCallExpression(node) &&
+                ts.isIdentifier(node.expression) &&
+                node.expression.text === "eval")) {
+            found = true;
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    // The function's own parameters declare the name; their defaults can write it.
+    const params = fn.parameters;
+    for (const p of params?.nodes ?? [])
+        if (p.initializer)
+            visit(p.initializer);
+    const body = fn.body;
+    if (body !== undefined)
+        visit(body);
+    return found;
+}
+/** The expressions `fn` returns from its own body. */
+function returnedExpressions(fn) {
+    const body = fn.body;
+    if (body === undefined)
+        return null;
+    if (!ts.isBlock(body))
+        return [body];
+    const result = [];
+    const visit = (node) => {
+        if (ts.isFunctionLike(node) || ts.isClassLikeDeclaration(node))
+            return;
+        if (ts.isReturnStatement(node) && node.expression)
+            result.push(node.expression);
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(body, visit);
+    return result;
+}
+/** Whether the function `expr` evaluates to provably ignores the `this`
+ * it is called with. */
+function ignoresThis(lowerer, expr, bindings, depth) {
+    if (depth > maxDepth)
+        return false;
+    while (ts.isParenthesizedExpression(expr))
+        expr = expr.expression;
+    if (ts.isArrowFunction(expr))
+        return true;
+    if (ts.isFunctionExpression(expr))
+        return ignoresOwnThis(lowerer, expr, bindings, depth);
+    if (ts.isIdentifier(expr)) {
+        const { fn, bound } = functionOfName(lowerer, expr, bindings);
+        if (bound)
+            return ignoresThis(lowerer, bound.expr, bound.bindings, depth + 1);
+        if (fn === null)
+            return false;
+        return ts.isArrowFunction(fn) || ignoresOwnThis(lowerer, fn, noBindings, depth + 1);
+    }
+    // A call of a known function: what it returns, with its parameters bound
+    // to this call's arguments.
+    if (ts.isCallExpression(expr) && ts.isIdentifier(expr.expression)) {
+        const { fn } = functionOfName(lowerer, expr.expression, bindings);
+        if (fn === null)
+            return false;
+        const params = fn.parameters;
+        const inner = new Map(bindings);
+        for (const [i, param] of (params?.nodes ?? []).entries()) {
+            if (!ts.isIdentifier(param.name) || param.dotDotDotToken)
+                return false;
+            const arg = expr.arguments.nodes[i];
+            const symbol = lowerer.checker.getSymbolAtLocation(param.name);
+            if (arg === undefined || ts.isSpreadElement(arg) || symbol === undefined)
+                return false;
+            // The parameter holds the argument for as long as the function runs.
+            if (mayRebind(lowerer, fn, param.name))
+                return false;
+            inner.set(symbol, { expr: arg, bindings });
+        }
+        const returned = returnedExpressions(fn);
+        return returned !== null && returned.every((r) => ignoresThis(lowerer, r, inner, depth + 1));
+    }
+    return false;
+}
+/** Whether calling `fn` with another `this` than Node's can change what it
+ * does: it reads `this`, or passes it on to a function that may. */
+function readsOwnThis(lowerer, fn) {
+    return !ignoresOwnThis(lowerer, fn, noBindings, 0);
+}
+export function refuseModuleMemberThis(lowerer, call, member) {
+    let symbol = lowerer.checker.getSymbolAtLocation(member);
+    if (symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0)
+        symbol = lowerer.checker.getAliasedSymbol(symbol);
+    if (symbol === undefined)
+        return;
+    for (const decl of symbol.declarations) {
+        const fn = exportedFunction(decl);
+        if (fn === null || !readsOwnThis(lowerer, fn))
+            continue;
+        lowerer.unsupported("SC1090", call, `calling a module export that reads 'this' through its module binding ('${member.text}': Node passes the module object as 'this', which this call has no value for)`);
+    }
+}
+//# sourceMappingURL=module-member-this.js.map

package/dist/frontend/lowering/module-member-this.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-member-this.js","sourceRoot":"","sources":["../../../src/frontend/lowering/module-member-this.ts"],"names":[],"mappings":"AAAA;;;;;iCAKiC;AACjC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,2EAA2E;AAC3E,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,GAAwB,IAAI,CAAC;IACrC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1F,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACrB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;SAC9C,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAClG,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IACxF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAE5B,OAAO,IAAI,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC;AAED;oCACoC;AACpC,SAAS,YAAY,CAAC,IAAa;IAGjC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1F,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AACrE,CAAC;AAMD,MAAM,UAAU,GAAa,IAAI,GAAG,EAAE,CAAC;AAEvC,qEAAqE;AACrE,oEAAoE;AACpE,0CAA0C;AAC1C,MAAM,QAAQ,GAAG,CAAC,CAAC;AAEnB;;qBAEqB;AACrB,SAAS,cAAc,CAAC,OAAgB,EAAE,EAAW,EAAE,QAAkB,EAAE,KAAa;IACtF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,GAAG,KAAK,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC3F,OAAO;QACT,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC3E,OAAO,GAAG,KAAK,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAClC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;uDACuD;AACvD,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAmB,EACnB,QAAkB;IAElB,IAAI,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7C,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACvB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACxD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,WAAW;QAChB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;QACzC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC9C,CAAC;QACD,IAAI,IAAI,GAAkB,IAAI,CAAC,WAAW,CAAC;QAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAClE,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,OAAgB,EAAE,EAAW,EAAE,KAAoB;IACpE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAW,EAAE,CAC1C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC;IACrF,yEAAyE;IACzE,uCAAuC;IACvC,MAAM,MAAM,GAAG,CAAC,MAAe,EAAW,EAAE;QAC1C,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;QACxE,IAAI,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;YAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW;YAEtC,OAAO,IAAI,CAAC;QACd,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnF,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACtC,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC;gBACjC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAClB,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;oBAC1B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;oBACvB,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CACvD,CAAC;QACJ,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACjE,qDAAqD;QACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC1F,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,IAAa,EAAW,EAAE;QAC9C,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAC;QAC/C,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IACjF,CAAC,CAAC;IACF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;YACxD,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc;YACvD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACtE,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;gBAClD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACvD,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC/C,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC3B,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACzB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;gBACpB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC5B,YAAY,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACxB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,EAClC,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,+EAA+E;IAC/E,MAAM,MAAM,GAAI,EAA6D,CAAC,UAAU,CAAC;IACzF,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,KAAK,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,WAAW;YAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sDAAsD;AACtD,SAAS,mBAAmB,CAAC,EAAW;IACtC,MAAM,IAAI,GAAI,EAAyB,CAAC,IAAI,CAAC;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAqB,CAAC,CAAC;IACtD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,OAAO;QACvE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;wBACwB;AACxB,SAAS,WAAW,CAClB,OAAgB,EAChB,IAAmB,EACnB,QAAkB,EAClB,KAAa;IAEb,IAAI,KAAK,GAAG,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzF,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC9D,IAAI,KAAK;YAAE,OAAO,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9E,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9B,OAAO,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,yEAAyE;IACzE,4BAA4B;IAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,MAAM,EAAE,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAClE,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9B,MAAM,MAAM,GAAI,EAA6D,CAAC,UAAU,CAAC;QACzF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,cAAc;gBAAE,OAAO,KAAK,CAAC;YACvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvF,qEAAqE;YACrE,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;QACzC,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;oEACoE;AACpE,SAAS,YAAY,CAAC,OAAgB,EAAE,EAAW;IACjD,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAqB;IAErB,IAAI,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;QACrE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YAAE,SAAS;QACxD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,0EAA0E,MAAM,CAAC,IAAI,+EAA+E,CACrK,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/module-namespace-elements.js

@@ -29,7 +29,7 @@ export function lowerModuleNamespaceElement(lowerer, expr) {
                     : exported;
                 if (!(target.flags & ts.SymbolFlags.Value))
                     return;
-                const declaration = lowerer.checker.valueDeclarationOf(target);
+                const declaration = target.valueDeclaration;
                 const identifier = declaration?.name;
                 if (!identifier || !ts.isIdentifier(identifier)) {
                     lowerer.unsupported("SC1090", expr, "computed namespace reads of unnamed exports");

package/dist/frontend/lowering/module-namespace-elements.js.map

@@ -1 +1 @@
-{"version":3,"file":"module-namespace-elements.js","sourceRoot":"","sources":["../../../src/frontend/lowering/module-namespace-elements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,EAA6C,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AAEtD;;yDAEyD;AACzD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAgC;IAEhC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,mBAAmB,IAAI,CAAC,QAAQ,EAAE,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;gBAC7C,MAAM,MAAM,GACV,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;oBACnC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC5C,CAAC,CAAC,QAAQ,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;oBAAE,OAAO;gBACnD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBAC/D,MAAM,UAAU,GAAG,WAAW,EAAE,IAA2B,CAAC;gBAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;gBACrF,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;wBAChC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wBAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBACtB,GAAG;qBACJ;oBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACjE,MAAM,EAAE,GAAe;gBACrB,IAAI;gBACJ,MAAM,EAAE;oBACN,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;oBACjD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;iBAC9C;gBACD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBACxD,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI;gBACJ,GAAG;aACJ,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACR,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}
+{"version":3,"file":"module-namespace-elements.js","sourceRoot":"","sources":["../../../src/frontend/lowering/module-namespace-elements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,EAA6C,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAgB,MAAM,cAAc,CAAC;AAEtD;;yDAEyD;AACzD,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAAgC;IAEhC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,mBAAmB,IAAI,CAAC,QAAQ,EAAE,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAC5B,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;gBAC7C,MAAM,MAAM,GACV,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;oBACnC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC5C,CAAC,CAAC,QAAQ,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;oBAAE,OAAO;gBACnD,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,CAAC;gBAC5C,MAAM,UAAU,GAAG,WAAW,EAAE,IAA2B,CAAC;gBAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;gBACrF,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1D,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC;wBAChC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wBAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;wBACtB,GAAG;qBACJ;oBACD,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACjE,MAAM,EAAE,GAAe;gBACrB,IAAI;gBACJ,MAAM,EAAE;oBACN,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE;oBACjD,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE;iBAC9C;gBACD,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE;oBACN,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC5D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;oBACxD,GAAG,OAAO,CAAC,MAAM;iBAClB;gBACD,IAAI;gBACJ,GAAG;aACJ,CAAC;YACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtB,OAAO,CAAC,YAAY,GAAG,aAAa,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,CAAC,CAAC,GAAG;QACL,CAAC,CAAC;YACE,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ,CAAC;IACR,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}

package/dist/frontend/lowering/nan-coded-reads.d.ts

@@ -5,6 +5,9 @@ export interface NanCodedHost {
     declarationOf(symbol: ts.Symbol): ts.Node | undefined;
     /** The element kind of a typed-array receiver, or null. */
     bytesElemOf(receiver: ts.Expression): IrBytesElem | null;
+    /** The read is a keyed read of a record's `number` index signature,
+     * which answers undefined for a missing key. */
+    isNumberRecordRead(read: ts.ElementAccessExpression): boolean;
     /** The static IR type of the node is a plain number. */
     isNumber(node: ts.Node): boolean;
     isString(node: ts.Expression): boolean;

package/dist/frontend/lowering/nan-coded-reads.js

@@ -93,6 +93,7 @@ const TYPED_ARRAYS = new Set([
     "Uint16Array",
     "Int32Array",
     "Uint32Array",
+    "Float16Array",
     "Float32Array",
     "Float64Array",
 ]);
@@ -112,15 +113,15 @@ function adjacentDeclarations(a, b) {
     if (!ts.isVariableDeclarationList(la) || !ts.isVariableDeclarationList(lb))
         return false;
     if (la === lb) {
-        const ia = la.declarations.indexOf(a);
-        const ib = la.declarations.indexOf(b);
+        const ia = la.declarations.nodes.indexOf(a);
+        const ib = la.declarations.nodes.indexOf(b);
         return Math.abs(ia - ib) === 1;
     }
     const sa = la.parent;
     const sb = lb.parent;
     if (!ts.isVariableStatement(sa) || !ts.isVariableStatement(sb) || sa.parent !== sb.parent)
         return false;
-    if (la.declarations.length !== 1 || lb.declarations.length !== 1)
+    if (la.declarations.nodes.length !== 1 || lb.declarations.nodes.length !== 1)
         return false;
     const list = sa.parent;
     if (!ts.isBlock(list) &&
@@ -128,7 +129,7 @@ function adjacentDeclarations(a, b) {
         !ts.isCaseClause(list) &&
         !ts.isDefaultClause(list))
         return false;
-    const statements = list.statements;
+    const statements = list.statements.nodes;
     return Math.abs(statements.indexOf(sa) - statements.indexOf(sb)) === 1;
 }
 export class NanCodedReads {
@@ -214,7 +215,9 @@ export class NanCodedReads {
                     return;
                 }
                 if (ts.isElementAccessExpression(node) && this.isReadCandidate(node)) {
-                    const elem = this.host.bytesElemOf(node.expression);
+                    // A record's number values may hold a genuine NaN, like f64 elements.
+                    const elem = this.host.bytesElemOf(node.expression) ??
+                        (this.host.isNumberRecordRead(node) ? "f64" : null);
                     if (elem)
                         candidates.set(node, elem);
                 }
@@ -266,19 +269,21 @@ export class NanCodedReads {
     removalReason(slot) {
         const badSource = slot.sources.find((s) => s === null || this.sourceInfo(s) === null);
         if (badSource !== undefined)
-            return `source ${badSource ? badSource.getText().slice(0, 60) : "<unknown>"}`;
+            return `source ${badSource ? ts.getTextOfNode(badSource).slice(0, 60) : "<unknown>"}`;
         const nan = this.genuineNaN.has(slot);
         const badUse = slot.uses.find((u) => !this.useSafe(u) && (nan || !this.reboxConsumer(u)));
-        if (badUse)
-            return `${nan ? "nan-use" : "use"} ${transparentParent(badUse).parent?.getText().slice(0, 80) ?? "?"}`;
+        if (badUse) {
+            const parent = transparentParent(badUse).parent;
+            return `${nan ? "nan-use" : "use"} ${parent === undefined ? "?" : ts.getTextOfNode(parent).slice(0, 80)}`;
+        }
         return "?";
     }
     debugReport(reached) {
         const name = (slot) => {
             const decl = this.host.declarationOf(slot.symbol);
-            const sf = decl?.getSourceFile();
-            const where = sf && decl ? `${sf.fileName}:${decl.getStart()}` : "?";
-            return `${slot.kind} ${slot.symbol.name} @ ${where}`;
+            const sf = decl === undefined ? undefined : ts.getSourceFileOfNode(decl);
+            const where = sf && decl ? `${sf.fileName}:${ts.tokenStartOfNode(decl)}` : "?";
+            return `${slot.kind} ${ts.symbolName(slot.symbol)} @ ${where}`;
         };
         for (const slot of reached) {
             const ok = this.eligible.has(slot);
@@ -297,7 +302,13 @@ export class NanCodedReads {
         const cached = this.symbolCache.get(node);
         if (cached !== undefined)
             return cached;
-        const symbol = this.host.symbolOf(node);
+        let symbol = this.host.symbolOf(node);
+        // A method read through an instance (`h.get`) can resolve to another
+        // symbol than its declaration name; slots and call sites key on the
+        // declaration's own symbol.
+        const decl = symbol ? this.host.declarationOf(symbol) : undefined;
+        if (decl && ts.isMethodDeclaration(decl) && decl.name !== node && ts.isIdentifier(decl.name))
+            symbol = this.symbolOf(decl.name) ?? symbol;
         this.symbolCache.set(node, symbol);
         return symbol;
     }
@@ -375,7 +386,9 @@ export class NanCodedReads {
             return true;
         }
         const decl = this.host.declarationOf(symbol);
-        if (!decl || isJsSourceFile(decl.getSourceFile()) || decl.getSourceFile().isDeclarationFile)
+        if (!decl ||
+            isJsSourceFile(ts.getSourceFileOfNode(decl)) ||
+            ts.getSourceFileOfNode(decl).isDeclarationFile)
             return false;
         let name;
         if (ts.isParameter(decl)) {
@@ -457,7 +470,7 @@ export class NanCodedReads {
             !nonNegativeIntegerLiteral(decl.initializer) ||
             !ts.isVariableDeclarationList(decl.parent) ||
             !(decl.parent.flags & (ts.NodeFlags.Let | ts.NodeFlags.Const)) ||
-            isJsSourceFile(decl.getSourceFile()))
+            isJsSourceFile(ts.getSourceFileOfNode(decl)))
             return false;
         const name = decl.name;
         const owner = this.containingFunction(decl);
@@ -509,8 +522,8 @@ export class NanCodedReads {
         const nb = this.fixedLength(sb);
         if (!na || !nb)
             return false;
-        const la = na.arguments[0];
-        const lb = nb.arguments[0];
+        const la = na.arguments.nodes[0];
+        const lb = nb.arguments.nodes[0];
         // The same literal length.
         const literal = (e) => {
             const x = peelTransparent(e);
@@ -576,7 +589,7 @@ export class NanCodedReads {
             !(decl.parent.flags & ts.NodeFlags.Const) ||
             // A module binding can escape through an export.
             (ts.isVariableStatement(decl.parent.parent) && ts.isSourceFile(decl.parent.parent.parent)) ||
-            isJsSourceFile(decl.getSourceFile()) ||
+            isJsSourceFile(ts.getSourceFileOfNode(decl)) ||
             this.host.bytesElemOf(decl.name) === null)
             return null;
         const init = peelTransparent(decl.initializer);
@@ -584,10 +597,10 @@ export class NanCodedReads {
             !ts.isIdentifier(init.expression) ||
             !TYPED_ARRAYS.has(init.expression.text) ||
             !this.host.isStdlibGlobal(init.expression, init.expression.text) ||
-            init.typeArguments ||
-            init.arguments?.length !== 1 ||
-            ts.isSpreadElement(init.arguments[0]) ||
-            !this.host.isNumber(init.arguments[0]))
+            init.typeArguments?.nodes ||
+            init.arguments?.nodes.length !== 1 ||
+            ts.isSpreadElement(init.arguments.nodes[0]) ||
+            !this.host.isNumber(init.arguments.nodes[0]))
             return null;
         const name = decl.name;
         for (const id of this.names.get(name.text) ?? []) {
@@ -637,11 +650,11 @@ export class NanCodedReads {
         const decl = this.host.declarationOf(symbol);
         if (!decl || (!ts.isFunctionDeclaration(decl) && !ts.isMethodDeclaration(decl)))
             return null;
-        if (!decl.body || decl.asteriskToken || decl.typeParameters || !decl.name)
+        if (!decl.body || decl.asteriskToken || decl.typeParameters?.nodes || !decl.name)
             return null;
         if (!ts.isIdentifier(decl.name))
             return null;
-        const sf = decl.getSourceFile();
+        const sf = ts.getSourceFileOfNode(decl);
         if (isJsSourceFile(sf) || sf.isDeclarationFile)
             return null;
         const flags = ts.getCombinedModifierFlags(decl);
@@ -649,7 +662,7 @@ export class NanCodedReads {
             return null;
         if (ts.isMethodDeclaration(decl)) {
             const cls = decl.parent;
-            if (!ts.isClassDeclaration(cls) || (cls.heritageClauses?.length ?? 0) > 0)
+            if (!ts.isClassDeclaration(cls) || (cls.heritageClauses?.nodes.length ?? 0) > 0)
                 return null;
             if (this.host.methodOverridden(symbol))
                 return null;
@@ -698,7 +711,7 @@ export class NanCodedReads {
                 !ts.isCallExpression(call) ||
                 call.expression !== callee ||
                 call.questionDotToken ||
-                call.arguments.some((a) => ts.isSpreadElement(a))) {
+                call.arguments.nodes.some((a) => ts.isSpreadElement(a))) {
                 ok = false;
                 break;
             }
@@ -725,7 +738,7 @@ export class NanCodedReads {
         const decl = this.host.declarationOf(symbol);
         if (!decl)
             return null;
-        const sf = decl.getSourceFile();
+        const sf = ts.getSourceFileOfNode(decl);
         if (isJsSourceFile(sf) || sf.isDeclarationFile)
             return null;
         let nameNode;
@@ -763,14 +776,14 @@ export class NanCodedReads {
             const fnSymbol = fn.name ? this.symbolOf(fn.name) : null;
             if (!fnSymbol || !this.eligibleFunction(fnSymbol))
                 return null;
-            const index = fn.parameters.indexOf(decl);
+            const index = fn.parameters.nodes.indexOf(decl);
             if (index < 0 || !this.host.paramIsNumber(fnSymbol, index))
                 return null;
             nameNode = decl.name;
             if (decl.initializer)
                 slot.sources.push(decl.initializer);
             for (const call of this.callSites.get(fnSymbol) ?? []) {
-                const arg = call.arguments[index];
+                const arg = call.arguments.nodes[index];
                 if (arg)
                     slot.sources.push(arg);
                 else if (!decl.initializer)
@@ -934,12 +947,12 @@ export class NanCodedReads {
             return symbol ? this.returnSlot(symbol) : null;
         }
         if (ts.isCallExpression(p) && p.expression !== e) {
-            const index = p.arguments.indexOf(e);
+            const index = p.arguments.nodes.indexOf(e);
             const fn = this.calleeSymbol(p);
             if (index < 0 || !fn)
                 return null;
             const decl = this.eligibleFunction(fn);
-            const param = decl?.parameters[index];
+            const param = decl?.parameters?.nodes[index];
             if (!param || !ts.isIdentifier(param.name))
                 return null;
             const symbol = this.symbolOf(param.name);
@@ -1281,7 +1294,7 @@ export class NanCodedReads {
                 decl.initializer &&
                 ts.isVariableDeclarationList(decl.parent) &&
                 decl.parent.flags & ts.NodeFlags.Const &&
-                !isJsSourceFile(decl.getSourceFile()))
+                !isJsSourceFile(ts.getSourceFileOfNode(decl)))
                 return this.plainNumber(decl.initializer, depth + 1);
             return null;
         }
@@ -1411,7 +1424,7 @@ export class NanCodedReads {
             this.host.bytesElemOf(p.expression) !== null)
             return true;
         if (ts.isSwitchStatement(p)) {
-            return p.caseBlock.clauses.every((clause) => !ts.isCaseClause(clause) || this.plainNumber(clause.expression, 0) !== null);
+            return p.caseBlock.clauses.nodes.every((clause) => !ts.isCaseClause(clause) || this.plainNumber(clause.expression, 0) !== null);
         }
         return false;
     }