@scriptc/compiler 0.4.3 → 0.4.4

package/dist/frontend/lowering/object-factory-new.d.ts

@@ -4,6 +4,11 @@ import type { Lowerer } from "./lowerer.js";
 import { type FnSig } from "./call-signatures.js";
 /** Collection must register the shared result before reaching factory
  * bodies: those bodies can reference later globals in the same module. */
+/** The storage of a JavaScript module binding initialized with `new` of an
+ * ordinary function: a factory's result and a constructor function's
+ * receiver (`const head = new Segment()`) are both checked-dynamic
+ * values, which functions declared elsewhere in the module read through
+ * the global. */
 export declare function objectFactoryGlobalType(lowerer: Lowerer, expr: ts.NewExpression): IrType | null;
 export declare function objectFactorySignature(lowerer: Lowerer, expr: ts.NewExpression): FnSig | null;
 export declare function lowerObjectFactoryNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;

package/dist/frontend/lowering/object-factory-new.js

@@ -4,11 +4,12 @@ import { isJsSourceFile, locOf } from "../program.js";
 import { bindingNeverReassigned } from "./binding-analysis.js";
 import { implicitDefaultInstance } from "./generic-functions.js";
 import {} from "./call-signatures.js";
-/** An ordinary constructor's explicit object return replaces its receiver.
- * Without observing this or new.target, it can use the function's call ABI. */
-function isObjectFactoryNew(lowerer, expr) {
+/** The JavaScript function declaration (or never-reassigned function
+ * expression binding) `new` calls, when it is an ordinary constructor: not
+ * a generator or async function. */
+function jsConstructorFunctionOf(lowerer, expr) {
     if (!ts.isIdentifier(expr.expression) || lowerer.peekLocal(expr.expression))
-        return false;
+        return null;
     // This probe also sees ordinary classes during global collection. Leave
     // their deferred diagnostics for the class declaration's lowering.
     const wasCollecting = lowerer.collecting;
@@ -21,7 +22,7 @@ function isObjectFactoryNew(lowerer, expr) {
         lowerer.collecting = wasCollecting;
     }
     if (!symbol)
-        return false;
+        return null;
     const owner = symbol.declarations.find((node) => (ts.isFunctionDeclaration(node) && node.body !== undefined) ||
         (ts.isVariableDeclaration(node) &&
             node.initializer &&
@@ -40,6 +41,14 @@ function isObjectFactoryNew(lowerer, expr) {
         !isJsSourceFile(ts.getSourceFileOfNode(declaration)) ||
         declaration.asteriskToken ||
         declaration.modifiers?.nodes.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword))
+        return null;
+    return declaration;
+}
+/** An ordinary constructor's explicit object return replaces its receiver.
+ * Without observing this or new.target, it can use the function's call ABI. */
+function isObjectFactoryNew(lowerer, expr) {
+    const declaration = jsConstructorFunctionOf(lowerer, expr);
+    if (!declaration?.body)
         return false;
     const objectReturn = (expression) => ts.isObjectLiteralExpression(expression) ||
         ts.isArrayLiteralExpression(expression) ||
@@ -75,8 +84,13 @@ function isObjectFactoryNew(lowerer, expr) {
 }
 /** Collection must register the shared result before reaching factory
  * bodies: those bodies can reference later globals in the same module. */
+/** The storage of a JavaScript module binding initialized with `new` of an
+ * ordinary function: a factory's result and a constructor function's
+ * receiver (`const head = new Segment()`) are both checked-dynamic
+ * values, which functions declared elsewhere in the module read through
+ * the global. */
 export function objectFactoryGlobalType(lowerer, expr) {
-    return isObjectFactoryNew(lowerer, expr) ? DYN : null;
+    return jsConstructorFunctionOf(lowerer, expr) !== null ? DYN : null;
 }
 export function objectFactorySignature(lowerer, expr) {
     if (!ts.isIdentifier(expr.expression) || !isObjectFactoryNew(lowerer, expr))

package/dist/frontend/lowering/object-factory-new.js.map

@@ -1 +1 @@
-{"version":3,"file":"object-factory-new.js","sourceRoot":"","sources":["../../../src/frontend/lowering/object-factory-new.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAc,MAAM,sBAAsB,CAAC;AAElD;+EAC+E;AAC/E,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAsB;IAClE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1F,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC;IACzC,IAAI,MAAM,GAAqB,IAAI,CAAC;IACpC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,UAAU,GAAG,aAAa,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC3D,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,WAAW,GACf,KAAK;QACL,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,WAAW;QACjB,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC;QACxC,CAAC,CAAC,KAAK,CAAC,WAAW;QACnB,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC;IACb,IACE,CAAC,KAAK;QACN,CAAC,WAAW,EAAE,IAAI;QAClB,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/C,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QACpD,WAAW,CAAC,aAAa;QACzB,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAE/E,OAAO,KAAK,CAAC;IACf,MAAM,YAAY,GAAG,CAAC,UAAyB,EAAW,EAAE,CAC1D,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,WAAW,GAAG,KAAK,EAAQ,EAAE;QACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;QACrF,IACE,CAAC,WAAW;YACZ,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEpD,IAAI,GAAG,KAAK,CAAC;QACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACvE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAsB;IAC9E,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc;QACvC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAsB;IAC5E,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,IAAI;QACtB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;QACpF,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"object-factory-new.js","sourceRoot":"","sources":["../../../src/frontend/lowering/object-factory-new.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,GAAG,EAA4B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAc,MAAM,sBAAsB,CAAC;AAElD;;oCAEoC;AACpC,SAAS,uBAAuB,CAC9B,OAAgB,EAChB,IAAsB;IAEtB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,wEAAwE;IACxE,mEAAmE;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC;IACzC,IAAI,MAAM,GAAqB,IAAI,CAAC;IACpC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAC1B,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,UAAU,GAAG,aAAa,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC3D,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,IAAI,CAAC,WAAW;YAChB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAC/C,CAAC;IACF,MAAM,WAAW,GACf,KAAK;QACL,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,WAAW;QACjB,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC;QACxC,CAAC,CAAC,KAAK,CAAC,WAAW;QACnB,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC;IACb,IACE,CAAC,KAAK;QACN,CAAC,WAAW,EAAE,IAAI;QAClB,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QAC/C,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QACpD,WAAW,CAAC,aAAa;QACzB,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAE/E,OAAO,IAAI,CAAC;IACd,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;+EAC+E;AAC/E,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAsB;IAClE,MAAM,WAAW,GAAG,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,EAAE,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,YAAY,GAAG,CAAC,UAAyB,EAAW,EAAE,CAC1D,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,WAAW,GAAG,KAAK,EAAQ,EAAE;QACzD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;gBAAE,OAAO;YACtC,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;QACrF,IACE,CAAC,WAAW;YACZ,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEpD,IAAI,GAAG,KAAK,CAAC;QACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACvE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;0EAC0E;AAC1E;;;;iBAIiB;AACjB,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAsB;IAC9E,OAAO,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAsB;IAC7E,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,OAAO,EAAE,cAAc;QACvC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;QACjD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,OAAO,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAAsB;IAC5E,MAAM,SAAS,GAAG,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,SAAS,CAAC,IAAI;QACtB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;QACpF,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/overload-choice.d.ts

@@ -0,0 +1,33 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+/** Whether a checked-dynamic argument leaves a JS call's overload
+ * undecided.
+ *
+ * The checker resolves an overloaded call whose argument is `any` (an
+ * untyped parameter, a value read from one) to the FIRST overload that
+ * argument satisfies, but the value can match any overload at run time:
+ * `generateKeyPairSync("ec", options)` answers KeyObjects or encoded
+ * strings by the options' contents, `digest(encoding)` a Buffer when the
+ * encoding is undefined. When another overload the call could take at
+ * run time returns a different type, the resolved overload's return is a
+ * guess, and the result is checked-dynamic instead.
+ *
+ * An overload is reachable when the arguments fit its arity (trailing
+ * checked-dynamic or `undefined` arguments may be absent) and every
+ * statically typed argument is assignable to its parameter. Generic
+ * overloads whose return cannot be mapped without instantiation do not
+ * count, so the resolved instantiation stands for them. */
+export declare function dynamicOverloadChoice(lowerer: Lowerer, expr: ts.CallExpression | ts.NewExpression): boolean;
+/** Whether a JavaScript value's checker type rests on an undecided
+ * overload (dynamicOverloadChoice): the call itself, an awaited one, a
+ * call to an unannotated JS function returning such a value, or a read of
+ * an unannotated JS binding initialized with one (destructured or not).
+ * Such a value is checked-dynamic wherever the checker's inference would
+ * otherwise carry the guess into a binding or a return. */
+export declare function guessedOverloadValue(lowerer: Lowerer, expr: ts.Expression): boolean;
+/** Whether a JS identifier, as a binding's declared name or as a read,
+ * names a guessedOverloadBinding. */
+export declare function guessedOverloadIdentifier(lowerer: Lowerer, node: ts.Identifier): boolean;
+/** Whether a return of the unannotated JS function `decl` itself is a
+ * guessedOverloadValue. */
+export declare function returnsGuessedOverloadValue(lowerer: Lowerer, decl: ts.SignatureDeclaration): boolean;

package/dist/frontend/lowering/overload-choice.js

@@ -0,0 +1,190 @@
+import * as ts from "../ts7/adapter.js";
+import { typeEquals } from "../../ir/ir.js";
+import { isJsSourceFile } from "../program.js";
+import { isThisParameter } from "./call-signatures.js";
+import { hasExplicitJsDocReturn } from "./function-returns.js";
+import { hasJsTypeAnnotation } from "./lower-stmts.js";
+/** Whether a checked-dynamic argument leaves a JS call's overload
+ * undecided.
+ *
+ * The checker resolves an overloaded call whose argument is `any` (an
+ * untyped parameter, a value read from one) to the FIRST overload that
+ * argument satisfies, but the value can match any overload at run time:
+ * `generateKeyPairSync("ec", options)` answers KeyObjects or encoded
+ * strings by the options' contents, `digest(encoding)` a Buffer when the
+ * encoding is undefined. When another overload the call could take at
+ * run time returns a different type, the resolved overload's return is a
+ * guess, and the result is checked-dynamic instead.
+ *
+ * An overload is reachable when the arguments fit its arity (trailing
+ * checked-dynamic or `undefined` arguments may be absent) and every
+ * statically typed argument is assignable to its parameter. Generic
+ * overloads whose return cannot be mapped without instantiation do not
+ * count, so the resolved instantiation stands for them. */
+export function dynamicOverloadChoice(lowerer, expr) {
+    return cachedAnswer(lowerer, expr, () => computeDynamicOverloadChoice(lowerer, expr));
+}
+/** Whether a JavaScript value's checker type rests on an undecided
+ * overload (dynamicOverloadChoice): the call itself, an awaited one, a
+ * call to an unannotated JS function returning such a value, or a read of
+ * an unannotated JS binding initialized with one (destructured or not).
+ * Such a value is checked-dynamic wherever the checker's inference would
+ * otherwise carry the guess into a binding or a return. */
+export function guessedOverloadValue(lowerer, expr) {
+    while (ts.isParenthesizedExpression(expr) || ts.isAwaitExpression(expr))
+        expr = expr.expression;
+    if (ts.isCallExpression(expr) || ts.isNewExpression(expr)) {
+        if (!isJsSourceFile(ts.getSourceFileOfNode(expr)))
+            return false;
+        if (dynamicOverloadChoice(lowerer, expr))
+            return true;
+        const decl = lowerer.checker.getResolvedSignature(expr)?.declaration;
+        return (decl !== undefined &&
+            (ts.isFunctionDeclaration(decl) ||
+                ts.isFunctionExpression(decl) ||
+                ts.isArrowFunction(decl)) &&
+            isJsSourceFile(ts.getSourceFileOfNode(decl)) &&
+            returnsGuessedOverloadValue(lowerer, decl));
+    }
+    return ts.isIdentifier(expr) && guessedOverloadIdentifier(lowerer, expr);
+}
+/** Whether a JS identifier, as a binding's declared name or as a read,
+ * names a guessedOverloadBinding. */
+export function guessedOverloadIdentifier(lowerer, node) {
+    return cachedAnswer(lowerer, node, () => {
+        const parent = node.parent;
+        if (parent !== undefined &&
+            (ts.isVariableDeclaration(parent) || ts.isBindingElement(parent)) &&
+            parent.name === node)
+            return guessedOverloadBinding(lowerer, parent);
+        const decl = lowerer.checker.getSymbolAtLocation(node)?.valueDeclaration;
+        return decl !== undefined && guessedOverloadBinding(lowerer, decl);
+    });
+}
+/** Whether `decl` is an unannotated JS variable or destructured binding
+ * whose declaration's initializer is a guessedOverloadValue. */
+function guessedOverloadBinding(lowerer, decl) {
+    let root = decl;
+    while (root && ts.isBindingElement(root) && root.parent && ts.isBindingPattern(root.parent)) {
+        root = root.parent.parent;
+    }
+    if (!root)
+        return false;
+    if (!ts.isVariableDeclaration(root) || !root.initializer || root.type)
+        return false;
+    if (!isJsSourceFile(ts.getSourceFileOfNode(root)) || hasJsTypeAnnotation(root))
+        return false;
+    const init = root.initializer;
+    return cachedAnswer(lowerer, root, () => guessedOverloadValue(lowerer, init));
+}
+/** Whether a return of the unannotated JS function `decl` itself is a
+ * guessedOverloadValue. */
+export function returnsGuessedOverloadValue(lowerer, decl) {
+    if (decl.type || decl.asteriskToken || hasExplicitJsDocReturn(decl))
+        return false;
+    return cachedAnswer(lowerer, decl, () => {
+        if (ts.isArrowFunction(decl) && decl.body && !ts.isBlock(decl.body)) {
+            return guessedOverloadValue(lowerer, decl.body);
+        }
+        let found = false;
+        const scan = (node) => {
+            if (found || (node !== decl && ts.isFunctionLike(node)))
+                return;
+            if (ts.isReturnStatement(node) && node.expression) {
+                found = guessedOverloadValue(lowerer, node.expression);
+            }
+            ts.forEachChild(node, scan);
+        };
+        scan(decl);
+        return found;
+    });
+}
+/** One answer per node; a node asked again while its answer is being
+ * computed (recursive functions, self-referencing bindings) answers
+ * false. */
+function cachedAnswer(lowerer, node, compute) {
+    const cached = lowerer.dynamicOverloadAnswers.get(node);
+    if (cached !== undefined)
+        return cached;
+    lowerer.dynamicOverloadAnswers.set(node, false);
+    const answer = compute();
+    lowerer.dynamicOverloadAnswers.set(node, answer);
+    return answer;
+}
+function computeDynamicOverloadChoice(lowerer, expr) {
+    // TypeScript sources keep the resolved overload: their reads validate
+    // the value against it where it is used.
+    if (!isJsSourceFile(ts.getSourceFileOfNode(expr)))
+        return false;
+    const args = expr.arguments?.nodes ?? [];
+    if (args.length === 0 || args.some(ts.isSpreadElement))
+        return false;
+    const dynamic = args.map((arg) => checkedDynamicArgument(lowerer, arg));
+    if (!dynamic.includes(true))
+        return false;
+    const checker = lowerer.checker;
+    const calleeType = checker.getTypeAtLocation(expr.expression);
+    const signatures = ts.isNewExpression(expr)
+        ? checker.getConstructSignatures(calleeType)
+        : checker.getCallSignatures(calleeType);
+    if (signatures.length < 2)
+        return false;
+    const resolved = checker.getResolvedSignature(expr);
+    if (!resolved)
+        return false;
+    const resolvedReturn = lowerer.mapTypeOf(checker.getReturnTypeOfSignature(resolved));
+    if (resolvedReturn === null)
+        return false;
+    // Arguments that may be absent at run time: the trailing run of
+    // checked-dynamic and `undefined` arguments.
+    let present = args.length;
+    while (present > 0 && (dynamic[present - 1] || isUndefinedArgument(args[present - 1]))) {
+        present--;
+    }
+    for (const signature of signatures) {
+        const decl = signature.declaration;
+        if (!decl || decl === resolved.declaration || !ts.isFunctionLike(decl))
+            continue;
+        const generic = signature.getTypeParameters().length > 0;
+        const params = decl.parameters.nodes.filter((param) => !isThisParameter(param));
+        const required = params.filter((param) => !param.questionToken && !param.initializer && !param.dotDotDotToken).length;
+        const maximum = params.some((param) => param.dotDotDotToken) ? Infinity : params.length;
+        if (required > args.length || present > maximum)
+            continue;
+        const symbols = signature.getParameters();
+        let fits = true;
+        for (let i = 0; i < args.length && i < params.length && fits; i++) {
+            if (dynamic[i] || generic || params[i].dotDotDotToken)
+                continue;
+            const symbol = symbols[i];
+            if (!symbol)
+                continue;
+            fits = checker.isTypeAssignableTo(checker.getTypeAtLocation(args[i]), checker.getTypeOfSymbol(symbol));
+        }
+        if (!fits)
+            continue;
+        const candidate = lowerer.mapTypeOf(checker.getReturnTypeOfSignature(signature));
+        if (candidate !== null && !holdsResult(resolvedReturn, candidate))
+            return true;
+    }
+    return false;
+}
+/** Whether a value of the resolved overload's mapped return also holds
+ * every value of `candidate`: the same type, or a checked-dynamic one (a
+ * promise of one fulfills with anything). */
+function holdsResult(resolved, candidate) {
+    if (resolved.kind === "dyn" || typeEquals(resolved, candidate))
+        return true;
+    return (resolved.kind === "promise" &&
+        candidate.kind === "promise" &&
+        holdsResult(resolved.inner, candidate.inner));
+}
+function checkedDynamicArgument(lowerer, arg) {
+    if (lowerer.checker.getTypeAtLocation(arg).flags & ts.TypeFlags.Any)
+        return true;
+    return (lowerer.typeOf(arg).flags & ts.TypeFlags.Any) !== 0;
+}
+function isUndefinedArgument(arg) {
+    return (ts.isIdentifier(arg) && arg.text === "undefined") || ts.isVoidExpression(arg);
+}
+//# sourceMappingURL=overload-choice.js.map

package/dist/frontend/lowering/overload-choice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overload-choice.js","sourceRoot":"","sources":["../../../src/frontend/lowering/overload-choice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,UAAU,EAAe,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD;;;;;;;;;;;;;;;;2DAgB2D;AAC3D,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAA0C;IAE1C,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACxF,CAAC;AAED;;;;;2DAK2D;AAC3D,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACxE,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAChG,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;QACrE,OAAO,CACL,IAAI,KAAK,SAAS;YAClB,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAC3B,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC5C,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED;qCACqC;AACrC,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAAmB;IAC7E,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IACE,MAAM,KAAK,SAAS;YACpB,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACjE,MAAM,CAAC,IAAI,KAAK,IAAI;YAEpB,OAAO,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;QACzE,OAAO,IAAI,KAAK,SAAS,IAAI,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;gEACgE;AAChE,SAAS,sBAAsB,CAAC,OAAgB,EAAE,IAAa;IAC7D,IAAI,IAAI,GAAwB,IAAI,CAAC;IACrC,OAAO,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5F,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IACD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpF,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7F,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,IAA6B;IAE7B,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,IAAI,sBAAsB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAClF,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QACtC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpE,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;YACnC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO;YAChE,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClD,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACzD,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;YAEY;AACZ,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAa,EAAE,OAAsB;IAC3E,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;IACzB,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,4BAA4B,CACnC,OAAgB,EAChB,IAA0C;IAE1C,sEAAsE;IACtE,yCAAyC;IACzC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACzC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC;QAC5C,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,IAAI,cAAc,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1C,gEAAgE;IAChE,6CAA6C;IAC7C,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAE,CAAC,CAAC,EAAE,CAAC;QACxF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC;QACnC,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,SAAS;QACjF,MAAM,OAAO,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,cAAc,CAC/E,CAAC,MAAM,CAAC;QACT,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QACxF,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,GAAG,OAAO;YAAE,SAAS;QAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;QAC1C,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAClE,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,IAAI,MAAM,CAAC,CAAC,CAAE,CAAC,cAAc;gBAAE,SAAS;YACjE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAC/B,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EACnC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAChC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC,CAAC;QACjF,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;6CAE6C;AAC7C,SAAS,WAAW,CAAC,QAAgB,EAAE,SAAiB;IACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,SAAS;QAC3B,SAAS,CAAC,IAAI,KAAK,SAAS;QAC5B,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAgB,EAAE,GAAkB;IAClE,IAAI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACjF,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAkB;IAC7C,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;AACxF,CAAC"}

package/dist/frontend/lowering/surfaces.js

@@ -5,6 +5,17 @@ function unparenthesized(e) {
         e = e.expression;
     return e;
 }
+/** `e` without parentheses and type-only wrappers (as, satisfies, type
+ * assertions, non-null assertions), which change no runtime value. */
+function withoutTypeCasts(e) {
+    while (ts.isParenthesizedExpression(e) ||
+        ts.isAsExpression(e) ||
+        ts.isSatisfiesExpression(e) ||
+        ts.isTypeAssertion(e) ||
+        ts.isNonNullExpression(e))
+        e = e.expression;
+    return e;
+}
 import { UNSUPPORTED } from "../../diagnostics/diagnostic.js";
 import { BOOL, BYTES_U8, CHILD_T, CRYPTOHASH_T, CRYPTOHMAC_T, DIR_T, DYN, F64, FILEHANDLE_T, SPAWNRES_T, STATS_T, STRING, URL_T, VOID, arrayOf, } from "../../ir/ir.js";
 import { isJsSourceFile, isNodeTypesPath, requireSpecOf } from "../program.js";
@@ -1419,6 +1430,7 @@ export const BUILTIN_MODULE_FNS = {
         generateKeyPair: { fn: "crypto.generateKeyPairCb", params: [], result: VOID },
         sign: { fn: "crypto.signOneshot", params: [], result: DYN },
         verify: { fn: "crypto.verifyOneshot", params: [], result: DYN },
+        diffieHellman: { fn: "crypto.diffieHellman", params: [], result: DYN },
         pbkdf2Sync: {
             fn: "crypto.pbkdf2",
             params: [BYTES_U8, BYTES_U8, F64, F64, STRING],
@@ -1916,7 +1928,16 @@ export const BUILTIN_MODULE_FN_ALIASES = {
             "fs.readFdEncoded",
             "fs.readFdSync",
             "fs.readFdSyncBytes",
+            // The runtime encoding's check before a URL path converts
+            // (fs-paths.ts).
+            "fs.checkReadEncoding",
         ],
+        // The string source's check before a URL destination converts
+        // (fs-paths.ts).
+        copyFileSync: ["fs.checkPath"],
+        renameSync: ["fs.checkPath"],
+        copyFile: ["fs.checkPath"],
+        rename: ["fs.checkPath"],
         readlinkSync: ["fs.readlinkSyncStr", "fs.readlinkSyncBuffer"],
         // The bytes-data form and the { mode } options form.
         writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync"],
@@ -2886,8 +2907,6 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
                 "RSA and EC KeyObjects (generateKeyPair, createPrivateKey, createPublicKey), sign, verify, " +
                 "createSign, createVerify, createECDH, and createDiffieHellman",
         ])),
-        diffieHellman: "crypto.diffieHellman takes DH, EC or X25519 KeyObjects and has no lowering; " +
-            "the objects of createDiffieHellman, getDiffieHellman and createECDH compute shared secrets",
         setFips: "a compiled binary has no FIPS provider to enable, and Node itself throws on setFips(true) " +
             "in a non-FIPS build — getFips() answers 0 here",
     },
@@ -3214,6 +3233,22 @@ export function stdlibGlobalNameOf(lowerer, expr) {
         return ts.symbolName(resolved) === "global" ? "globalThis" : ts.symbolName(resolved);
     }
     if (ts.isPropertyAccessExpression(expr) && !expr.questionDotToken) {
+        // The buffer module's Buffer (`require("buffer").Buffer`, `buffer_1.Buffer`)
+        // is the global constructor.
+        if (bufferNamespaceMember(lowerer, expr))
+            return "Buffer";
+        // A cast of the global object (`(globalThis as { Buffer?: B }).Buffer`,
+        // `(globalThis as any).Buffer`) changes only its static type: the
+        // member is the global object's own.
+        const uncast = withoutTypeCasts(expr.expression);
+        if (uncast !== unparenthesized(expr.expression)) {
+            if (!ts.isIdentifier(uncast) || stdlibGlobalNameOf(lowerer, uncast) !== "globalThis")
+                return null;
+            const member = lowerer.checker.getPropertyOfType(lowerer.typeOf(uncast), expr.name.text);
+            if (!member || !lowerer.isStdlibSymbol(member))
+                return null;
+            return ts.symbolName(member) === "global" ? "globalThis" : ts.symbolName(member);
+        }
         if (stdlibGlobalNameOf(lowerer, expr.expression) !== "globalThis")
             return null;
         // Through a detection chain the checker types the receiver as the
@@ -3334,8 +3369,26 @@ export function stdlibGlobalAliasDecl(lowerer, nameNode, init) {
     if (!symbol)
         return false;
     lowerer.stdlibGlobalAliases.set(symbol, name);
+    if (init !== undefined && castGlobalAliasSource(lowerer, init))
+        lowerer.castGlobalAliases.add(symbol);
     return true;
 }
+/** True when an alias initializer reads its global through a cast of the
+ * global object (`(globalThis as { Buffer?: B }).Buffer`), directly or as
+ * the left operand of `||` (stdlibGlobalAliasNameOf's guard), or copies an
+ * alias made that way. Such an alias carries the cast's static type. */
+function castGlobalAliasSource(lowerer, init) {
+    let source = unparenthesized(init);
+    if (ts.isBinaryExpression(source) && source.operatorToken.kind === ts.SyntaxKind.BarBarToken)
+        source = unparenthesized(source.left);
+    if (ts.isPropertyAccessExpression(source))
+        return withoutTypeCasts(source.expression) !== unparenthesized(source.expression);
+    if (ts.isIdentifier(source)) {
+        const symbol = lowerer.checker.getSymbolAtLocation(source);
+        return symbol !== undefined && lowerer.castGlobalAliases.has(symbol);
+    }
+    return false;
+}
 /** True iff the symbol is declared ONLY by the adopted @types/node
  * surface (no es-lib or shipped-ambient declaration merges in) — chooses
  * the SC2020 fence's wording: "typed by @types/node", not "standard