@scriptc/compiler 0.2.6 → 0.2.7

package/dist/frontend/lowering/class-method-mutations.js

@@ -0,0 +1,472 @@
+import * as ts from "../ts7/adapter.js";
+import { literalValues } from "../literal-values.js";
+import { isJsSourceFile } from "../program.js";
+/** Members every function value has (Function.prototype and
+ * Object.prototype, plus own `length`/`name`/`prototype`). */
+const FUNCTION_MEMBER_NAMES = new Set([
+    "apply",
+    "arguments",
+    "bind",
+    "call",
+    "caller",
+    "constructor",
+    "hasOwnProperty",
+    "isPrototypeOf",
+    "length",
+    "name",
+    "propertyIsEnumerable",
+    "prototype",
+    "toLocaleString",
+    "toString",
+    "valueOf",
+]);
+/** Census observable slots before choosing native calls. Names are shared
+ * conservatively across classes: aliases cannot hide a named replacement. */
+export function collectClassMethodMutations(lowerer, files) {
+    const methods = new Set();
+    const arrowFields = new Set();
+    const receiverFields = new Set();
+    const computedWrites = [];
+    const propertyWrites = [];
+    const reflection = [];
+    const globals = [];
+    const jsAssignments = [];
+    const computedMethods = [];
+    let unknownKey;
+    let numericKey;
+    let unknownOwnField = false;
+    // JavaScript method inference and dynamic class factories keep their
+    // existing dispatch contract. The native-call proof applies to typed
+    // declarations, while writes in either source language can invalidate it.
+    for (const file of files) {
+        if (isJsSourceFile(file))
+            continue;
+        ts.walkPreorder(file, (node) => {
+            if (!ts.isMethodDeclaration(node) ||
+                (!ts.isClassDeclaration(node.parent) && !ts.isClassExpression(node.parent)))
+                return;
+            if (ts.isIdentifier(node.name) ||
+                ts.isStringLiteralLike(node.name) ||
+                ts.isNumericLiteral(node.name))
+                methods.add(node.name.text);
+            else if (ts.isComputedPropertyName(node.name))
+                computedMethods.push(node.name.expression);
+        });
+    }
+    lowerer.checker.prefetchClassCollection(computedMethods, []);
+    for (const key of computedMethods)
+        for (const name of literalValues(lowerer.typeOf(key)) ?? [])
+            methods.add(String(name));
+    const markName = (name, site, arrow = false) => {
+        if (name === "prototype" || name === "__proto__")
+            unknownKey = site;
+        if (methods.has(name))
+            lowerer.prototypeMethodAccesses.set(name, site);
+        if (!arrow)
+            receiverFields.add(name);
+    };
+    const unwrap = (value) => {
+        while (ts.isParenthesizedExpression(value) ||
+            ts.isAsExpression(value) ||
+            ts.isTypeAssertion(value) ||
+            ts.isNonNullExpression(value))
+            value = value.expression;
+        return value;
+    };
+    // Structural types can be live views of class instances. A fresh
+    // allocation in a constant binding proves that a dictionary write cannot
+    // replace a class method without relying on its declared shape.
+    const freshReceiver = (value) => {
+        value = unwrap(value);
+        if (ts.isIdentifier(value)) {
+            const symbol = lowerer.checker.getSymbolAtLocation(value);
+            const decl = symbol && lowerer.checker.declarationsOf(symbol)[0];
+            if (!decl ||
+                !ts.isVariableDeclaration(decl) ||
+                !ts.isIdentifier(decl.name) ||
+                !ts.isVariableDeclarationList(decl.parent) ||
+                !(decl.parent.flags & ts.NodeFlags.Const) ||
+                !decl.initializer)
+                return false;
+            value = unwrap(decl.initializer);
+        }
+        if (ts.isObjectLiteralExpression(value) || ts.isArrayLiteralExpression(value))
+            return true;
+        return (ts.isCallExpression(value) &&
+            ts.isPropertyAccessExpression(value.expression) &&
+            lowerer.stdlibGlobalMember(value.expression, "Object") === "create");
+    };
+    // Whether no function value can inhabit `type`. Primitives qualify, and so
+    // do non-callable object types a function is not assignable to: one that
+    // requires a property functions lack, or a weak (all-optional) type that
+    // shares no property with functions (TypeScript's weak-type rule rejects
+    // callable sources too).
+    const functionFree = (type) => {
+        if (type.isUnionType())
+            return ts.constituentTypes(type).every(functionFree);
+        if ((type.flags &
+            (ts.TypeFlags.StringLike |
+                ts.TypeFlags.NumberLike |
+                ts.TypeFlags.BooleanLike |
+                ts.TypeFlags.BigIntLike |
+                ts.TypeFlags.Null |
+                ts.TypeFlags.Undefined |
+                ts.TypeFlags.ESSymbolLike)) !==
+            0)
+            return true;
+        if (!(type.flags & ts.TypeFlags.Object) ||
+            lowerer.checker.getCallSignatures(type).length > 0 ||
+            lowerer.checker.getConstructSignatures(type).length > 0)
+            return false;
+        const properties = lowerer.checker.getPropertiesOfType(type);
+        if (properties.length === 0)
+            return false;
+        const required = properties.filter((property) => (property.flags & ts.SymbolFlags.Optional) === 0);
+        if (required.some((property) => !FUNCTION_MEMBER_NAMES.has(property.name)))
+            return true;
+        return (required.length === 0 &&
+            properties.every((property) => !FUNCTION_MEMBER_NAMES.has(property.name)));
+    };
+    // A string index whose values cannot be functions excludes callable
+    // method slots. Class instances have no implicit index signature, so such
+    // a dictionary is only a class view when the class declares that index
+    // signature, and then every method must be assignable to its value type.
+    const functionFreeDictionary = (value) => lowerer.checker
+        .getIndexInfosOfType(lowerer.typeOf(value))
+        .some((index) => (index.keyType.flags & ts.TypeFlags.StringLike) !== 0 && functionFree(index.valueType));
+    const literalLoopKeys = (key) => {
+        if (!ts.isIdentifier(key))
+            return null;
+        const symbol = lowerer.checker.getSymbolAtLocation(key);
+        const decl = symbol && lowerer.checker.declarationsOf(symbol)[0];
+        if (!decl || !ts.isVariableDeclaration(decl) || !ts.isIdentifier(decl.name))
+            return null;
+        const list = decl.parent;
+        if (!ts.isVariableDeclarationList(list) || !(list.flags & ts.NodeFlags.Const))
+            return null;
+        const loop = list.parent;
+        if (!ts.isForOfStatement(loop) || loop.initializer !== list)
+            return null;
+        const values = unwrap(loop.expression);
+        if (!ts.isArrayLiteralExpression(values))
+            return null;
+        const names = [];
+        for (const value of values.elements) {
+            if (ts.isStringLiteralLike(value))
+                names.push(value.text);
+            else if (ts.isNumericLiteral(value))
+                names.push(Number(value.text));
+            else
+                return null;
+        }
+        return names;
+    };
+    const sameBinding = (left, right) => {
+        left = unwrap(left);
+        right = unwrap(right);
+        if (!ts.isIdentifier(left) || !ts.isIdentifier(right))
+            return false;
+        const symbol = lowerer.checker.getSymbolAtLocation(left);
+        return symbol !== undefined && symbol === lowerer.checker.getSymbolAtLocation(right);
+    };
+    const preservesExistingMethod = (key, receiver, site) => {
+        // An immediately guarded insertion cannot replace a method already
+        // present on the receiver or its prototype. Restrict the body to this
+        // one write so no intervening statement can change either binding.
+        const statement = site.parent;
+        if (!ts.isExpressionStatement(statement))
+            return false;
+        const branch = statement.parent;
+        if (!ts.isIfStatement(branch) || branch.thenStatement !== statement)
+            return false;
+        const test = unwrap(branch.expression);
+        if (!ts.isPrefixUnaryExpression(test) || test.operator !== ts.SyntaxKind.ExclamationToken)
+            return false;
+        const present = unwrap(test.operand);
+        return (ts.isBinaryExpression(present) &&
+            present.operatorToken.kind === ts.SyntaxKind.InKeyword &&
+            sameBinding(key, present.left) &&
+            sameBinding(receiver, present.right));
+    };
+    const deletesOwnEnumerableKey = (key, receiver, site) => {
+        if (!ts.isDeleteExpression(site) || !ts.isIdentifier(key))
+            return false;
+        const statement = site.parent;
+        if (!ts.isExpressionStatement(statement))
+            return false;
+        const loop = statement.parent;
+        if (!ts.isForOfStatement(loop) || loop.statement !== statement)
+            return false;
+        if (!ts.isVariableDeclarationList(loop.initializer))
+            return false;
+        const decl = loop.initializer.declarations[0];
+        if (!decl || !ts.isIdentifier(decl.name) || !sameBinding(key, decl.name))
+            return false;
+        const keys = unwrap(loop.expression);
+        return (ts.isCallExpression(keys) &&
+            ts.isPropertyAccessExpression(keys.expression) &&
+            lowerer.stdlibGlobalMember(keys.expression, "Object") === "keys" &&
+            keys.arguments.length === 1 &&
+            sameBinding(receiver, keys.arguments[0]));
+    };
+    const markKey = (key, site, receiver) => {
+        key = unwrap(key);
+        if (ts.isStringLiteralLike(key))
+            markName(key.text, site);
+        else if (ts.isNumericLiteral(key))
+            markName(String(Number(key.text)), site);
+        else
+            computedWrites.push({ key, receiver, site });
+    };
+    const markFields = (value, site, receiver) => {
+        value = unwrap(value);
+        if (!ts.isObjectLiteralExpression(value)) {
+            computedWrites.push({ key: undefined, receiver, site });
+            return;
+        }
+        for (const field of value.properties) {
+            if (ts.isSpreadAssignment(field))
+                markFields(field.expression, site, receiver);
+            else if (field.name && (ts.isIdentifier(field.name) || ts.isStringLiteralLike(field.name)))
+                markName(field.name.text, site);
+            else if (field.name && ts.isComputedPropertyName(field.name))
+                markKey(field.name.expression, site, receiver);
+        }
+    };
+    const markTarget = (target, site, arrow = false) => {
+        target = unwrap(target);
+        if (ts.isPropertyAccessExpression(target)) {
+            const name = target.name.text;
+            // A named write to a method name is judged by the written property's
+            // type once types are prefetched (see propertyWrites below).
+            if (methods.has(name) && name !== "prototype" && name !== "__proto__") {
+                if (!arrow)
+                    receiverFields.add(name);
+                propertyWrites.push({ target, site });
+            }
+            else
+                markName(name, site, arrow);
+        }
+        else if (ts.isElementAccessExpression(target))
+            markKey(target.argumentExpression, site, target.expression);
+        else if (ts.isArrayLiteralExpression(target)) {
+            for (const element of target.elements) {
+                if (ts.isSpreadElement(element))
+                    markTarget(element.expression, site);
+                else if (!ts.isOmittedExpression(element))
+                    markTarget(element, site);
+            }
+        }
+        else if (ts.isObjectLiteralExpression(target)) {
+            for (const field of target.properties) {
+                if (ts.isPropertyAssignment(field))
+                    markTarget(field.initializer, site);
+                else if (ts.isSpreadAssignment(field))
+                    markTarget(field.expression, site);
+            }
+        }
+        else if (ts.isBinaryExpression(target) &&
+            target.operatorToken.kind === ts.SyntaxKind.EqualsToken)
+            markTarget(target.left, site);
+    };
+    for (const file of files)
+        ts.walkPreorder(file, (node) => {
+            if (lowerer.dynamic)
+                unknownKey = file;
+            if ((ts.isPropertyDeclaration(node) ||
+                ts.isPropertyAssignment(node) ||
+                ts.isMethodDeclaration(node) ||
+                ts.isGetAccessorDeclaration(node) ||
+                ts.isSetAccessorDeclaration(node)) &&
+                ts.isComputedPropertyName(node.name)) {
+                markKey(node.name.expression, node);
+            }
+            if ((ts.isPropertyDeclaration(node) ||
+                ts.isGetAccessorDeclaration(node) ||
+                ts.isSetAccessorDeclaration(node)) &&
+                (ts.isIdentifier(node.name) ||
+                    ts.isStringLiteralLike(node.name) ||
+                    ts.isNumericLiteral(node.name))) {
+                if (ts.isPropertyDeclaration(node) &&
+                    node.initializer &&
+                    ts.isArrowFunction(unwrap(node.initializer)))
+                    arrowFields.add(node.name.text);
+                else
+                    receiverFields.add(node.name.text);
+            }
+            if ((ts.isPropertyAssignment(node) || ts.isShorthandPropertyAssignment(node)) &&
+                (ts.isIdentifier(node.name) ||
+                    ts.isStringLiteralLike(node.name) ||
+                    ts.isNumericLiteral(node.name))) {
+                if (!ts.isPropertyAssignment(node) || !ts.isArrowFunction(unwrap(node.initializer)))
+                    receiverFields.add(node.name.text);
+            }
+            if (ts.isParameter(node) && ts.isIdentifier(node.name) && node.modifiers?.length)
+                receiverFields.add(node.name.text);
+            if (ts.isMethodDeclaration(node) &&
+                (ts.isIdentifier(node.name) ||
+                    ts.isStringLiteralLike(node.name) ||
+                    ts.isNumericLiteral(node.name))) {
+                receiverFields.add(node.name.text);
+            }
+            if (ts.isBinaryExpression(node) &&
+                node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+                node.operatorToken.kind <= ts.SyntaxKind.LastAssignment) {
+                markTarget(node.left, node, node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                    ts.isArrowFunction(unwrap(node.right)));
+                if (isJsSourceFile(file) &&
+                    node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+                    (ts.isPropertyAccessExpression(node.left) ||
+                        (ts.isElementAccessExpression(node.left) &&
+                            ts.isStringLiteralLike(node.left.argumentExpression))))
+                    jsAssignments.push(node.left);
+            }
+            if (ts.isDeleteExpression(node))
+                markTarget(node.expression, node);
+            if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
+                (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                    node.operator === ts.SyntaxKind.MinusMinusToken))
+                markTarget(node.operand, node);
+            if ((ts.isForOfStatement(node) || ts.isForInStatement(node)) &&
+                !ts.isVariableDeclarationList(node.initializer) &&
+                node.initializer.kind !== ts.SyntaxKind.MissingDeclaration)
+                markTarget(node.initializer, node);
+            if (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node)) {
+                const base = unwrap(node.expression);
+                const prototype = (ts.isPropertyAccessExpression(base) && base.name.text === "prototype") ||
+                    (ts.isElementAccessExpression(base) &&
+                        ts.isStringLiteralLike(base.argumentExpression) &&
+                        base.argumentExpression.text === "prototype");
+                if (prototype) {
+                    if (ts.isPropertyAccessExpression(node))
+                        lowerer.prototypeMethodAccesses.set(node.name.text, node);
+                    else if (ts.isStringLiteralLike(node.argumentExpression))
+                        lowerer.prototypeMethodAccesses.set(node.argumentExpression.text, node);
+                    else
+                        markKey(node.argumentExpression, node);
+                }
+            }
+            // Extracted reflection functions and aliases of Object/Reflect can
+            // mutate arbitrary names. Direct calls below retain precise keys.
+            if (ts.isIdentifier(node) && (node.text === "Object" || node.text === "Reflect"))
+                globals.push(node);
+            if (ts.isPropertyAccessExpression(node) &&
+                [
+                    "setPrototypeOf",
+                    "defineProperty",
+                    "set",
+                    "deleteProperty",
+                    "defineProperties",
+                    "assign",
+                ].includes(node.name.text))
+                reflection.push(node);
+        });
+    // The census crosses deferred bodies. Batch only the binding and key
+    // queries it actually needs instead of eagerly querying every identifier.
+    lowerer.checker.prefetchClassCollection(jsAssignments.flatMap((access) => ts.isElementAccessExpression(access) ? [access.expression] : []), jsAssignments.flatMap((access) => (ts.isPropertyAccessExpression(access) ? [access.name] : [])));
+    for (const access of jsAssignments) {
+        const name = ts.isPropertyAccessExpression(access)
+            ? access.name.text
+            : access.argumentExpression.text;
+        const symbol = ts.isPropertyAccessExpression(access)
+            ? lowerer.checker.getSymbolAtLocation(access.name)
+            : lowerer.checker.getPropertyOfType(lowerer.typeOf(access.expression), name);
+        if (symbol && lowerer.checker.declarationsOf(symbol).some(ts.isMethodDeclaration))
+            lowerer.prototypeMethodAccesses.set(name, access);
+    }
+    lowerer.checker.prefetchSymbolRoots([...globals, ...reflection]);
+    for (const node of globals)
+        if ((lowerer.isStdlibGlobal(node, "Object") || lowerer.isStdlibGlobal(node, "Reflect")) &&
+            (!ts.isPropertyAccessExpression(node.parent) || node.parent.expression !== node))
+            unknownKey = node;
+    for (const node of reflection) {
+        const objectMethod = lowerer.stdlibGlobalMember(node, "Object");
+        const reflectMethod = lowerer.stdlibGlobalMember(node, "Reflect");
+        if (objectMethod === "setPrototypeOf" || reflectMethod === "setPrototypeOf")
+            unknownKey = node;
+        const single = objectMethod === "defineProperty" ||
+            reflectMethod === "defineProperty" ||
+            reflectMethod === "set" ||
+            reflectMethod === "deleteProperty";
+        const multiple = objectMethod === "defineProperties" || objectMethod === "assign";
+        if (!single && !multiple)
+            continue;
+        const call = node.parent;
+        if (!ts.isCallExpression(call) || call.expression !== node) {
+            unknownKey = node;
+            continue;
+        }
+        const receiver = call.arguments[0];
+        if (single && call.arguments[1])
+            markKey(call.arguments[1], call, receiver);
+        else if (objectMethod === "defineProperties" && call.arguments[1])
+            markFields(call.arguments[1], call, receiver);
+        else if (objectMethod === "assign")
+            for (const source of call.arguments.slice(1))
+                markFields(source, call, receiver);
+    }
+    lowerer.checker.prefetchClassCollection(computedWrites.flatMap((write) => [
+        ...(write.key ? [write.key] : []),
+        ...(write.receiver ? [write.receiver] : []),
+    ]), computedWrites.flatMap((write) => [
+        ...(write.key ? [write.key] : []),
+        ...(write.receiver ? [write.receiver] : []),
+    ]));
+    // A named write can replace a method only when the written property can
+    // hold a function: a class instance seen through the receiver's type must
+    // have its method assignable to that property's type. Data fields (an AST
+    // node, a string, a JSON record) cannot shadow a same-named method of an
+    // unrelated class, so they stay out of the observed-slot census.
+    lowerer.checker.prefetchClassCollection(propertyWrites.map((write) => write.target), []);
+    for (const { target, site } of propertyWrites) {
+        const name = target.name.text;
+        if (lowerer.prototypeMethodAccesses.has(name) || functionFree(lowerer.typeOf(target)))
+            continue;
+        lowerer.prototypeMethodAccesses.set(name, site);
+    }
+    for (const { key, receiver, site } of computedWrites) {
+        const type = key ? lowerer.typeOf(key) : undefined;
+        const names = type && (literalValues(type) ?? (key ? literalLoopKeys(key) : null));
+        if (names) {
+            for (const name of names)
+                markName(String(name), site);
+            continue;
+        }
+        if (key && receiver && preservesExistingMethod(key, receiver, site))
+            continue;
+        if (key && receiver && deletesOwnEnumerableKey(key, receiver, site)) {
+            // Class methods are non-enumerable prototype properties. Own callback
+            // fields remain observable, so this proof does not certify those.
+            unknownOwnField = true;
+            continue;
+        }
+        // A string index whose values cannot be functions excludes callable
+        // method slots. Unlike structural interfaces, it cannot be a live
+        // class-method view.
+        if (receiver && (freshReceiver(receiver) || functionFreeDictionary(receiver)))
+            continue;
+        const flags = type?.flags ?? ts.TypeFlags.Unknown;
+        if (flags & ts.TypeFlags.NumberLike) {
+            // Numeric writes can replace numeric names but not ordinary names.
+            numericKey = site;
+        }
+        else if (!(flags & ts.TypeFlags.ESSymbolLike)) {
+            unknownKey = site;
+        }
+    }
+    if (numericKey) {
+        for (const name of [...methods, ...arrowFields]) {
+            if (String(Number(name)) === name)
+                markName(name, numericKey);
+        }
+    }
+    if (unknownKey)
+        for (const method of methods)
+            lowerer.prototypeMethodAccesses.set(method, unknownKey);
+    if (!unknownKey && !unknownOwnField)
+        for (const field of arrowFields) {
+            if (!receiverFields.has(field))
+                lowerer.receiverFreeCallbackFields.add(field);
+        }
+}
+//# sourceMappingURL=class-method-mutations.js.map

