@scriptc/compiler 0.0.23 → 0.0.24

package/dist/frontend/lowering/lowerer.d.ts

@@ -1786,9 +1786,9 @@ export declare class Lowerer {
         stmts: IrStmt[];
         value: IrExpr;
     };
-    lowerBindingPattern(pattern: ts.ArrayBindingPattern | ts.ObjectBindingPattern, srcRef: () => IrExpr, srcType: IrType, isLet: boolean, out: IrStmt[], dynSpell?: string): void;
+    lowerBindingPattern(pattern: ts.ArrayBindingPattern | ts.ObjectBindingPattern, srcRef: () => IrExpr, srcType: IrType, isLet: boolean, out: IrStmt[], dynSpell?: string, allowDynObject?: boolean): void;
     checkBindingElement(el: ts.BindingElement, allowDefault?: boolean): void;
-    bindPatternTarget(name: ts.BindingName, value: IrExpr, isLet: boolean, out: IrStmt[]): void;
+    bindPatternTarget(name: ts.BindingName, value: IrExpr, isLet: boolean, out: IrStmt[], allowDynObject?: boolean): void;
     lowerVarDeclList(list: ts.VariableDeclarationList): IrStmt | null;
     lowerVarDecl(decl: ts.VariableDeclaration, isLet: boolean): IrStmt | null;
     lowerSwitch(stmt: ts.SwitchStatement): IrStmt;

package/dist/frontend/lowering/lowerer.js

@@ -36,7 +36,7 @@ import { lowerNodeTestModuleCall, lowerTestDirectCall, lowerTestMethodCall, lowe
 import { lowerAssertModuleCall, lowerAssertDirectCall } from "./lower-assert.js";
 import { lowerUtilModuleCall } from "./lower-inspect.js";
 import { lowerComptime, comptimeBakeable, rejectComptimeCaptures, comptimeValueToIr } from "./lower-comptime.js";
-import { lowerStmts, noteBlockedBindings, isBlockedBinding, lowerScopedBlock, predeclareForwardCapture, predeclareForwardFnDecl, predeclareForwardVar, rejectJumpCrossingFinally, lowerStmt, lowerVarStatement, lowerDestructuringDecl, lowerDestructuringAssignParts, lowerBindingPattern, lowerJsvalBindingPattern, checkBindingElement, bindPatternTarget, lowerVarDeclList, lowerVarDecl, lowerSwitch, lowerTry, lowerExprStatement, lowerForOf, lowerForStatement } from "./lower-stmts.js";
+import { lowerStmts, noteBlockedBindings, isBlockedBinding, lowerScopedBlock, predeclareForwardCapture, predeclareForwardFnDecl, predeclareForwardVar, rejectJumpCrossingFinally, lowerStmt, lowerVarStatement, lowerDestructuringDecl, lowerDestructuringAssignParts, lowerBindingPattern, lowerJsvalBindingPattern, checkBindingElement, bindPatternTarget, isParseArgsDynCheckerType, lowerVarDeclList, lowerVarDecl, lowerSwitch, lowerTry, lowerExprStatement, lowerForOf, lowerForStatement } from "./lower-stmts.js";
 import { lowerDynObjectLiteral, lowerExpr, maybeNarrow, lowerUnitComparison, lowerNullishCoalesce, lowerOptionalChain, finishOptionalChain, lowerCondition, ensureBool, requireTruthyUnion, eqComparableUnion, lowerIntrinsicProperty, lowerArrayLiteral, lowerObjectLiteral, lowerShorthandValue, rejectThisInObjectMethod, lowerElementAccess, lowerElementWrite, lowerRecordKeyRead, ensureString, lowerTemplate, lowerAsExpression, lowerPrefixUnary, lowerBinary, lowerCaughtTypeofTest, caughtRead, caughtLocalOf, caughtToString, lowerInstanceOf, lowerRegexLiteral, lowerFieldRead, lowerUnionProperty, fieldTarget, fieldGetExpr, fieldSetStmt, lowerFieldCompound, uniqueSymbolKeyOf, foldedStringKeyOf } from "./lower-exprs.js";
 import { lowerRecordFieldCall, lowerObjectMethodCall } from "./lower-calls.js";
 import { fenceCrossBlockNsRef, nsPathPrefix } from "./lower-namespaces.js";
@@ -2505,7 +2505,7 @@ export class Lowerer {
                 Segmenter: intlHint,
                 DisplayNames: intlHint,
                 TextEncoder: "TextEncoder values have no representation — call through a const initialized with new TextEncoder(), or use the composed new TextEncoder().encode(s) form",
-                TextDecoder: "TextDecoder values have no representation — call through a const initialized with the default new TextDecoder(), or use the composed new TextDecoder().decode(bytes) form",
+                TextDecoder: "TextDecoder values have no representation — call through a const initialized with a recognized literal label, or use the composed new TextDecoder(<literal label>).decode(bytes) form",
             };
             this.pushDiag(noLoweringDiag(this.checker.typeToString(type), locOf(node), typeHints[stdlibOwnSym?.name ?? ""]));
             throw new PoisonError();
@@ -6719,9 +6719,14 @@ export class Lowerer {
     lowerDestructuringAssignParts(target, rhs, loc) {
         return lowerDestructuringAssignParts(this, target, rhs, loc);
     }
-    lowerBindingPattern(pattern, srcRef, srcType, isLet, out, dynSpell) {
+    lowerBindingPattern(pattern, srcRef, srcType, isLet, out, dynSpell, allowDynObject = false) {
         if (ts.isObjectBindingPattern(pattern)) {
             fenceFetchObjectBinding(this, pattern);
+            // parseArgs's declaration family deliberately maps to dyn. Infer the
+            // scoped bridge at the binding site as well as at initializer-backed
+            // declarations, covering parameter and for-of element patterns.
+            allowDynObject ||= srcType.kind === "dyn" &&
+                isParseArgsDynCheckerType(this, this.typeOf(pattern));
         }
         // An ISLAND source (`const { readFileSync } = await import("fs")` —
         // a namespace handle, or any 'any'-typed object): each bound name is
@@ -6786,13 +6791,13 @@ export class Lowerer {
             }
             return;
         }
-        return lowerBindingPattern(this, pattern, srcRef, srcType, isLet, out, dynSpell);
+        return lowerBindingPattern(this, pattern, srcRef, srcType, isLet, out, dynSpell, allowDynObject);
     }
     checkBindingElement(el, allowDefault = false) {
         return checkBindingElement(this, el, allowDefault);
     }
-    bindPatternTarget(name, value, isLet, out) {
-        return bindPatternTarget(this, name, value, isLet, out);
+    bindPatternTarget(name, value, isLet, out, allowDynObject = false) {
+        return bindPatternTarget(this, name, value, isLet, out, allowDynObject);
     }
     lowerVarDeclList(list) {
         return lowerVarDeclList(this, list);