@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/type-failure.js

@@ -0,0 +1,163 @@
+import * as ts from "../ts7/adapter.js";
+/** Families a checked-dynamic slot can hold (design §3.7). The others
+ * name values the compiler cannot produce (opaque stdlib and @types/node
+ * types, engine-backed ambient types), package value types that scope B
+ * routes to Node islands, enum objects with no runtime value, and generic
+ * implementations without an erased instance. */
+const DEGRADABLE_FAMILIES = new Set([
+    "index-signature",
+    "overloads",
+    "intersection",
+    "component",
+    "record-member",
+    "unsupported",
+    "dyn-field-policy",
+]);
+function nameText(name) {
+    if (name === undefined)
+        return null;
+    if (ts.isIdentifier(name) || ts.isPrivateIdentifier(name))
+        return name.text;
+    if (ts.isStringLiteral(name) || ts.isNumericLiteral(name))
+        return name.text;
+    return ts.getTextOfNode(name);
+}
+function isParameterProperty(param) {
+    return (ts.isConstructorDeclaration(param.parent) &&
+        (param.modifiers?.nodes ?? []).some((m) => m.kind === ts.SyntaxKind.PublicKeyword ||
+            m.kind === ts.SyntaxKind.PrivateKeyword ||
+            m.kind === ts.SyntaxKind.ProtectedKeyword ||
+            m.kind === ts.SyntaxKind.ReadonlyKeyword));
+}
+function variableSlot(decl) {
+    const list = decl.parent;
+    const holder = list?.parent;
+    if (holder !== undefined &&
+        (ts.isForOfStatement(holder) || ts.isForInStatement(holder) || ts.isForStatement(holder)))
+        return "loop";
+    if (holder !== undefined && ts.isVariableStatement(holder) && ts.isSourceFile(holder.parent))
+        return "global";
+    return "local";
+}
+function functionLabel(fn) {
+    if (ts.isConstructorDeclaration(fn))
+        return "constructor";
+    if (ts.isFunctionLikeDeclaration(fn)) {
+        const own = nameText(fn.name);
+        if (own !== null)
+            return own;
+        const parent = fn.parent;
+        if (parent !== undefined &&
+            (ts.isVariableDeclaration(parent) ||
+                ts.isPropertyAssignment(parent) ||
+                ts.isPropertyDeclaration(parent))) {
+            const bound = nameText(parent.name);
+            if (bound !== null)
+                return bound;
+        }
+    }
+    return "<anonymous>";
+}
+/** The slot a badType blame node denotes. A declaration's own node, its
+ * name and its type annotation name the declaration's slot; anything
+ * reached through an expression is an expression slot (the type of a
+ * cast, a literal, a temporary). */
+export function typeFailureSlot(node) {
+    let current = node;
+    for (let depth = 0; depth < 64; depth++) {
+        if (ts.isParameter(current)) {
+            const name = nameText(current.name) ?? "<parameter>";
+            return { slot: isParameterProperty(current) ? "field" : "param", name };
+        }
+        if (ts.isPropertyDeclaration(current))
+            return { slot: "field", name: nameText(current.name) ?? "<field>" };
+        if (ts.isVariableDeclaration(current))
+            return { slot: variableSlot(current), name: nameText(current.name) ?? "<binding>" };
+        if (ts.isBindingElement(current)) {
+            let owner = current.parent;
+            while (owner !== undefined && !ts.isVariableDeclaration(owner) && !ts.isParameter(owner))
+                owner = owner.parent;
+            const slot = owner === undefined
+                ? "local"
+                : ts.isParameter(owner)
+                    ? "param"
+                    : variableSlot(owner);
+            return { slot, name: nameText(current.name) ?? "<binding>" };
+        }
+        if (ts.isPropertySignature(current) || ts.isMethodSignatureDeclaration(current))
+            return { slot: "member", name: nameText(current.name) ?? "<member>" };
+        if (ts.isFunctionLikeDeclaration(current))
+            return { slot: "return", name: functionLabel(current) };
+        if (ts.isCatchClause(current))
+            return { slot: "local", name: "<catch binding>" };
+        const parent = current.parent;
+        if (parent === undefined || ts.isSourceFile(parent))
+            break;
+        // Climb from a declaration's name or type annotation, or from inside a
+        // type node; any other position is an expression's own type.
+        const declared = (ts.isParameter(parent) ||
+            ts.isPropertyDeclaration(parent) ||
+            ts.isVariableDeclaration(parent) ||
+            ts.isBindingElement(parent) ||
+            ts.isPropertySignature(parent) ||
+            ts.isMethodSignatureDeclaration(parent) ||
+            ts.isFunctionLikeDeclaration(parent)) &&
+            (parent.name === current ||
+                parent.type === current);
+        if (!declared && !ts.isTypeNode(current) && !ts.isTypeNode(parent))
+            break;
+        current = parent;
+    }
+    // A type node names its expression (`raw as Plugin`, not `Plugin`).
+    let named = node;
+    while (ts.isTypeNode(named) && named.parent !== undefined && !ts.isSourceFile(named.parent))
+        named = named.parent;
+    const text = ts.getTextOfNode(named).replace(/\s+/g, " ");
+    return { slot: "expression", name: text.length > 60 ? `${text.slice(0, 57)}...` : text };
+}
+/** Program code outside node_modules, in TypeScript: the code holes apply
+ * to (design §3.3, §3.8). JavaScript keeps its dynamic fallback and its
+ * runtime fences; npm packages keep island routing. */
+function programTypeScript(node) {
+    const sf = ts.getSourceFileOfNode(node);
+    const file = sf.fileName;
+    if (file.includes("/node_modules/"))
+        return false;
+    if (sf.isDeclarationFile)
+        return false;
+    return !/\.(?:[cm]?js|jsx)$/.test(file);
+}
+export function typeFailureOf(node, declaredType, family) {
+    const { slot, name } = typeFailureSlot(node);
+    return {
+        slot,
+        name,
+        declaredType,
+        family,
+        degradable: DEGRADABLE_FAMILIES.has(family) && programTypeScript(node),
+    };
+}
+function locKey(node) {
+    const sf = ts.getSourceFileOfNode(node);
+    return `${sf.fileName}:${ts.tokenStartOfNode(node)}`;
+}
+/** The failure-group key of a deferred declaration (a class shape or a
+ * function signature whose collection poisoned). */
+export function declarationGroupKey(symbol) {
+    const decl = symbol.declarations[0];
+    const name = ts.symbolName(symbol);
+    if (decl === undefined)
+        return `declaration ${name}`;
+    const kind = ts.isClassDeclaration(decl) || ts.isClassExpression(decl)
+        ? "class"
+        : ts.isFunctionLikeDeclaration(decl)
+            ? "function"
+            : "declaration";
+    return `${kind} ${name} @${locKey(decl)}`;
+}
+/** The failure-group key of a poisoned declaration statement whose
+ * bindings are blocked. */
+export function statementGroupKey(stmt) {
+    return `statement @${locKey(stmt)}`;
+}
+//# sourceMappingURL=type-failure.js.map