package/dist/frontend/lowering/class-method-mutations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-method-mutations.js","sourceRoot":"","sources":["../../../src/frontend/lowering/class-method-mutations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAG/C;8DAC8D;AAC9D,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,OAAO;IACP,WAAW;IACX,MAAM;IACN,MAAM;IACN,QAAQ;IACR,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,QAAQ;IACR,MAAM;IACN,sBAAsB;IACtB,WAAW;IACX,gBAAgB;IAChB,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAEH;6EAC6E;AAC7E,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,KAA+B;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,cAAc,GAId,EAAE,CAAC;IACT,MAAM,cAAc,GAA6D,EAAE,CAAC;IACpF,MAAM,UAAU,GAAkC,EAAE,CAAC;IACrD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,aAAa,GAAiE,EAAE,CAAC;IACvF,MAAM,eAAe,GAAoB,EAAE,CAAC;IAC5C,IAAI,UAA+B,CAAC;IACpC,IAAI,UAA+B,CAAC;IACpC,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,qEAAqE;IACrE,qEAAqE;IACrE,0EAA0E;IAC1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,cAAc,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC7B,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAE3E,OAAO;YACT,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;gBACjC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAE9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACzB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,uBAAuB,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAC7D,KAAK,MAAM,GAAG,IAAI,eAAe;QAC/B,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,IAAa,EAAE,KAAK,GAAG,KAAK,EAAQ,EAAE;QACpE,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,WAAW;YAAE,UAAU,GAAG,IAAI,CAAC;QACpE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,KAAoB,EAAiB,EAAE;QACrD,OACE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YACnC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC;YACxB,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;YACzB,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAE7B,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,iEAAiE;IACjE,yEAAyE;IACzE,gEAAgE;IAChE,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAW,EAAE;QACtD,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IACE,CAAC,IAAI;gBACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3B,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC1C,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;gBACzC,CAAC,IAAI,CAAC,WAAW;gBAEjB,OAAO,KAAK,CAAC;YACf,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3F,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;YAC1B,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;YAC/C,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,QAAQ,CACpE,CAAC;IACJ,CAAC,CAAC;IACF,2EAA2E;IAC3E,yEAAyE;IACzE,yEAAyE;IACzE,yEAAyE;IACzE,yBAAyB;IACzB,MAAM,YAAY,GAAG,CAAC,IAAa,EAAW,EAAE;QAC9C,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7E,IACE,CAAC,IAAI,CAAC,KAAK;YACT,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU;gBACtB,EAAE,CAAC,SAAS,CAAC,UAAU;gBACvB,EAAE,CAAC,SAAS,CAAC,WAAW;gBACxB,EAAE,CAAC,SAAS,CAAC,UAAU;gBACvB,EAAE,CAAC,SAAS,CAAC,IAAI;gBACjB,EAAE,CAAC,SAAS,CAAC,SAAS;gBACtB,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAC/B,CAAC;YAED,OAAO,IAAI,CAAC;QACd,IACE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC;YACnC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAClD,OAAO,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAEvD,OAAO,KAAK,CAAC;QACf,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC/D,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACxF,OAAO,CACL,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC,CAAC;IACF,oEAAoE;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,sBAAsB,GAAG,CAAC,KAAoB,EAAW,EAAE,CAC/D,OAAO,CAAC,OAAO;SACZ,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SAC1C,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CACzF,CAAC;IACN,MAAM,eAAe,GAAG,CAAC,GAAkB,EAA8B,EAAE;QACzE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACzE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,KAAK,GAAwB,EAAE,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;iBACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;;gBAC/D,OAAO,IAAI,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAE,KAAoB,EAAW,EAAE;QACzE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACpB,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzD,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,MAAM,uBAAuB,GAAG,CAC9B,GAAkB,EAClB,QAAuB,EACvB,IAAa,EACJ,EAAE;QACX,mEAAmE;QACnE,sEAAsE;QACtE,mEAAmE;QACnE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACvD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACvF,OAAO,KAAK,CAAC;QACf,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,OAAO,CACL,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC9B,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YACtD,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC;YAC9B,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,uBAAuB,GAAG,CAC9B,GAAkB,EAClB,QAAuB,EACvB,IAAa,EACJ,EAAE;QACX,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACxE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACvD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9C,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,MAAM;YAChE,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAC1C,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAkB,EAAE,IAAa,EAAE,QAAwB,EAAQ,EAAE;QACpF,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;aACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;;YACvE,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,KAAoB,EAAE,IAAa,EAAE,QAAwB,EAAQ,EAAE;QACzF,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACxD,OAAO;QACT,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAAE,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;iBAC1E,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACxF,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;iBAC7B,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC1D,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,MAAqB,EAAE,IAAa,EAAE,KAAK,GAAG,KAAK,EAAQ,EAAE;QAC/E,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,qEAAqE;YACrE,6DAA6D;YAC7D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;gBACtE,IAAI,CAAC,KAAK;oBAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxC,CAAC;;gBAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;aACzD,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACtC,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;oBAAE,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;qBACjE,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;oBAAE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;oBAAE,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;qBACnE,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;oBAAE,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;aAAM,IACL,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAEvD,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK;QACtB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,OAAO,CAAC,OAAO;gBAAE,UAAU,GAAG,IAAI,CAAC;YACvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC5B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;gBACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EACpC,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACtC,CAAC;YAED,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;gBACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACpC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACjC,CAAC;gBACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;oBAC9B,IAAI,CAAC,WAAW;oBAChB,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAE5C,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;oBAC7B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC;YACD,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,CAAC;gBACzE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACjC,CAAC;gBACD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBACjF,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,MAAM;gBAC9E,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC5B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACjC,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;YACD,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;gBACxD,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EACvD,CAAC;gBACD,UAAU,CACR,IAAI,CAAC,IAAI,EACT,IAAI,EACJ,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACnD,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACzC,CAAC;gBACF,IACE,cAAc,CAAC,IAAI,CAAC;oBACpB,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;oBACrD,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;wBACvC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;4BACtC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC;oBAE1D,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACnE,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;gBACvE,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;gBAElD,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACxD,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC/C,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB;gBAE1D,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrC,MAAM,SAAS,GACb,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;oBACvE,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;wBACjC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBAC/C,IAAI,CAAC,kBAAkB,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;gBAClD,IAAI,SAAS,EAAE,CAAC;oBACd,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;wBACrC,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;yBACvD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC;wBACtD,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;;wBACrE,OAAO,CAAC,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;YACD,mEAAmE;YACnE,kEAAkE;YAClE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;gBAC9E,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBACnC;oBACE,gBAAgB;oBAChB,gBAAgB;oBAChB,KAAK;oBACL,gBAAgB;oBAChB,kBAAkB;oBAClB,QAAQ;iBACT,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAE1B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;IACL,qEAAqE;IACrE,0EAA0E;IAC1E,OAAO,CAAC,OAAO,CAAC,uBAAuB,CACrC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAChE,EACD,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAChG,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YAChD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;YAClB,CAAC,CAAE,MAAM,CAAC,kBAAuC,CAAC,IAAI,CAAC;QACzD,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YAClD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC;YAC/E,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,OAAO;QACxB,IACE,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACnF,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC;YAEhF,UAAU,GAAG,IAAI,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClE,IAAI,YAAY,KAAK,gBAAgB,IAAI,aAAa,KAAK,gBAAgB;YAAE,UAAU,GAAG,IAAI,CAAC;QAC/F,MAAM,MAAM,GACV,YAAY,KAAK,gBAAgB;YACjC,aAAa,KAAK,gBAAgB;YAClC,aAAa,KAAK,KAAK;YACvB,aAAa,KAAK,gBAAgB,CAAC;QACrC,MAAM,QAAQ,GAAG,YAAY,KAAK,kBAAkB,IAAI,YAAY,KAAK,QAAQ,CAAC;QAClF,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC3D,UAAU,GAAG,IAAI,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;aACvE,IAAI,YAAY,KAAK,kBAAkB,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC/D,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;aAC3C,IAAI,YAAY,KAAK,QAAQ;YAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,uBAAuB,CACrC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAChC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CAAC,EACF,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAChC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CAAC,CACH,CAAC;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,iEAAiE;IACjE,OAAO,CAAC,OAAO,CAAC,uBAAuB,CACrC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAC3C,EAAE,CACH,CAAC;IACF,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,cAAc,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9B,IAAI,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAAE,SAAS;QAChG,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,cAAc,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,IAAI,QAAQ,IAAI,uBAAuB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC;YAAE,SAAS;QAC9E,IAAI,GAAG,IAAI,QAAQ,IAAI,uBAAuB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;YACpE,sEAAsE;YACtE,kEAAkE;YAClE,eAAe,GAAG,IAAI,CAAC;YACvB,SAAS;QACX,CAAC;QACD,oEAAoE;QACpE,kEAAkE;QAClE,qBAAqB;QACrB,IAAI,QAAQ,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAS;QACxF,MAAM,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC;QAClD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;YACpC,mEAAmE;YACnE,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC;YAChD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,IAAI,UAAU;QACZ,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,OAAO,CAAC,uBAAuB,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxF,IAAI,CAAC,UAAU,IAAI,CAAC,eAAe;QACjC,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChF,CAAC;AACL,CAAC"}

