@scriptc/compiler 0.4.2 → 0.4.4

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.d.ts

@@ -302,6 +302,9 @@ export declare function isStdlibSymbol(lowerer: Lowerer, symbol: ts.Symbol | und
  *     tamper-guard prologue) registered in stdlibGlobalAliases;
  *   - a const binding of the Map or Set constructor (`const M = Map`,
  *     builtinClassAliasOf). */
+/** The symbol an identifier reads. A shorthand property's name (`{ Date }`)
+ * reads the binding of the same name, not the property it declares. */
+export declare function identifierReadSymbol(lowerer: Lowerer, expr: ts.Identifier): ts.Symbol | undefined;
 export declare function stdlibGlobalNameOf(lowerer: Lowerer, expr: ts.Expression): string | null;
 /** True iff `expr` denotes THE standard-library global `name` — name AND
  * provenance, because neither alone suffices: several globals share

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],
@@ -1446,6 +1458,15 @@ export const BUILTIN_MODULE_FNS = {
         createDiffieHellman: { fn: "crypto.dhNew", params: [DYN, DYN, DYN, DYN], result: DYN },
         getDiffieHellman: { fn: "crypto.dhGroupNew", params: [DYN], result: DYN },
         createDiffieHellmanGroup: { fn: "crypto.dhGroupNew", params: [DYN], result: DYN },
+        // Prime checks and generation (lowerPrimeCall): checked-dynamic
+        // arguments, results converted to the call site's type.
+        checkPrimeSync: { fn: "crypto.checkPrimeSync", params: [], result: DYN },
+        // Checked-dynamic arguments, the result converted to the call site's
+        // type (lowerPrimeCall).
+        getCipherInfo: { fn: "crypto.getCipherInfo", params: [], result: DYN },
+        checkPrime: { fn: "crypto.checkPrimeCb", params: [], result: VOID },
+        generatePrimeSync: { fn: "crypto.generatePrimeSync", params: [], result: DYN },
+        generatePrime: { fn: "crypto.generatePrimeCb", params: [], result: VOID },
     },
     zlib: {
         // The default-options convenience family is special-cased in
@@ -1907,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"],
@@ -2877,13 +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",
-        ...Object.fromEntries(["getCipherInfo"].map((m) => [
-            m,
-            "cipher metadata has no lowering — createCipheriv and createDecipheriv support " +
-                "aes-128/192/256 in cbc, ctr, and gcm modes and chacha20-poly1305",
-        ])),
         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",
     },
@@ -3141,6 +3164,14 @@ export function isStdlibSymbol(lowerer, symbol) {
  *     tamper-guard prologue) registered in stdlibGlobalAliases;
  *   - a const binding of the Map or Set constructor (`const M = Map`,
  *     builtinClassAliasOf). */
+/** The symbol an identifier reads. A shorthand property's name (`{ Date }`)
+ * reads the binding of the same name, not the property it declares. */
+export function identifierReadSymbol(lowerer, expr) {
+    if (expr.parent && ts.isShorthandPropertyAssignment(expr.parent) && expr.parent.name === expr)
+        return (lowerer.checker.getShorthandAssignmentValueSymbol(expr.parent) ??
+            lowerer.checker.getSymbolAtLocation(expr));
+    return lowerer.checker.getSymbolAtLocation(expr);
+}
 export function stdlibGlobalNameOf(lowerer, expr) {
     if (ts.isParenthesizedExpression(expr))
         return stdlibGlobalNameOf(lowerer, expr.expression);
@@ -3154,7 +3185,7 @@ export function stdlibGlobalNameOf(lowerer, expr) {
         return stdlibGlobalNameOf(lowerer, taken ? expr.whenTrue : expr.whenFalse);
     }
     if (ts.isIdentifier(expr)) {
-        const symbol = lowerer.checker.getSymbolAtLocation(expr);
+        const symbol = identifierReadSymbol(lowerer, expr);
         // `globalThis` itself: a reserved intrinsic — tsc rejects user
         // global bindings, but local parameters can shadow it. Its special
         // symbol has no ordinary declarations for the provenance check.
@@ -3202,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
@@ -3322,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