package/dist/frontend/lowering/type-failure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-failure.js","sourceRoot":"","sources":["../../../src/frontend/lowering/type-failure.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC;;;;iDAIiD;AACjD,MAAM,mBAAmB,GAAmC,IAAI,GAAG,CAAoB;IACrF,iBAAiB;IACjB,WAAW;IACX,cAAc;IACd,WAAW;IACX,eAAe;IACf,aAAa;IACb,kBAAkB;CACnB,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,IAAyB;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5E,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5E,OAAO,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA8B;IACzD,OAAO,CACL,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC;QACzC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACzC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAC3C,CACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAA4B;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC;IAC5B,IACE,MAAM,KAAK,SAAS;QACpB,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAEzF,OAAO,MAAM,CAAC;IAChB,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1F,OAAO,QAAQ,CAAC;IAClB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,EAAW;IAChC,IAAI,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC;QAAE,OAAO,aAAa,CAAC;IAC1D,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,GAAG,CAAC;QAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QACzB,IACE,MAAM,KAAK,SAAS;YACpB,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;gBAC/B,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAC/B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,EACnC,CAAC;YACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;oCAGoC;AACpC,MAAM,UAAU,eAAe,CAAC,IAAa;IAC3C,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;YACrD,OAAO,EAAE,IAAI,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACtE,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACtF,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,IAAI,KAAK,GAAwB,OAAO,CAAC,MAAM,CAAC;YAChD,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;gBACtF,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;YACvB,MAAM,IAAI,GACR,KAAK,KAAK,SAAS;gBACjB,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC;oBACrB,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,YAAY,CAAC,KAA+B,CAAC,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QAC/D,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,4BAA4B,CAAC,OAAO,CAAC;YAC7E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACxE,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;YACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1D,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;QACjF,MAAM,MAAM,GAAwB,OAAO,CAAC,MAAM,CAAC;QACnD,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,MAAM;QAC3D,uEAAuE;QACvE,6DAA6D;QAC7D,MAAM,QAAQ,GACZ,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;YACrB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAC3B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9B,EAAE,CAAC,4BAA4B,CAAC,MAAM,CAAC;YACvC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACvC,CAAE,MAA6B,CAAC,IAAI,KAAK,OAAO;gBAC7C,MAA6B,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM;QAC1E,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,oEAAoE;IACpE,IAAI,KAAK,GAAY,IAAI,CAAC;IAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QACzF,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3F,CAAC;AAED;;uDAEuD;AACvD,SAAS,iBAAiB,CAAC,IAAa;IACtC,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC;IACzB,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,EAAE,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAa,EACb,YAAoB,EACpB,MAAyB;IAEzB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,MAAM;QACN,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAAa;IAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED;oDACoD;AACpD,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,eAAe,IAAI,EAAE,CAAC;IACrD,MAAM,IAAI,GACR,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACvD,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,aAAa,CAAC;IACtB,OAAO,GAAG,IAAI,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;2BAC2B;AAC3B,MAAM,UAAU,iBAAiB,CAAC,IAAkB;IAClD,OAAO,cAAc,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACtC,CAAC"}

