@scriptc/compiler 0.3.5 → 0.4.0

package/dist/frontend/lowering/generator-dynamic-dispatch.js

@@ -1,7 +1,21 @@
 import { dynUndefinedExpr, varRef } from "../../ir/build.js";
-import { BOOL, DYN, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, } from "../../ir/ir.js";
+import { BOOL, DYN, STRING, canConvertToDyn, funcOf, typeEquals, typeKey, VOID, } from "../../ir/ir.js";
 import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
 import { genResultRecord } from "../type-mapper.js";
+/** The iterator helper methods the runtime answers on checked iterators. */
+const HELPER_METHODS = new Set([
+    "map",
+    "filter",
+    "take",
+    "drop",
+    "flatMap",
+    "reduce",
+    "toArray",
+    "forEach",
+    "some",
+    "every",
+    "find",
+]);
 /** An untyped consumer resumes the original native fiber. The capsule's
  * exact type key selects the channel conversions and result layout. */
 export class GeneratorDynamicDispatch {
@@ -9,9 +23,59 @@ export class GeneratorDynamicDispatch {
     dispatches = new Map();
     generated = new Set();
     properties = new Map();
+    /** Whether %main registers the next/return getters with the runtime. */
+    membersRegistered = false;
+    /** The getter for a generator capsule's `method` (next, return, throw or
+     * an iterator helper): a checked function over the capsule's type keys
+     * that answers the method as a function value. `read` is the dyn read
+     * whose fallback it keeps for other receivers. */
+    ensureProperty(lowerer, method, read) {
+        const existing = this.properties.get(method);
+        if (existing)
+            return existing.fn;
+        const loc = read.loc;
+        const fn = {
+            name: `%dyn.generator.get.${method}`,
+            params: [{ localId: "value", name: "value", type: DYN }],
+            returnType: DYN,
+            locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
+            body: [{ kind: "return", value: { ...read, value: varRef("value", DYN, loc) }, loc }],
+            loc,
+        };
+        this.properties.set(method, { fn, types: new Set() });
+        this.generated.add(fn);
+        lowerer.liftedFns.push(fn);
+        // The runtime's own helper functions answer the helper methods.
+        if (HELPER_METHODS.has(method))
+            return fn;
+        lowerer.liftedFns.push({
+            name: `%dyn.generator.method.${method}`,
+            params: [{ localId: "arg", name: "arg", type: DYN }],
+            returnType: DYN,
+            locals: [{ id: "arg", name: "arg", type: DYN, mutable: false }],
+            body: [
+                {
+                    kind: "return",
+                    value: {
+                        kind: "dynInvoke",
+                        method,
+                        calleeName: `Generator.${method}`,
+                        recv: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                        args: [varRef("arg", DYN, loc)],
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+        return fn;
+    }
     process(lowerer, functions, classHelpers) {
         const seen = new Set();
         const rewrite = new Set();
+        let runtimeSteps = false;
         const discover = (type) => {
             const key = typeKey(type);
             if (seen.has(key))
@@ -38,9 +102,19 @@ export class GeneratorDynamicDispatch {
                         discover(expr.value.type);
                     if (expr.kind === "dynInvoke" && ["next", "return", "throw"].includes(expr.method))
                         rewrite.add(fn);
+                    // The runtime steps the values iterator helpers and destructuring
+                    // receive.
+                    if ((expr.kind === "dynInvoke" && HELPER_METHODS.has(expr.method)) ||
+                        (expr.kind === "dynKeyGet" &&
+                            expr.key.kind === "strLit" &&
+                            HELPER_METHODS.has(expr.key.value)) ||
+                        expr.kind === "dynIterN" ||
+                        (expr.kind === "libCall" && expr.fn === "dyn.destructureRest"))
+                        runtimeSteps = true;
                     if (expr.kind === "dynKeyGet" &&
                         expr.key.kind === "strLit" &&
-                        ["next", "return", "throw"].includes(expr.key.value))
+                        (["next", "return", "throw"].includes(expr.key.value) ||
+                            HELPER_METHODS.has(expr.key.value)))
                         rewrite.add(fn);
                     return true;
                 },
@@ -55,54 +129,19 @@ export class GeneratorDynamicDispatch {
             fn.body = transformStmtList(fn.body, {
                 stmt: (stmt) => stmt,
                 expr: (expr) => {
+                    // A helper method read reaches the runtime's helpers through the
+                    // same getters once generators are boxed.
                     if (expr.kind === "dynKeyGet" &&
                         expr.key.kind === "strLit" &&
-                        ["next", "return", "throw"].includes(expr.key.value)) {
+                        (["next", "return", "throw"].includes(expr.key.value) ||
+                            (HELPER_METHODS.has(expr.key.value) && this.generators.size > 0))) {
                         const method = expr.key.value;
-                        let property = this.properties.get(method);
-                        if (!property) {
-                            const loc = expr.loc;
-                            const fn = {
-                                name: `%dyn.generator.get.${method}`,
-                                params: [{ localId: "value", name: "value", type: DYN }],
-                                returnType: DYN,
-                                locals: [{ id: "value", name: "value", type: DYN, mutable: false }],
-                                body: [
-                                    { kind: "return", value: { ...expr, value: varRef("value", DYN, loc) }, loc },
-                                ],
-                                loc,
-                            };
-                            property = { fn, types: new Set() };
-                            this.properties.set(method, property);
-                            this.generated.add(fn);
-                            lowerer.liftedFns.push(fn);
-                            lowerer.liftedFns.push({
-                                name: `%dyn.generator.method.${method}`,
-                                params: [{ localId: "arg", name: "arg", type: DYN }],
-                                returnType: DYN,
-                                locals: [{ id: "arg", name: "arg", type: DYN, mutable: false }],
-                                body: [
-                                    {
-                                        kind: "return",
-                                        value: {
-                                            kind: "dynInvoke",
-                                            method,
-                                            calleeName: `Generator.${method}`,
-                                            recv: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
-                                            args: [varRef("arg", DYN, loc)],
-                                            type: DYN,
-                                            loc,
-                                        },
-                                        loc,
-                                    },
-                                ],
-                                loc,
-                            });
+                        if (!this.properties.has(method))
                             changed = true;
-                        }
+                        const getter = this.ensureProperty(lowerer, method, expr);
                         return {
                             kind: "call",
-                            callee: property.fn.name,
+                            callee: getter.name,
                             args: [expr.value],
                             type: DYN,
                             loc: expr.loc,
@@ -158,6 +197,48 @@ export class GeneratorDynamicDispatch {
                 },
             });
         }
+        // Iterator helpers called on untyped values may reach a compiled
+        // generator's capsule; the runtime drives it through these getters,
+        // which %main registers first.
+        const firstFn = functions[0];
+        if (runtimeSteps &&
+            !this.membersRegistered &&
+            firstFn !== undefined &&
+            [...this.generators.values()].some((t) => t.async !== true)) {
+            const loc = firstFn.loc;
+            const read = (method) => ({
+                kind: "dynKeyGet",
+                value: varRef("value", DYN, loc),
+                key: { kind: "strLit", value: method, type: STRING, loc },
+                type: DYN,
+                loc,
+            });
+            const getterValue = (method) => ({
+                kind: "dynFrom",
+                value: {
+                    kind: "closure",
+                    fnName: this.ensureProperty(lowerer, method, read(method)).name,
+                    captures: [],
+                    type: funcOf([DYN], DYN),
+                    loc,
+                },
+                type: DYN,
+                loc,
+            });
+            lowerer.mainPrelude.push({
+                kind: "exprStmt",
+                expr: {
+                    kind: "libCall",
+                    fn: "dyn.setGeneratorMembers",
+                    args: [getterValue("next"), getterValue("return")],
+                    type: VOID,
+                    loc,
+                },
+                loc,
+            });
+            this.membersRegistered = true;
+            changed = true;
+        }
         for (const [method, property] of this.properties)
             for (const [key] of this.generators) {
                 if (property.types.has(key))
@@ -176,18 +257,26 @@ export class GeneratorDynamicDispatch {
                     then: [
                         {
                             kind: "return",
-                            value: {
-                                kind: "dynFrom",
-                                value: {
-                                    kind: "closure",
-                                    fnName: `%dyn.generator.method.${method}`,
-                                    captures: [],
-                                    type: funcOf([DYN], DYN),
+                            value: HELPER_METHODS.has(method)
+                                ? {
+                                    kind: "libCall",
+                                    fn: "dyn.iteratorHelperMethod",
+                                    args: [{ kind: "strLit", value: method, type: STRING, loc }],
+                                    type: DYN,
+                                    loc,
+                                }
+                                : {
+                                    kind: "dynFrom",
+                                    value: {
+                                        kind: "closure",
+                                        fnName: `%dyn.generator.method.${method}`,
+                                        captures: [],
+                                        type: funcOf([DYN], DYN),
+                                        loc,
+                                    },
+                                    type: DYN,
                                     loc,
                                 },
-                                type: DYN,
-                                loc,
-                            },
                             loc,
                         },
                     ],
@@ -209,9 +298,13 @@ export class GeneratorDynamicDispatch {
                 const supplied = dispatch.source.args.length > 0;
                 const incoming = supplied ? varRef("p.1", DYN, loc) : dynUndefinedExpr(loc);
                 const channel = mode === "next" ? type.nextT : type.retT;
+                // return() with no value completes with undefined, as the typed
+                // .return() does, whatever the return channel's type.
                 const arg = mode === "throw"
                     ? incoming
-                    : channel.kind === "undefinedT" || channel.kind === "void"
+                    : channel.kind === "undefinedT" ||
+                        channel.kind === "void" ||
+                        (mode === "return" && !supplied)
                         ? null
                         : lowerer.coerceToExpected(incoming, channel);
                 const convertible = canConvertToDyn(resultType, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
@@ -238,24 +331,34 @@ export class GeneratorDynamicDispatch {
                         else_: null,
                         loc,
                     });
-                body.push(convertible && (arg === null || mode === "throw" || typeEquals(arg.type, channel))
-                    ? {
-                        kind: "return",
+                const resume = (sent) => ({
+                    kind: "return",
+                    value: {
+                        kind: "dynFrom",
                         value: {
-                            kind: "dynFrom",
-                            value: {
-                                kind: "genResume",
-                                mode,
-                                gen: { kind: "dynCheck", value: receiver, type, loc },
-                                arg,
-                                type: resultType,
-                                loc,
-                            },
-                            type: DYN,
+                            kind: "genResume",
+                            mode,
+                            gen: { kind: "dynCheck", value: receiver, type, loc },
+                            arg: sent,
+                            type: resultType,
                             loc,
                         },
+                        type: DYN,
                         loc,
-                    }
+                    },
+                    loc,
+                });
+                const valid = convertible && (arg === null || mode === "throw" || typeEquals(arg.type, channel));
+                if (valid && mode === "return" && arg !== null)
+                    body.push({
+                        kind: "if",
+                        cond: { kind: "dynTest", test: "undefined", value: incoming, type: BOOL, loc },
+                        then: [resume(null)],
+                        else_: null,
+                        loc,
+                    });
+                body.push(valid
+                    ? resume(arg)
                     : {
                         kind: "runtimeFence",
                         code: "SC1071",

package/dist/frontend/lowering/generator-dynamic-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator-dynamic-dispatch.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-dynamic-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,eAAe,EACf,MAAM,EACN,UAAU,EACV,OAAO,GAKR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAMpD;uEACuE;AACvE,MAAM,OAAO,wBAAwB;IAClB,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,UAAU,GAAG,IAAI,GAAG,EAGlC,CAAC;IACa,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAClC,UAAU,GAAG,IAAI,GAAG,EAAkD,CAAC;IAExF,OAAO,CACL,OAAgB,EAChB,SAAgC,EAChC,YAAqC;QAErC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC7B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS;YACxB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBAChF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAClB,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;wBAEpD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAClB,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CAAC,CAAC;QACL,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,sEAAsE;YACtE,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACjF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EACpD,CAAC;wBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;wBAC9B,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;4BACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;4BACrB,MAAM,EAAE,GAAe;gCACrB,IAAI,EAAE,sBAAsB,MAAM,EAAE;gCACpC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gCACxD,UAAU,EAAE,GAAG;gCACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gCACnE,IAAI,EAAE;oCACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE;iCAC9E;gCACD,GAAG;6BACJ,CAAC;4BACF,QAAQ,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;4BACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;4BACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;4BACvB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;4BAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;gCACrB,IAAI,EAAE,yBAAyB,MAAM,EAAE;gCACvC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gCACpD,UAAU,EAAE,GAAG;gCACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;gCAC/D,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,QAAQ;wCACd,KAAK,EAAE;4CACL,IAAI,EAAE,WAAW;4CACjB,MAAM;4CACN,UAAU,EAAE,aAAa,MAAM,EAAE;4CACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;4CACnE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;4CAC/B,IAAI,EAAE,GAAG;4CACT,GAAG;yCACJ;wCACD,GAAG;qCACJ;iCACF;gCACD,GAAG;6BACJ,CAAC,CAAC;4BACH,OAAO,GAAG,IAAI,CAAC;wBACjB,CAAC;wBACD,OAAO;4BACL,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI;4BACxB,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;4BAClB,IAAI,EAAE,GAAG;4BACT,GAAG,EAAE,IAAI,CAAC,GAAG;yBACd,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBACjF,OAAO,IAAI,CAAC;oBACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAC7E,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;4BACtD,OAAO,EAAE,KAAK,CAAC,EAAE;4BACjB,IAAI,EAAE,IAAI,CAAC,EAAE;4BACb,IAAI,EAAE,GAAG;yBACV,CAAC,CAAC,CAAC;wBACJ,MAAM,MAAM,GAAe;4BACzB,IAAI,EAAE,uBAAuB,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;4BACnD,MAAM;4BACN,UAAU,EAAE,GAAG;4BACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACzB,EAAE,EAAE,CAAC,CAAC,OAAO;gCACb,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,GAAG;gCACT,OAAO,EAAE,KAAK;6BACf,CAAC,CAAC;4BACH,IAAI,EAAE;gCACJ;oCACE,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE;wCACL,GAAG,IAAI;wCACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;wCAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;qCAC9D;oCACD,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ,CAAC;wBACF,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC/B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI;wBACxB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,IAAI,CAAC,GAAG;qBACd,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;YAC9C,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACpF,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE;oCACL,IAAI,EAAE,SAAS;oCACf,MAAM,EAAE,yBAAyB,MAAM,EAAE;oCACzC,QAAQ,EAAE,EAAE;oCACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;oCACxB,GAAG;iCACJ;gCACD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAqC,CAAC;gBACnE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;gBACxF,MAAM,UAAU,GAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC5E,MAAM,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,MAAM,GAAG,GACP,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;wBACxD,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,eAAe,CACjC,UAAU,EACV,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;gBACF,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,kEAAkE;gBAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ;oBAC5D,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,GAAG;4BACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjF,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,cAAc;gCACpB,IAAI,EAAE,QAAQ;gCACd,OAAO,EACL,gFAAgF;gCAClF,GAAG;6BACJ;yBACF;wBACD,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,IAAI,CAAC,IAAI,CACP,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAChF,CAAC,CAAC;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE;gCACL,IAAI,EAAE,WAAW;gCACjB,IAAI;gCACJ,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;gCACrD,GAAG;gCACH,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;4BACD,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,GAAG;qBACJ;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,8EAA8E;wBAChF,GAAG;qBACJ,CACN,CAAC;gBACF,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACnE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}
+{"version":3,"file":"generator-dynamic-dispatch.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-dynamic-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,GAAG,EACH,MAAM,EACN,eAAe,EACf,MAAM,EACN,UAAU,EACV,OAAO,EACP,IAAI,GAKL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAOpD,4EAA4E;AAC5E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,KAAK;IACL,QAAQ;IACR,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;IACN,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH;uEACuE;AACvE,MAAM,OAAO,wBAAwB;IAClB,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,UAAU,GAAG,IAAI,GAAG,EAGlC,CAAC;IACa,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAClC,UAAU,GAAG,IAAI,GAAG,EAAkD,CAAC;IACxF,wEAAwE;IAChE,iBAAiB,GAAG,KAAK,CAAC;IAElC;;;sDAGkD;IAC1C,cAAc,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,sBAAsB,MAAM,EAAE;YACpC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACxD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC;YACrF,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,gEAAgE;QAChE,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,yBAAyB,MAAM,EAAE;YACvC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACpD,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC/D,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,WAAW;wBACjB,MAAM;wBACN,UAAU,EAAE,aAAa,MAAM,EAAE;wBACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACnE,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,CACL,OAAgB,EAChB,SAAgC,EAChC,YAAqC;QAErC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC7B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS;YACxB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBAChF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAClB,kEAAkE;oBAClE,WAAW;oBACX,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC9D,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;4BACxB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;4BAC1B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;wBACrC,IAAI,CAAC,IAAI,KAAK,UAAU;wBACxB,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,KAAK,qBAAqB,CAAC;wBAE9D,YAAY,GAAG,IAAI,CAAC;oBACtB,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;4BACnD,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;wBAErC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAClB,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CAAC,CAAC;QACL,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,sEAAsE;YACtE,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACjF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;gBACnC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACpB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,iEAAiE;oBACjE,0CAA0C;oBAC1C,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;wBACzB,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;4BACnD,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EACnE,CAAC;wBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;wBAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;4BAAE,OAAO,GAAG,IAAI,CAAC;wBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;wBAC1D,OAAO;4BACL,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,MAAM,CAAC,IAAI;4BACnB,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;4BAClB,IAAI,EAAE,GAAG;4BACT,GAAG,EAAE,IAAI,CAAC,GAAG;yBACd,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBACjF,OAAO,IAAI,CAAC;oBACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAC7E,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;4BACtD,OAAO,EAAE,KAAK,CAAC,EAAE;4BACjB,IAAI,EAAE,IAAI,CAAC,EAAE;4BACb,IAAI,EAAE,GAAG;yBACV,CAAC,CAAC,CAAC;wBACJ,MAAM,MAAM,GAAe;4BACzB,IAAI,EAAE,uBAAuB,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;4BACnD,MAAM;4BACN,UAAU,EAAE,GAAG;4BACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACzB,EAAE,EAAE,CAAC,CAAC,OAAO;gCACb,IAAI,EAAE,CAAC,CAAC,IAAI;gCACZ,IAAI,EAAE,GAAG;gCACT,OAAO,EAAE,KAAK;6BACf,CAAC,CAAC;4BACH,IAAI,EAAE;gCACJ;oCACE,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE;wCACL,GAAG,IAAI;wCACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;wCAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;qCAC9D;oCACD,GAAG;iCACJ;6BACF;4BACD,GAAG;yBACJ,CAAC;wBACF,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC/B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI;wBACxB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;wBAC/B,IAAI,EAAE,GAAG;wBACT,GAAG,EAAE,IAAI,CAAC,GAAG;qBACd,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QACD,iEAAiE;QACjE,oEAAoE;QACpE,+BAA+B;QAC/B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,IACE,YAAY;YACZ,CAAC,IAAI,CAAC,iBAAiB;YACvB,OAAO,KAAK,SAAS;YACrB,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAC3D,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC;gBAChC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACzD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;oBAC/D,QAAQ,EAAE,EAAE;oBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;oBACxB,GAAG;iBACJ;gBACD,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,yBAAyB;oBAC7B,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;oBAClD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,GAAG;aACJ,CAAC,CAAC;YACH,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;YAC9C,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACpF,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gCAC/B,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,EAAE,EAAE,0BAA0B;oCAC9B,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oCAC5D,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;gCACH,CAAC,CAAC;oCACE,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE;wCACL,IAAI,EAAE,SAAS;wCACf,MAAM,EAAE,yBAAyB,MAAM,EAAE;wCACzC,QAAQ,EAAE,EAAE;wCACZ,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;wCACxB,GAAG;qCACJ;oCACD,IAAI,EAAE,GAAG;oCACT,GAAG;iCACJ;4BACL,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAqC,CAAC;gBACnE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;gBACxF,MAAM,UAAU,GAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC5E,MAAM,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,gEAAgE;gBAChE,sDAAsD;gBACtD,MAAM,GAAG,GACP,IAAI,KAAK,OAAO;oBACd,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;wBAC3B,OAAO,CAAC,IAAI,KAAK,MAAM;wBACvB,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC;wBAClC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,eAAe,CACjC,UAAU,EACV,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;gBACF,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,kEAAkE;gBAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ;oBAC5D,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE;4BACJ,IAAI,EAAE,OAAO;4BACb,EAAE,EAAE,GAAG;4BACP,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjF,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,cAAc;gCACpB,IAAI,EAAE,QAAQ;gCACd,OAAO,EACL,gFAAgF;gCAClF,GAAG;6BACJ;yBACF;wBACD,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAU,EAAE,CAAC,CAAC;oBAC/C,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE;4BACL,IAAI,EAAE,WAAW;4BACjB,IAAI;4BACJ,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;4BACrD,GAAG,EAAE,IAAI;4BACT,IAAI,EAAE,UAAU;4BAChB,GAAG;yBACJ;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;gBACH,MAAM,KAAK,GACT,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBACrF,IAAI,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;oBAC5C,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,IAAI;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACpB,KAAK,EAAE,IAAI;wBACX,GAAG;qBACJ,CAAC,CAAC;gBACL,IAAI,CAAC,IAAI,CACP,KAAK;oBACH,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBACb,CAAC,CAAC;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,QAAQ;wBACd,OAAO,EACL,8EAA8E;wBAChF,GAAG;qBACJ,CACN,CAAC;gBACF,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;oBACvB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,gBAAgB;wBACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;wBACnE,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ,CAAC,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/frontend/lowering/generic-functions.d.ts

@@ -59,6 +59,14 @@ export interface GenericFnInfo {
      * checker types key an instantiation, exactly the generic machinery —
      * the untyped params ARE the type parameters (see implicitCallInstance). */
     implicitParams?: (ts.Symbol | null)[];
+    /** Implicit-any monomorphization of destructured object parameters
+     * (implicitPatternsOf): parallel to decl.parameters, the destructured
+     * names where the slot binds the call site's object type. Computed on
+     * first use. */
+    implicitPatterns?: (ImplicitPattern | null)[];
+    /** Parameter index → symbol for the function parameters whose `.name`
+     * the body reads (static-function-names.ts); computed on first use. */
+    nameReadParams?: Map<number, ts.Symbol>;
 }
 export interface GenericInstance {
     path: InstantiationPath;
@@ -96,6 +104,11 @@ export interface GenericInstance {
      * any-params poisoned it) — the body lowers in return-INFERENCE mode
      * (returnType holds the DYN recursion pin until the post-pass settles). */
     implicitInferReturn?: true;
+    /** An erased instance (every type parameter bound to `unknown`). */
+    erased?: true;
+    /** Name-keyed instances: function parameter → its call site's static
+     * name (null when only known at run time), folded at `.name` reads. */
+    staticFnNames?: Map<ts.Symbol, string | null>;
 }
 /** Registers a top-level generic function. Only the SYNTAX is checked
  * here — parameter/return types mention the type parameters and cannot
@@ -117,6 +130,14 @@ export declare function lowerGenericCall(lowerer: Lowerer, expr: ts.CallExpressi
  * top-level generic calls, class generic-method calls (the caller
  * prepends the receiver), and object-literal generic-method calls. */
 export declare function genericCallInstance(lowerer: Lowerer, expr: ts.CallExpression, info: GenericFnInfo): GenericInstance;
+/** The class value a call of a generic factory returns when the result is
+ * one of the factory's local classes (`class C extends base(42) {}`), or
+ * null for any other call. */
+export declare function genericLocalClassResult(lowerer: Lowerer, expr: ts.CallExpression): IrType | null;
+/** The type of a `const` binding whose initializer calls a generic factory
+ * returning one of its local classes (`const B = base(7)`), or constructs
+ * such a class (`const b = new B()`); null for any other binding. */
+export declare function genericLocalClassBinding(lowerer: Lowerer, node: ts.Node): IrType | null;
 /** Type-parameter symbol → concrete IR type for one instantiation.
  * Explicit type arguments bind directly; the rest come from structurally
  * matching each DECLARED param/return type (which mentions the type
@@ -145,10 +166,28 @@ export declare function lowerGenericInstance(lowerer: Lowerer, info: GenericFnIn
  * declared-function identity rule. References with no pinning context
  * (the slot keeps `<T>(x: T) => T`) fence by name. */
 export declare function lowerGenericFnValue(lowerer: Lowerer, ref: ts.Expression, info: GenericFnInfo): IrExpr;
+/** The erased instance of a generic declaration: every type parameter
+ * bound to `unknown`, the function JavaScript runs for any type arguments.
+ * Values of generic methods (dynamic dispatch, interface views) call it. */
+export declare function erasedGenericInstance(lowerer: Lowerer, blame: ts.Node, info: GenericFnInfo): GenericInstance;
 /** The npm-static gate: implicit-any monomorphization applies to functions
  * DECLARED in an opted-in package's JS files (user JS keeps today's
  * checked-dynamic story until the corpus is re-baselined). */
 export declare function implicitMonoFile(sf: ts.SourceFile): boolean;
+/** A destructured object parameter (`function f({ Base, name })`) whose
+ * names bind the call site argument's property types. */
+export interface ImplicitPattern {
+    elements: {
+        property: string;
+        symbol: ts.Symbol;
+    }[];
+}
+/** The destructured object parameters of a JS function-like that bind like
+ * implicit type parameters: every element a plain name (optionally renamed
+ * from an identifier or string key) with no default, no rest element, and
+ * no write in the body, under a broad inferred type. Parallel to
+ * decl.parameters. */
+export declare function implicitPatternsOf(lowerer: Lowerer, decl: ts.FunctionDeclaration | ts.MethodDeclaration | ts.FunctionExpression | ts.ArrowFunction): (ImplicitPattern | null)[];
 /** The implicit-type-parameter slots of a JS function-like: parallel to
  * decl.parameters, the param SYMBOL where the slot is a bindable
  * implicit param (identifier-named, broad inferred/JSDoc type, not