package/dist/frontend/lowering/class-method-values.js

@@ -1,6 +1,6 @@
 import * as ts from "../ts7/adapter.js";
 import { BOOL, DYN, STRING, RUNTIME_ERROR_CLASSES, typeEquals, typeKey, } from "../../ir/ir.js";
-import { varRef } from "../../ir/build.js";
+import { nodeThrowExpr, varRef } from "../../ir/build.js";
 import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
 import { isJsSourceFile, locOf } from "../program.js";
 import { newFnCtx } from "./lowerer.js";
@@ -29,7 +29,12 @@ export function lowerClassMethodValue(lowerer, expr, info) {
             type: DYN,
             loc,
         };
-    let value = methodValue(lowerer, expr, info);
+    const declared = findMethodOn(lowerer, info, method);
+    // Abstract declarations have no prototype function. Concrete descendants
+    // provide the extracted value through the same reachability-driven selector.
+    let value = declared?.sig.abstract
+        ? nodeThrowExpr(1, "", `Missing implementation of method '${method}'`, funcTypeFromParamShapes(declared.sig.params, declared.sig.ret), loc)
+        : methodValue(lowerer, expr, info);
     if (!value)
         return null;
     const callback = isClassCallback(lowerer, info, method);
@@ -91,11 +96,19 @@ export function refreshClassMethodValueSelections(lowerer) {
                 selection.values.has(candidate.def.name) ||
                 !lowerer.classCanBeConstructed(candidate) ||
                 !lowerer.isSubclassOf(candidate.def.name, selection.info.def.name) ||
-                !candidate.methods.has(selection.method))
+                !candidate.methods.has(selection.method) ||
+                candidate.methods.get(selection.method)?.abstract)
                 continue;
             let value = methodValue(lowerer, selection.expression, candidate);
             if (value && selection.checked)
                 value = lowerer.coerceToExpected(value, DYN);