package/dist/frontend/lowering/typed-arguments.d.ts

@@ -1,5 +1,5 @@
 import * as ts from "../ts7/adapter.js";
-import { type IrExpr, type IrStmt, type IrType } from "../../ir/ir.js";
+import { type IrExpr, type IrParam, type IrStmt, type IrType } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 import { type ParamShape } from "./call-signatures.js";
 /** Variadic forwarding through a FIXED signature.
@@ -37,11 +37,10 @@ export declare function typedArgumentsShapes(target: IrType & {
 }): ParamShape[];
 /** Declares the hidden positional slots of a typed-arguments function and
  * binds its `arguments` to their tuple. */
-export declare function declareTypedArguments(lowerer: Lowerer, node: ts.FunctionExpression, shapes: readonly ParamShape[], params: {
-    localId: string;
-    name: string;
-    type: IrType;
-}[], prologue: IrStmt[]): void;
+export declare function declareTypedArguments(lowerer: Lowerer, node: ts.FunctionExpression, shapes: readonly ParamShape[], params: IrParam[], prologue: IrStmt[]): void;
+/** The binding an identifier reads: its symbol, or for the name of a
+ * shorthand property (`{ xs }`) the variable whose value the property takes. */
+export declare function bindingSymbolOfRead(lowerer: Lowerer, id: ts.Identifier): ts.Symbol | undefined;
 /** Whether every read of a tuple binding in `fn` (identified by `isRoot`)
  * only forwards it: `f.apply(t, x)`, `g(...x)` into a program function,
  * `x.length`, or a const alias whose own reads only forward. Reads inside

package/dist/frontend/lowering/typed-arguments.js

@@ -2,7 +2,7 @@ import * as ts from "../ts7/adapter.js";
 import { bodyReadsArguments } from "../arguments-usage.js";
 import { isJsSourceFile, locOf } from "../program.js";
 import { restTupleElementTypes, unitOnlyUnion } from "../type-mapper.js";
-import { DYN, arrayOf } from "../../ir/ir.js";
+import { DYN, arrayOf, } from "../../ir/ir.js";
 import { captureContextArguments } from "./function-context.js";
 import { isThisParameter } from "./call-signatures.js";
 import { tryLowerExpression } from "./expressions/try-lower-expression.js";
@@ -172,6 +172,14 @@ export function declareTypedArguments(lowerer, node, shapes, params, prologue) {
         loc,
     });
 }
+/** The binding an identifier reads: its symbol, or for the name of a
+ * shorthand property (`{ xs }`) the variable whose value the property takes. */
+export function bindingSymbolOfRead(lowerer, id) {
+    const parent = id.parent;
+    if (parent && ts.isShorthandPropertyAssignment(parent) && parent.name === id)
+        return lowerer.checker.getShorthandAssignmentValueSymbol(parent);
+    return lowerer.checker.getSymbolAtLocation(id);
+}
 /** Whether every read of a tuple binding in `fn` (identified by `isRoot`)
  * only forwards it: `f.apply(t, x)`, `g(...x)` into a program function,
  * `x.length`, or a const alias whose own reads only forward. Reads inside
@@ -232,7 +240,7 @@ export function onlyForwarded(lowerer, fn, isRoot) {
                 const alias = lowerer.checker.getSymbolAtLocation(p.name);
                 const aliasName = p.name;
                 if (alias) {
-                    roots.push((id) => id !== aliasName && lowerer.checker.getSymbolAtLocation(id) === alias);
+                    roots.push((id) => id !== aliasName && bindingSymbolOfRead(lowerer, id) === alias);
                     return undefined;
                 }
             }

package/dist/frontend/lowering/typed-arguments.js.map

@@ -1 +1 @@
-{"version":3,"file":"typed-arguments.js","sourceRoot":"","sources":["../../../src/frontend/lowering/typed-arguments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,GAAG,EAAuD,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAmB,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;;;;;;;mEASmE;AAEnE,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,CAAgB;IAChD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;aACvD,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC;YACzF,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;aAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;;YACtD,OAAO,GAAG,CAAC;IAClB,CAAC;AACH,CAAC;AAED;uEACuE;AACvE,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,IAAI,KAAK,GAAuB,IAAI,CAAC;IACrC,KAAK,IAAI,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACxE,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YAC3F,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;YACpB,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAS,gBAAgB,CAAC,OAAgB,EAAE,IAAa;IACvD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,OAAO,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,CAA4B,EAAE,CAA4B;IAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,uBAAuB,CAAC,IAAa;IACnD,OAAO,CACL,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,aAAa,KAAK,SAAS;QAChC,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC;QAC5C,kBAAkB,CAAC,IAAI,CAAC,CACzB,CAAC;AACJ,CAAC;AAED;;;;2DAI2D;AAC3D,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAA2B;IAE3B,MAAM,KAAK,GAAG,CAAC,CAAqC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,MAAM;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,OAAO,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IAChF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC;IACxB,IACE,IAAI;QACJ,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,WAAW,KAAK,GAAG;QACxB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1D,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,IAAI,MAAM,GAAuC,IAAI,CAAC;YACtD,IAAI,EAAE,GAAG,IAAI,CAAC;YACd,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;gBAC3B,IAAI,CAAC,EAAE;oBAAE,OAAO,MAAM,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC1F,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,MAAM;oBAAE,OAAO,SAAS,CAAC;gBACxE,IAAI,EAAE,CAAC;gBACP,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAAE,EAAE,GAAG,KAAK,CAAC;;oBACpE,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC;YACH,IAAI,EAAE,IAAI,IAAI,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9E,OAAO,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAChE,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;YAAE,OAAO,GAAG,CAAC;IAC7F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,MAAyB;IAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED;uCACuC;AACvC,MAAM,UAAU,oBAAoB,CAAC,MAAiC;IACpE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;2CAC2C;AAC3C,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAA2B,EAC3B,MAA6B,EAC7B,MAAyD,EACzD,QAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,iBAAiB,CACjC,OAAO,EACP,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACnC,qEAAqE;IACrE,kEAAkE;IAClE,IACE,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAC5F,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC;QACvD,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED;;;;wDAIwD;AACxD,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,EAAW,EACX,MAAsC;IAEtC,MAAM,IAAI,GAAI,EAAmC,CAAC,IAAI,CAAC;IACvD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,KAAK,GAAuC,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,IAAoC,EAAQ,EAAE;QAC3E,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YAC3B,IAAI,CAAC,EAAE;gBAAE,OAAO,MAAM,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtD,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC3E,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,EAAE,GAAG,KAAK,CAAC;oBACX,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,IAAI,GAAG,GAAY,CAAC,CAAC;YACrB,OACE,GAAG,CAAC,MAAM;gBACV,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC;oBACvC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;oBAC7B,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;oBAC9B,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC;oBACpC,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAErC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;YACnB,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,EAAE,GAAG,KAAK,CAAC;gBACX,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtF,OAAO,SAAS,CAAC;YACnB,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACtB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAC9B,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;gBAC5B,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAClC,CAAC,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS;gBAE3C,OAAO,SAAS,CAAC;YACnB,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAC5C,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CACxE,CAAC;gBACF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClE,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;oBAAE,OAAO,SAAS,CAAC;YAChF,CAAC;YACD,IACE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,CAAC,CAAC,WAAW,KAAK,GAAG;gBACrB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvB,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACvD,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC1D,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;gBACzB,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC;oBAC1F,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,EAAE,GAAG,KAAK,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;mEACmE;AACnE,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB;IACxD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GACT,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzF,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED;sCACsC;AACtC,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAmB;IACvE,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;uDAEuD;AACvD,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,iBAAiB;QAAE,KAAK,EAAE,CAAC;IAC7D,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;AACtE,CAAC;AAED;;oDAEoD;AACpD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACzD,OAAO,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC;IACxD,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACrC,IACE,IAAI,KAAK,SAAS;QAClB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,cAAc,KAAK,SAAS;QACjC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,oEAAoE;QACpE,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,EACxE,CAAC;QACD,oEAAoE;QACpE,2EAA2E;QAC3E,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;QACzF,IAAI,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAgB,EAAE,CAAS;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;IAC9E,wEAAwE;IACxE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACtD,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;uBACuB;AACvB,SAAS,UAAU,CACjB,OAAgB,EAChB,GAAiB,EACjB,SAAiB,EACjB,GAAkB;IAElB,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAE,CAAC;IACrD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;SACrB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,WAAoB;QAC1B,GAAG,EAAE,GAAG,EAAE;QACV,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;6DAG6D;AAC7D,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3D;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS,CAAC,EAAE;YACrB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YACnD,GAAG;SACJ;KACF,CAAC;IACF,IAAI,KAAK,GAAG,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS,CAAC,EAAE;YACrB,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;YACxD,GAAG;SACJ,CAAC,CAAC;QACH,KAAK,GAAG,UAAU,CAChB,OAAO,EACP,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EACvE,SAAS,EACT,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAU,EAAE;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI;YAAE,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAClE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnE,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,GAAG;QAChB,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;AAC5E,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAA4B;IAChF,IACE,CAAC,IAAI,CAAC,WAAW;QACjB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1D,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,KAAK,EAAE,CAAC;QACV,8DAA8D;QAC9D,wDAAwD;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAChF,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACxE,CAAC;AAED;yDACyD;AACzD,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAmB;IAC1E,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC;AACpD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAmB;IACvE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;IAC3D,uEAAuE;IACvE,iEAAiE;IACjE,IACE,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAC9F,EACD,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,MAAM,IAAI,IAAI,EACnB,8IAA8I,CAC/I,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED;mCACmC;AACnC,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAChE,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QACnE,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"typed-arguments.js","sourceRoot":"","sources":["../../../src/frontend/lowering/typed-arguments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EACL,GAAG,EAMH,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAmB,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;;;;;;;mEASmE;AAEnE,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,CAAgB;IAChD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;aACvD,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC;YACzF,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;aAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;;YACtD,OAAO,GAAG,CAAC;IAClB,CAAC;AACH,CAAC;AAED;uEACuE;AACvE,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,IAAI,KAAK,GAAuB,IAAI,CAAC;IACrC,KAAK,IAAI,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACxE,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YAC3F,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;YACpB,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAS,gBAAgB,CAAC,OAAgB,EAAE,IAAa;IACvD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChF,OAAO,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,CAA4B,EAAE,CAA4B;IAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;8DAE8D;AAC9D,MAAM,UAAU,uBAAuB,CAAC,IAAa;IACnD,OAAO,CACL,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,aAAa,KAAK,SAAS;QAChC,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC;QAC5C,kBAAkB,CAAC,IAAI,CAAC,CACzB,CAAC;AACJ,CAAC;AAED;;;;2DAI2D;AAC3D,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAA2B;IAE3B,MAAM,KAAK,GAAG,CAAC,CAAqC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,MAAM;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,OAAO,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IAChF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC;IACxB,IACE,IAAI;QACJ,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,WAAW,KAAK,GAAG;QACxB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1D,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,IAAI,MAAM,GAAuC,IAAI,CAAC;YACtD,IAAI,EAAE,GAAG,IAAI,CAAC;YACd,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;gBAC3B,IAAI,CAAC,EAAE;oBAAE,OAAO,MAAM,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC1F,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,MAAM;oBAAE,OAAO,SAAS,CAAC;gBACxE,IAAI,EAAE,CAAC;gBACP,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;oBAAE,EAAE,GAAG,KAAK,CAAC;;oBACpE,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC;YACH,IAAI,EAAE,IAAI,IAAI,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9E,OAAO,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,IAAa;IACnC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAChE,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;YAAE,OAAO,GAAG,CAAC;IAC7F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,MAAyB;IAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED;uCACuC;AACvC,MAAM,UAAU,oBAAoB,CAAC,MAAiC;IACpE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;2CAC2C;AAC3C,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAA2B,EAC3B,MAA6B,EAC7B,MAAiB,EACjB,QAAkB;IAElB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,iBAAiB,CACjC,OAAO,EACP,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1B,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,KAAK,CAAC;IACnC,qEAAqE;IACrE,kEAAkE;IAClE,IACE,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAC5F,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC;QACvD,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,EAAiB;IACrE,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;IACzB,IAAI,MAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE;QAC1E,OAAO,OAAO,CAAC,OAAO,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC;AAED;;;;wDAIwD;AACxD,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,EAAW,EACX,MAAsC;IAEtC,MAAM,IAAI,GAAI,EAAmC,CAAC,IAAI,CAAC;IACvD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,KAAK,GAAuC,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,IAAoC,EAAQ,EAAE;QAC3E,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;YAC3B,IAAI,CAAC,EAAE;gBAAE,OAAO,MAAM,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtD,KAAK,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC3E,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,EAAE,GAAG,KAAK,CAAC;oBACX,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,IAAI,GAAG,GAAY,CAAC,CAAC;YACrB,OACE,GAAG,CAAC,MAAM;gBACV,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC;oBACvC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;oBAC7B,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;oBAC9B,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC;oBACpC,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAErC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;YACnB,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;YACrB,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,EAAE,GAAG,KAAK,CAAC;gBACX,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtF,OAAO,SAAS,CAAC;YACnB,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACtB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAC9B,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG;gBAC5B,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAClC,CAAC,CAAC,UAAU,CAAC,gBAAgB,KAAK,SAAS;gBAE3C,OAAO,SAAS,CAAC;YACnB,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAC5C,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CACxE,CAAC;gBACF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClE,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;oBAAE,OAAO,SAAS,CAAC;YAChF,CAAC;YACD,IACE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,CAAC,CAAC,WAAW,KAAK,GAAG;gBACrB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvB,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACvD,CAAC;gBACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC1D,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;gBACzB,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC;oBACnF,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,EAAE,GAAG,KAAK,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;mEACmE;AACnE,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB;IACxD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GACT,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzF,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED;sCACsC;AACtC,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAmB;IACvE,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;uDAEuD;AACvD,SAAS,oBAAoB,CAAC,OAAgB,EAAE,IAAmB;IACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAE,CAAC,iBAAiB;QAAE,KAAK,EAAE,CAAC;IAC7D,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;AACtE,CAAC;AAED;;oDAEoD;AACpD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QACzD,OAAO,uBAAuB,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC;IACxD,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACrC,IACE,IAAI,KAAK,SAAS;QAClB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,cAAc,KAAK,SAAS;QACjC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,CAAC,cAAc,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,oEAAoE;QACpE,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,EACxE,CAAC;QACD,oEAAoE;QACpE,2EAA2E;QAC3E,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;QACzF,IAAI,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAgB,EAAE,CAAS;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;IAC9E,wEAAwE;IACxE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACtD,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;uBACuB;AACvB,SAAS,UAAU,CACjB,OAAgB,EAChB,GAAiB,EACjB,SAAiB,EACjB,GAAkB;IAElB,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAE,CAAC;IACrD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;SACrB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,WAAoB;QAC1B,GAAG,EAAE,GAAG,EAAE;QACV,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;6DAG6D;AAC7D,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa;QACtB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAC3D;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS,CAAC,EAAE;YACrB,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC;YACnD,GAAG;SACJ;KACF,CAAC;IACF,IAAI,KAAK,GAAG,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,SAAS,CAAC,EAAE;YACrB,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;YACxD,GAAG;SACJ,CAAC,CAAC;QACH,KAAK,GAAG,UAAU,CAChB,OAAO,EACP,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EACvE,SAAS,EACT,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,oEAAoE;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAU,EAAE;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI;YAAE,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QAClE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACnE,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,GAAG;QAChB,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;AAC5E,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAA4B;IAChF,IACE,CAAC,IAAI,CAAC,WAAW;QACjB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1D,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,KAAK,EAAE,CAAC;QACV,8DAA8D;QAC9D,wDAAwD;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAChF,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAChF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACxE,CAAC;AAED;yDACyD;AACzD,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAmB;IAC1E,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC;AACpD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAmB;IACvE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,CAAC,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;IAC3D,uEAAuE;IACvE,iEAAiE;IACjE,IACE,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,CAC9F,EACD,CAAC;QACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,MAAM,IAAI,IAAI,EACnB,8IAA8I,CAC/I,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED;mCACmC;AACnC,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QAChE,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QACnE,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/union-narrow.d.ts

@@ -11,4 +11,12 @@ export declare function unionNarrowFailureMessage(arm: IrType, formatType: (type
  *
  * `failureMessage` replaces the TypeError message of every other tag (the
  * error Node raises for the operation consuming the value). */
-export declare function buildUnionNarrow(name: string, from: IrUnionDef, target: IrType, loc: SrcLoc, formatType: (type: IrType) => string, undefinedDefault?: IrExpr | null, failureMessage?: string | null): IrFunction | null;
+export declare function buildUnionNarrow(name: string, from: IrUnionDef, target: IrType, loc: SrcLoc, formatType: (type: IrType) => string, undefinedDefault?: IrExpr | null, failureMessage?: string | null, 
+/** Converts another arm's payload into the target (a record arm that is
+ * a width subtype of a record target), or null to throw. */
+convert?: ((tag: number, payload: IrExpr) => IrExpr | null) | null, 
+/** The target's package-declared origin (decl-origin.ts): each arm's
+ * message names the declaration and the patch admitting that arm. */
+origin?: string | null, 
+/** The program targets Windows (the patch command's quoting). */
+windows?: boolean): IrFunction | null;

package/dist/frontend/lowering/union-narrow.js

@@ -1,4 +1,5 @@
 import { BOOL, STRING, isUnitType, typeEquals } from "../../ir/ir.js";
+import { renderOriginNote } from "./decl-origin.js";
 /** The TypeError message for a checked extraction that finds `arm`. */
 export function unionNarrowFailureMessage(arm, formatType) {
     const what = isUnitType(arm)
@@ -18,7 +19,15 @@ export function unionNarrowFailureMessage(arm, formatType) {
  *
  * `failureMessage` replaces the TypeError message of every other tag (the
  * error Node raises for the operation consuming the value). */
-export function buildUnionNarrow(name, from, target, loc, formatType, undefinedDefault = null, failureMessage = null) {
+export function buildUnionNarrow(name, from, target, loc, formatType, undefinedDefault = null, failureMessage = null, 
+/** Converts another arm's payload into the target (a record arm that is
+ * a width subtype of a record target), or null to throw. */
+convert = null, 
+/** The target's package-declared origin (decl-origin.ts): each arm's
+ * message names the declaration and the patch admitting that arm. */
+origin = null, 
+/** The program targets Windows (the patch command's quoting). */
+windows = false) {
     if (isUnitType(target) || target.kind === "void")
         return null;
     const targetTag = from.arms.findIndex((arm) => typeEquals(arm, target));
@@ -34,6 +43,7 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
     const inputType = { kind: "union", unionId: from.id };
     const input = { kind: "varRef", localId: "u.0", type: inputType, loc };
     const body = [];
+    let converted = null;
     for (let tag = 0; tag < from.arms.length; tag++) {
         const arm = from.arms[tag];
         let branch;
@@ -49,6 +59,18 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
         else if (arm.kind === "undefinedT" && undefinedDefault !== null) {
             branch = [{ kind: "return", value: undefinedDefault, loc }];
         }
+        else if (convert !== null &&
+            !isUnitType(arm) &&
+            (converted = convert(tag, {
+                kind: "unionNarrow",
+                unionId: from.id,
+                tag,
+                value: input,
+                type: arm,
+                loc,
+            })) !== null) {
+            branch = [{ kind: "return", value: converted, loc }];
+        }
         else {
             branch = [
                 {
@@ -59,7 +81,14 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
                         args: [
                             {
                                 kind: "strLit",
-                                value: failureMessage ?? unionNarrowFailureMessage(arm, formatType),
+                                value: (failureMessage ?? unionNarrowFailureMessage(arm, formatType)) +
+                                    (origin === null
+                                        ? ""
+                                        : renderOriginNote(origin, isUnitType(arm)
+                                            ? arm.kind === "undefinedT"
+                                                ? "undefined"
+                                                : "null"
+                                            : formatType(arm), windows)),
                                 type: STRING,
                                 loc,
                             },

package/dist/frontend/lowering/union-narrow.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE,uEAAuE;AACvE,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM;QACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;IACnC,OAAO,GAAG,IAAI,gGAAgG,CAAC;AACjH,CAAC;AAED;;;;;;;;;+DAS+D;AAC/D,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI,EACtC,cAAc,GAAkB,IAAI;IAEpC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,cAAc,IAAI,yBAAyB,CAAC,GAAG,EAAE,UAAU,CAAC;gCACnE,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGpD,uEAAuE;AACvE,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM;QACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;IACnC,OAAO,GAAG,IAAI,gGAAgG,CAAC;AACjH,CAAC;AAED;;;;;;;;;+DAS+D;AAC/D,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI,EACtC,cAAc,GAAkB,IAAI;AACpC;4DAC4D;AAC5D,OAAO,GAA6D,IAAI;AACxE;qEACqE;AACrE,MAAM,GAAkB,IAAI;AAC5B,iEAAiE;AACjE,OAAO,GAAG,KAAK;IAEf,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,IACL,OAAO,KAAK,IAAI;YAChB,CAAC,UAAU,CAAC,GAAG,CAAC;YAChB,CAAC,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE;gBACxB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC,KAAK,IAAI,EACZ,CAAC;YACD,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EACH,CAAC,cAAc,IAAI,yBAAyB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;oCAC9D,CAAC,MAAM,KAAK,IAAI;wCACd,CAAC,CAAC,EAAE;wCACJ,CAAC,CAAC,gBAAgB,CACd,MAAM,EACN,UAAU,CAAC,GAAG,CAAC;4CACb,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;gDACzB,CAAC,CAAC,WAAW;gDACb,CAAC,CAAC,MAAM;4CACV,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EACnB,OAAO,CACR,CAAC;gCACR,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/union-retag.test.js

@@ -1,6 +1,6 @@
 import { describe, expect, test } from "vitest";
-import { BOOL, F64, NULL_T, STRING, UNDEFINED_T, typeEquals, typeKey } from "../../ir/ir.js";
-import { planUnionRetag, buildUnionRetag, planRecordUnionLift, planRecordUnionWrap, } from "./union-retag.js";
+import { BOOL, DYN, F64, NULL_T, STRING, UNDEFINED_T, VOID, typeEquals, typeKey, } from "../../ir/ir.js";
+import { planUnionRetag, buildUnionRetag, identityRetagTags, planRecordUnionLift, planRecordUnionWrap, } from "./union-retag.js";
 const loc = { file: "retag.ts", start: 0, end: 1 };
 const record = (shapeId) => ({ kind: "record", shapeId });
 function fixture(fieldType = STRING, values = ["left", "right"]) {
@@ -569,4 +569,44 @@ describe("retag IR construction", () => {
         expect(() => buildUnionRetag("broken", f.from, f.to, [], loc, (_, value) => value, () => "")).toThrow("incomplete union retag plan");
     });
 });
+describe("promise payload widening", () => {
+    const promise = (inner) => ({ kind: "promise", inner });
+    const from = { id: "pw0", arms: [promise(VOID), UNDEFINED_T] };
+    const pairLift = (to) => {
+        const lift = (src, dst) => {
+            if (typeEquals(src, dst))
+                return { how: "copy" };
+            if (dst.kind === "promise" && src.kind === "promise")
+                return { how: "promiseWiden" };
+            if (dst.kind !== "union")
+                return null;
+            const candidates = to.arms
+                .map((arm, tag) => ({ arm, tag }))
+                .filter(({ arm }) => lift(src, arm) !== null);
+            return candidates.length === 1
+                ? { how: "liftWrap", tag: candidates[0].tag, arm: candidates[0].arm }
+                : null;
+        };
+        return lift;
+    };
+    test("maps the promise arm through the payload widening", () => {
+        const to = { id: "pw1", arms: [promise(DYN), UNDEFINED_T] };
+        expect(planUnionRetag(from, to, () => undefined, pairLift(to))).toEqual([
+            { kind: "direct", route: { tag: 0, lift: { how: "promiseWiden" }, values: [] } },
+            { kind: "direct", route: { tag: 1, lift: { how: "copy" }, values: [] } },
+        ]);
+    });
+    test("two destination promise arms stay ambiguous", () => {
+        const to = { id: "pw2", arms: [promise(DYN), promise(STRING), UNDEFINED_T] };
+        expect(planUnionRetag(from, to, () => undefined, pairLift(to))).toBeNull();
+    });
+    test("an equal promise arm keeps the identity copy", () => {
+        const to = { id: "pw3", arms: [promise(VOID), UNDEFINED_T] };
+        expect(planUnionRetag(from, to, () => undefined, pairLift(to))).toEqual([
+            { kind: "direct", route: { tag: 0, lift: { how: "copy" }, values: [] } },
+            { kind: "direct", route: { tag: 1, lift: { how: "copy" }, values: [] } },
+        ]);
+        expect(identityRetagTags(from, to, planUnionRetag(from, to, () => undefined, pairLift(to)))).toEqual([0, 1]);
+    });
+});
 //# sourceMappingURL=union-retag.test.js.map