+            if (value && !typeEquals(value.type, selection.fallback.type)) {
+                const widened = lowerer.coerceCovariantFunction(value, selection.fallback.type);
+                // Only a representation-preserving view can keep extraction's
+                // identity contract across differently typed base/derived views.
+                if (widened)
+                    value = widened;
+            }
             if (!value || !typeEquals(value.type, selection.fallback.type))
                 lowerer.unsupported("SC1090", selection.expression, "method values with incompatible override signatures");
             selection.values.set(candidate.def.name, value);
@@ -105,8 +118,15 @@ export function refreshClassMethodValueSelections(lowerer) {
             continue;
         const loc = selection.fn.loc;
         const receiver = varRef("this.0", selection.fn.params[0].type, loc);
-        const values = [...selection.values].sort(([a], [b]) => lowerer.isSubclassOf(a, b) ? -1 : lowerer.isSubclassOf(b, a) ? 1 : 0);
-        selection.fn.body = values.map(([className, value]) => ({
+        const names = [...selection.values.keys()];
+        const values = [...selection.values]
+            .map(([className, value]) => ({
+            className,
+            value,
+            ancestors: names.filter((name) => lowerer.isSubclassOf(className, name)).length,
+        }))
+            .sort((a, b) => b.ancestors - a.ancestors);
+        selection.fn.body = values.map(({ className, value }) => ({
             kind: "if",
             cond: { kind: "instanceOf", value: receiver, className, type: BOOL, loc },
             then: [{ kind: "return", value, loc }],