@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/inference-expressions-infer.js

@@ -0,0 +1,427 @@
+/**
+ * Expression Type Inference — inferExpressionType
+ *
+ * Deterministically infer an expression's type using only:
+ * - local lambda parameter environment
+ * - declaration types (typeOfDecl)
+ * - numeric literal lexeme rules
+ *
+ * DAG position: depends on inference-utilities, inference-member-resolution,
+ *               inference-initializers, inference-declarations
+ */
+import * as ts from "typescript";
+import { inferNumericKindFromRaw } from "../types/numeric-helpers.js";
+import { getBinaryResultKind } from "../types/numeric-kind.js";
+import { stripNullishForInference } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { convertTypeNode, resolveCall } from "./type-system-call-resolution.js";
+import { tryResolveDeterministicPropertyName } from "../syntax/property-names.js";
+import { unwrapParens, isLambdaExpression, deriveTypeFromNumericKind, getNumericKindFromIrType, unwrapAwaitedForInference, } from "./inference-utilities.js";
+import { typeOfDecl } from "./inference-declarations.js";
+import { typeOfMember, getIndexerInfo } from "./inference-member-resolution.js";
+import { tryInferReturnTypeFromCallExpression } from "./inference-initializers.js";
+const inferEnclosingThisType = (node) => {
+    let current = node;
+    while (current) {
+        if (ts.isClassDeclaration(current) || ts.isClassExpression(current)) {
+            const className = current.name?.text;
+            if (!className)
+                return undefined;
+            const typeArguments = current.typeParameters?.map((typeParameter) => ({
+                kind: "typeParameterType",
+                name: typeParameter.name.text,
+            })) ?? [];
+            return {
+                kind: "referenceType",
+                name: className,
+                ...(typeArguments.length > 0 ? { typeArguments } : {}),
+            };
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+/**
+ * Deterministically infer an expression's type using only:
+ * - local lambda parameter environment
+ * - declaration types (typeOfDecl)
+ * - numeric literal lexeme rules
+ *
+ * This is intentionally small: it's used only to type lambda bodies for
+ * initializer-driven generic inference (e.g., `Enumerable.select(..., x => x * 2)`).
+ */
+export const inferExpressionType = (state, expr, env) => {
+    const inferObjectLiteralType = (objectExpr) => {
+        const inferFunctionLikeType = (functionLike) => {
+            const parameters = "parameters" in functionLike
+                ? functionLike.parameters.map((p, index) => {
+                    const name = ts.isIdentifier(p.name)
+                        ? p.name.text
+                        : `arg${index}`;
+                    const paramType = p.type
+                        ? convertTypeNode(state, p.type)
+                        : undefined;
+                    return {
+                        kind: "parameter",
+                        pattern: {
+                            kind: "identifierPattern",
+                            name,
+                        },
+                        type: paramType,
+                        initializer: undefined,
+                        isOptional: !!p.questionToken,
+                        isRest: !!p.dotDotDotToken,
+                        passing: "value",
+                    };
+                })
+                : [];
+            const localEnv = new Map(env);
+            for (const parameter of parameters) {
+                if (parameter.pattern.kind === "identifierPattern" &&
+                    parameter.type !== undefined) {
+                    localEnv.set(parameter.pattern.name, parameter.type);
+                }
+            }
+            const explicitReturnType = "type" in functionLike && functionLike.type
+                ? convertTypeNode(state, functionLike.type)
+                : undefined;
+            const inferredReturnType = explicitReturnType ??
+                (() => {
+                    if (ts.isMethodDeclaration(functionLike) ||
+                        ts.isGetAccessor(functionLike)) {
+                        if (!functionLike.body)
+                            return undefined;
+                        const returns = functionLike.body.statements.filter(ts.isReturnStatement);
+                        if (returns.length === 0)
+                            return { kind: "voidType" };
+                        const firstExpr = returns[0]?.expression;
+                        if (!firstExpr)
+                            return { kind: "voidType" };
+                        const first = inferExpressionType(state, firstExpr, localEnv);
+                        if (!first)
+                            return undefined;
+                        for (let i = 1; i < returns.length; i++) {
+                            const expr = returns[i]?.expression;
+                            if (!expr)
+                                continue;
+                            const current = inferExpressionType(state, expr, localEnv);
+                            if (!current || !typesEqual(current, first))
+                                return undefined;
+                        }
+                        return first;
+                    }
+                    if (ts.isBlock(functionLike.body)) {
+                        const returns = functionLike.body.statements.filter(ts.isReturnStatement);
+                        if (returns.length === 0)
+                            return { kind: "voidType" };
+                        const firstExpr = returns[0]?.expression;
+                        if (!firstExpr)
+                            return { kind: "voidType" };
+                        const first = inferExpressionType(state, firstExpr, localEnv);
+                        if (!first)
+                            return undefined;
+                        for (let i = 1; i < returns.length; i++) {
+                            const expr = returns[i]?.expression;
+                            if (!expr)
+                                continue;
+                            const current = inferExpressionType(state, expr, localEnv);
+                            if (!current || !typesEqual(current, first))
+                                return undefined;
+                        }
+                        return first;
+                    }
+                    return inferExpressionType(state, functionLike.body, localEnv);
+                })();
+            if (!inferredReturnType)
+                return undefined;
+            return {
+                kind: "functionType",
+                parameters,
+                returnType: inferredReturnType,
+            };
+        };
+        const accessors = new Map();
+        const members = [];
+        for (const property of objectExpr.properties) {
+            if (ts.isSpreadAssignment(property)) {
+                return undefined;
+            }
+            if (ts.isGetAccessorDeclaration(property) ||
+                ts.isSetAccessorDeclaration(property)) {
+                const name = tryResolveDeterministicPropertyName(property.name);
+                if (!name)
+                    return undefined;
+                const bucket = accessors.get(name) ?? {};
+                if (ts.isGetAccessorDeclaration(property)) {
+                    bucket.getter = property;
+                }
+                else {
+                    bucket.setter = property;
+                }
+                accessors.set(name, bucket);
+                continue;
+            }
+            if (ts.isPropertyAssignment(property)) {
+                const name = tryResolveDeterministicPropertyName(property.name);
+                if (!name)
+                    return undefined;
+                const propertyType = inferExpressionType(state, property.initializer, env);
+                if (!propertyType)
+                    return undefined;
+                members.push({
+                    kind: "propertySignature",
+                    name,
+                    type: propertyType,
+                    isOptional: false,
+                    isReadonly: false,
+                });
+                continue;
+            }
+            if (ts.isShorthandPropertyAssignment(property)) {
+                const declId = state.resolveShorthandAssignment(property);
+                const propertyType = declId !== undefined
+                    ? (() => {
+                        const fromEnv = env.get(property.name.text);
+                        if (fromEnv && fromEnv.kind !== "unknownType") {
+                            return fromEnv;
+                        }
+                        const fromDecl = typeOfDecl(state, declId);
+                        return fromDecl.kind === "unknownType" ? undefined : fromDecl;
+                    })()
+                    : inferExpressionType(state, property.name, env);
+                if (!propertyType)
+                    return undefined;
+                members.push({
+                    kind: "propertySignature",
+                    name: property.name.text,
+                    type: propertyType,
+                    isOptional: false,
+                    isReadonly: false,
+                });
+                continue;
+            }
+            if (ts.isMethodDeclaration(property)) {
+                const name = tryResolveDeterministicPropertyName(property.name);
+                if (!name)
+                    return undefined;
+                const methodType = inferFunctionLikeType(property);
+                if (!methodType)
+                    return undefined;
+                members.push({
+                    kind: "methodSignature",
+                    name,
+                    parameters: methodType.parameters,
+                    returnType: methodType.returnType,
+                });
+                continue;
+            }
+            return undefined;
+        }
+        for (const [name, accessor] of accessors) {
+            const getterType = accessor.getter
+                ? "type" in accessor.getter && accessor.getter.type
+                    ? convertTypeNode(state, accessor.getter.type)
+                    : inferFunctionLikeType(accessor.getter)?.returnType
+                : undefined;
+            const setterParam = accessor.setter?.parameters[0];
+            const setterType = setterParam?.type
+                ? convertTypeNode(state, setterParam.type)
+                : undefined;
+            const propertyType = getterType ?? setterType;
+            if (!propertyType)
+                return undefined;
+            members.push({
+                kind: "propertySignature",
+                name,
+                type: propertyType,
+                isOptional: false,
+                isReadonly: accessor.setter === undefined,
+            });
+        }
+        return { kind: "objectType", members };
+    };
+    const unwrapped = unwrapParens(expr);
+    if (ts.isAsExpression(unwrapped) || ts.isTypeAssertionExpression(unwrapped)) {
+        return convertTypeNode(state, unwrapped.type);
+    }
+    if (ts.isNonNullExpression(unwrapped)) {
+        const inner = inferExpressionType(state, unwrapped.expression, env);
+        if (!inner || inner.kind === "unknownType")
+            return undefined;
+        return stripNullishForInference(inner);
+    }
+    if (ts.isAwaitExpression(unwrapped)) {
+        const inner = inferExpressionType(state, unwrapped.expression, env);
+        if (!inner || inner.kind === "unknownType")
+            return undefined;
+        return unwrapAwaitedForInference(inner);
+    }
+    if (unwrapped.kind === ts.SyntaxKind.UndefinedKeyword) {
+        return { kind: "primitiveType", name: "undefined" };
+    }
+    if (unwrapped.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "primitiveType", name: "null" };
+    }
+    if (unwrapped.kind === ts.SyntaxKind.ThisKeyword) {
+        return inferEnclosingThisType(unwrapped);
+    }
+    if (ts.isCallExpression(unwrapped)) {
+        return tryInferReturnTypeFromCallExpression(state, unwrapped, env);
+    }
+    if (ts.isNewExpression(unwrapped)) {
+        const sigId = state.resolveConstructorSignature(unwrapped);
+        if (!sigId)
+            return undefined;
+        const explicitTypeArgs = unwrapped.typeArguments && unwrapped.typeArguments.length > 0
+            ? unwrapped.typeArguments.map((ta) => convertTypeNode(state, ta))
+            : undefined;
+        const argumentCount = unwrapped.arguments?.length ?? 0;
+        const argTypesWorking = Array(argumentCount).fill(undefined);
+        const args = unwrapped.arguments ?? [];
+        for (let i = 0; i < args.length; i++) {
+            const arg = args[i];
+            if (!arg)
+                continue;
+            if (ts.isSpreadElement(arg))
+                continue;
+            if (isLambdaExpression(arg))
+                continue;
+            const t = inferExpressionType(state, arg, env);
+            if (t && t.kind !== "unknownType") {
+                argTypesWorking[i] = t;
+            }
+        }
+        const resolved = resolveCall(state, {
+            sigId,
+            argumentCount,
+            explicitTypeArgs,
+            argTypes: argTypesWorking,
+        });
+        return resolved.returnType.kind === "unknownType"
+            ? undefined
+            : resolved.returnType;
+    }
+    if (ts.isPropertyAccessExpression(unwrapped)) {
+        const receiverType = inferExpressionType(state, unwrapped.expression, env);
+        if (!receiverType || receiverType.kind === "unknownType")
+            return undefined;
+        const memberType = typeOfMember(state, receiverType, {
+            kind: "byName",
+            name: unwrapped.name.text,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    }
+    if (ts.isElementAccessExpression(unwrapped)) {
+        const objectType = inferExpressionType(state, unwrapped.expression, env);
+        if (!objectType || objectType.kind === "unknownType")
+            return undefined;
+        if (objectType.kind === "arrayType") {
+            return objectType.elementType;
+        }
+        if (objectType.kind === "dictionaryType") {
+            return objectType.valueType;
+        }
+        if (objectType.kind === "primitiveType" && objectType.name === "string") {
+            return { kind: "primitiveType", name: "string" };
+        }
+        if (objectType.kind === "referenceType") {
+            return getIndexerInfo(state, objectType)?.valueType;
+        }
+        return undefined;
+    }
+    if (ts.isIdentifier(unwrapped)) {
+        const fromEnv = env.get(unwrapped.text);
+        if (fromEnv)
+            return fromEnv;
+        const declId = state.resolveIdentifier(unwrapped);
+        if (!declId)
+            return undefined;
+        const t = typeOfDecl(state, declId);
+        return t.kind === "unknownType" ? undefined : t;
+    }
+    if (ts.isNumericLiteral(unwrapped)) {
+        const numericKind = inferNumericKindFromRaw(unwrapped.getText());
+        return deriveTypeFromNumericKind(numericKind);
+    }
+    if (ts.isStringLiteral(unwrapped)) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (ts.isNoSubstitutionTemplateLiteral(unwrapped) ||
+        ts.isTemplateExpression(unwrapped)) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (unwrapped.kind === ts.SyntaxKind.TrueKeyword ||
+        unwrapped.kind === ts.SyntaxKind.FalseKeyword) {
+        return { kind: "primitiveType", name: "boolean" };
+    }
+    if (ts.isArrayLiteralExpression(unwrapped)) {
+        const elementTypes = [];
+        for (const element of unwrapped.elements) {
+            if (ts.isOmittedExpression(element) || ts.isSpreadElement(element)) {
+                return undefined;
+            }
+            const elementType = inferExpressionType(state, element, env);
+            if (!elementType)
+                return undefined;
+            elementTypes.push(elementType);
+        }
+        if (elementTypes.length === 0) {
+            return undefined;
+        }
+        const first = elementTypes[0];
+        if (first && elementTypes.every((type) => typesEqual(type, first))) {
+            return { kind: "arrayType", elementType: first };
+        }
+        return { kind: "tupleType", elementTypes };
+    }
+    if (ts.isObjectLiteralExpression(unwrapped)) {
+        return inferObjectLiteralType(unwrapped);
+    }
+    if (ts.isPrefixUnaryExpression(unwrapped)) {
+        if (unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
+            return { kind: "primitiveType", name: "boolean" };
+        }
+        return inferExpressionType(state, unwrapped.operand, env);
+    }
+    if (ts.isBinaryExpression(unwrapped)) {
+        const op = unwrapped.operatorToken.kind;
+        // Comparisons / equality always return boolean.
+        if (op === ts.SyntaxKind.EqualsEqualsToken ||
+            op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+            op === ts.SyntaxKind.ExclamationEqualsToken ||
+            op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
+            op === ts.SyntaxKind.LessThanToken ||
+            op === ts.SyntaxKind.LessThanEqualsToken ||
+            op === ts.SyntaxKind.GreaterThanToken ||
+            op === ts.SyntaxKind.GreaterThanEqualsToken) {
+            return { kind: "primitiveType", name: "boolean" };
+        }
+        if (op === ts.SyntaxKind.AmpersandAmpersandToken ||
+            op === ts.SyntaxKind.BarBarToken) {
+            return { kind: "primitiveType", name: "boolean" };
+        }
+        if (op === ts.SyntaxKind.PlusToken ||
+            op === ts.SyntaxKind.MinusToken ||
+            op === ts.SyntaxKind.AsteriskToken ||
+            op === ts.SyntaxKind.SlashToken ||
+            op === ts.SyntaxKind.PercentToken) {
+            const leftType = inferExpressionType(state, unwrapped.left, env);
+            const rightType = inferExpressionType(state, unwrapped.right, env);
+            if (!leftType || !rightType)
+                return undefined;
+            // String concatenation
+            if (op === ts.SyntaxKind.PlusToken &&
+                ((leftType.kind === "primitiveType" && leftType.name === "string") ||
+                    (rightType.kind === "primitiveType" && rightType.name === "string"))) {
+                return { kind: "primitiveType", name: "string" };
+            }
+            const leftKind = getNumericKindFromIrType(leftType);
+            const rightKind = getNumericKindFromIrType(rightType);
+            if (!leftKind || !rightKind)
+                return undefined;
+            return deriveTypeFromNumericKind(getBinaryResultKind(leftKind, rightKind));
+        }
+    }
+    return undefined;
+};
+//# sourceMappingURL=inference-expressions-infer.js.map

package/dist/ir/type-system/inference-expressions-infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions-infer.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions-infer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAOH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,mCAAmC,EAAE,MAAM,6BAA6B,CAAC;AAClF,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,oCAAoC,EAAE,MAAM,6BAA6B,CAAC;AAEnF,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAsB,EAAE;IACnE,IAAI,OAAO,GAAwB,IAAI,CAAC;IAExC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;YACrC,IAAI,CAAC,SAAS;gBAAE,OAAO,SAAS,CAAC;YAEjC,MAAM,aAAa,GACjB,OAAO,CAAC,cAAc,EAAE,GAAG,CACzB,CAAC,aAAa,EAAU,EAAE,CAAC,CAAC;gBAC1B,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI;aAC9B,CAAC,CACH,IAAI,EAAE,CAAC;YAEV,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAmB,EACnB,GAAgC,EACZ,EAAE;IACtB,MAAM,sBAAsB,GAAG,CAC7B,UAAsC,EAClB,EAAE;QACtB,MAAM,qBAAqB,GAAG,CAC5B,YAI6B,EACD,EAAE;YAC9B,MAAM,UAAU,GACd,YAAY,IAAI,YAAY;gBAC1B,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;oBACvC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;wBAClC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;wBACb,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI;wBACtB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;wBAChC,CAAC,CAAC,SAAS,CAAC;oBACd,OAAO;wBACL,IAAI,EAAE,WAAoB;wBAC1B,OAAO,EAAE;4BACP,IAAI,EAAE,mBAA4B;4BAClC,IAAI;yBACL;wBACD,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,SAAS;wBACtB,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;wBAC7B,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;wBAC1B,OAAO,EAAE,OAAgB;qBAC1B,CAAC;gBACJ,CAAC,CAAC;gBACJ,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,IACE,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;oBAC9C,SAAS,CAAC,IAAI,KAAK,SAAS,EAC5B,CAAC;oBACD,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YAED,MAAM,kBAAkB,GACtB,MAAM,IAAI,YAAY,IAAI,YAAY,CAAC,IAAI;gBACzC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,kBAAkB,GACtB,kBAAkB;gBAClB,CAAC,GAAG,EAAE;oBACJ,IACE,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC;wBACpC,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,EAC9B,CAAC;wBACD,IAAI,CAAC,YAAY,CAAC,IAAI;4BAAE,OAAO,SAAS,CAAC;wBACzC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CACjD,EAAE,CAAC,iBAAiB,CACrB,CAAC;wBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;4BAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;wBAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;wBACzC,IAAI,CAAC,SAAS;4BAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;wBACrD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAC9D,IAAI,CAAC,KAAK;4BAAE,OAAO,SAAS,CAAC;wBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;4BACpC,IAAI,CAAC,IAAI;gCAAE,SAAS;4BACpB,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;4BAC3D,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC;gCAAE,OAAO,SAAS,CAAC;wBAChE,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBAED,IAAI,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CACjD,EAAE,CAAC,iBAAiB,CACrB,CAAC;wBACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;4BAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;wBAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;wBACzC,IAAI,CAAC,SAAS;4BAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;wBACrD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAC9D,IAAI,CAAC,KAAK;4BAAE,OAAO,SAAS,CAAC;wBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACxC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;4BACpC,IAAI,CAAC,IAAI;gCAAE,SAAS;4BACpB,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;4BAC3D,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC;gCAAE,OAAO,SAAS,CAAC;wBAChE,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBAED,OAAO,mBAAmB,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACjE,CAAC,CAAC,EAAE,CAAC;YAEP,IAAI,CAAC,kBAAkB;gBAAE,OAAO,SAAS,CAAC;YAC1C,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,UAAU;gBACV,UAAU,EAAE,kBAAkB;aAC/B,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;QACJ,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IACE,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC;gBACrC,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EACrC,CAAC;gBACD,MAAM,IAAI,GAAG,mCAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACzC,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1C,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC;gBAC3B,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,mCAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,MAAM,YAAY,GAAG,mBAAmB,CACtC,KAAK,EACL,QAAQ,CAAC,WAAW,EACpB,GAAG,CACJ,CAAC;gBACF,IAAI,CAAC,YAAY;oBAAE,OAAO,SAAS,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI;oBACJ,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC;gBAC1D,MAAM,YAAY,GAChB,MAAM,KAAK,SAAS;oBAClB,CAAC,CAAC,CAAC,GAAG,EAAE;wBACJ,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAC5C,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;4BAC9C,OAAO,OAAO,CAAC;wBACjB,CAAC;wBACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;wBAC3C,OAAO,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAChE,CAAC,CAAC,EAAE;oBACN,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrD,IAAI,CAAC,YAAY;oBAAE,OAAO,SAAS,CAAC;gBACpC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;oBACxB,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,mCAAmC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI;oBAAE,OAAO,SAAS,CAAC;gBAC5B,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,CAAC,UAAU;oBAAE,OAAO,SAAS,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,iBAAiB;oBACvB,IAAI;oBACJ,UAAU,EAAE,UAAU,CAAC,UAAU;oBACjC,UAAU,EAAE,UAAU,CAAC,UAAU;iBAClC,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM;gBAChC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI;oBACjD,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC9C,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU;gBACtD,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,UAAU,GAAG,WAAW,EAAE,IAAI;gBAClC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC;gBAC1C,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,YAAY,GAAG,UAAU,IAAI,UAAU,CAAC;YAC9C,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,mBAAmB;gBACzB,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,QAAQ,CAAC,MAAM,KAAK,SAAS;aAC1C,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAErC,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5E,OAAO,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACjD,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,oCAAoC,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,KAAK,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,gBAAgB,GACpB,SAAS,CAAC,aAAa,IAAI,SAAS,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;YAC3D,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACjE,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,aAAa,GAAG,SAAS,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC;QACvD,MAAM,eAAe,GACnB,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAEvC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;gBAAE,SAAS;YACtC,IAAI,kBAAkB,CAAC,GAAG,CAAC;gBAAE,SAAS;YAEtC,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAClC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE;YAClC,KAAK;YACL,aAAa;YACb,gBAAgB;YAChB,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QAEH,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC/C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC1B,CAAC;IAED,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC3E,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC3E,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;SAC1B,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACzE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAEvE,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,OAAO,UAAU,CAAC,WAAW,CAAC;QAChC,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACzC,OAAO,UAAU,CAAC,SAAS,CAAC;QAC9B,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACxC,OAAO,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC;QACtD,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,uBAAuB,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,OAAO,yBAAyB,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC;QAC7C,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAClC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAC7C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnE,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,WAAW;gBAAE,OAAO,SAAS,CAAC;YACnC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACnD,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IAC7C,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;YAC1D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC;QAExC,gDAAgD;QAChD,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YACtC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YAC3C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;YACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAClC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;YACxC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACrC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAC3C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,CAAC;QAED,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAChC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,CAAC;QAED,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC9B,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC/B,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAClC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC/B,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACjC,CAAC;YACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjE,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACnE,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;gBAAE,OAAO,SAAS,CAAC;YAE9C,uBAAuB;YACvB,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;gBAC9B,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;oBAChE,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,EACtE,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnD,CAAC;YAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;YACtD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;gBAAE,OAAO,SAAS,CAAC;YAE9C,OAAO,yBAAyB,CAC9B,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/type-system/inference-expressions-lambda.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Lambda Type Inference — inferLambdaType
+ *
+ * Infers the IrFunctionType of an arrow function or function expression
+ * using parameter types from the expected type context.
+ *
+ * DAG position: depends on inference-utilities, inference-expressions-infer
+ */
+import type { IrType, IrFunctionType } from "../types/index.js";
+import * as ts from "typescript";
+import type { TypeSystemState } from "./type-system-state.js";
+export declare const inferLambdaType: (state: TypeSystemState, expr: ts.Expression, expectedType: IrType | undefined) => IrFunctionType | undefined;
+//# sourceMappingURL=inference-expressions-lambda.d.ts.map

package/dist/ir/type-system/inference-expressions-lambda.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions-lambda.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions-lambda.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAa9D,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,UAAU,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,cAAc,GAAG,SAiGnB,CAAC"}

package/dist/ir/type-system/inference-expressions-lambda.js

@@ -0,0 +1,101 @@
+/**
+ * Lambda Type Inference — inferLambdaType
+ *
+ * Infers the IrFunctionType of an arrow function or function expression
+ * using parameter types from the expected type context.
+ *
+ * DAG position: depends on inference-utilities, inference-expressions-infer
+ */
+import * as ts from "typescript";
+import { typesEqual, containsTypeParameter, isAssignableTo, } from "./type-system-relations.js";
+import { convertTypeNode, delegateToFunctionType, } from "./type-system-call-resolution.js";
+import { unwrapParens } from "./inference-utilities.js";
+import { inferExpressionType } from "./inference-expressions-infer.js";
+export const inferLambdaType = (state, expr, expectedType) => {
+    const unwrapped = unwrapParens(expr);
+    if (!ts.isArrowFunction(unwrapped) && !ts.isFunctionExpression(unwrapped)) {
+        return undefined;
+    }
+    const expectedFnType = expectedType?.kind === "functionType"
+        ? expectedType
+        : expectedType
+            ? delegateToFunctionType(state, expectedType)
+            : undefined;
+    const parameters = unwrapped.parameters.map((p, index) => {
+        const name = ts.isIdentifier(p.name) ? p.name.text : `arg${index}`;
+        const paramType = p.type
+            ? convertTypeNode(state, p.type)
+            : expectedFnType?.parameters[index]?.type;
+        return {
+            kind: "parameter",
+            pattern: {
+                kind: "identifierPattern",
+                name,
+            },
+            type: paramType,
+            initializer: undefined,
+            isOptional: !!p.questionToken,
+            isRest: !!p.dotDotDotToken,
+            passing: "value",
+        };
+    });
+    const env = new Map();
+    for (const p of parameters) {
+        if (p.pattern.kind === "identifierPattern" && p.pattern.name && p.type) {
+            env.set(p.pattern.name, p.type);
+        }
+    }
+    const explicitReturnType = "type" in unwrapped && unwrapped.type
+        ? convertTypeNode(state, unwrapped.type)
+        : undefined;
+    const expectedReturnType = expectedFnType?.returnType;
+    const bodyInferredReturnType = explicitReturnType !== undefined
+        ? undefined
+        : (() => {
+            if (ts.isBlock(unwrapped.body)) {
+                const returns = [];
+                const visit = (n) => {
+                    if (ts.isFunctionLike(n) && n !== unwrapped)
+                        return;
+                    if (ts.isReturnStatement(n) && n.expression) {
+                        returns.push(n.expression);
+                    }
+                    n.forEachChild(visit);
+                };
+                unwrapped.body.forEachChild(visit);
+                if (returns.length === 0)
+                    return { kind: "voidType" };
+                // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+                const first = inferExpressionType(state, returns[0], env);
+                if (!first)
+                    return undefined;
+                for (let i = 1; i < returns.length; i++) {
+                    // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+                    const t = inferExpressionType(state, returns[i], env);
+                    if (!t || !typesEqual(t, first))
+                        return undefined;
+                }
+                return first;
+            }
+            return inferExpressionType(state, unwrapped.body, env);
+        })();
+    const inferredReturnType = explicitReturnType ??
+        (bodyInferredReturnType &&
+            expectedReturnType &&
+            !containsTypeParameter(expectedReturnType) &&
+            isAssignableTo(state, bodyInferredReturnType, expectedReturnType)
+            ? bodyInferredReturnType
+            : undefined) ??
+        (expectedReturnType && !containsTypeParameter(expectedReturnType)
+            ? expectedReturnType
+            : undefined) ??
+        bodyInferredReturnType;
+    if (!inferredReturnType)
+        return undefined;
+    return {
+        kind: "functionType",
+        parameters,
+        returnType: inferredReturnType,
+    };
+};
+//# sourceMappingURL=inference-expressions-lambda.js.map

package/dist/ir/type-system/inference-expressions-lambda.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions-lambda.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions-lambda.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,UAAU,EACV,qBAAqB,EACrB,cAAc,GACf,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,eAAe,EACf,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAEvE,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,IAAmB,EACnB,YAAgC,EACJ,EAAE;IAC9B,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,YAAY,EAAE,IAAI,KAAK,cAAc;QACnC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,YAAY;YACZ,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC;YAC7C,CAAC,CAAC,SAAS,CAAC;IAElB,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACvD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC;QACnE,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI;YACtB,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,cAAc,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;QAE5C,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI;aACL;YACD,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;YAC7B,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;YAC1B,OAAO,EAAE,OAAgB;SAC1B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,MAAM,kBAAkB,GACtB,MAAM,IAAI,SAAS,IAAI,SAAS,CAAC,IAAI;QACnC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC;QACxC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,kBAAkB,GAAG,cAAc,EAAE,UAAU,CAAC;IAEtD,MAAM,sBAAsB,GAC1B,kBAAkB,KAAK,SAAS;QAC9B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAoB,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;oBACjC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS;wBAAE,OAAO;oBACpD,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBAC5C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBAC7B,CAAC;oBACD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACxB,CAAC,CAAC;gBACF,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBAEnC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;gBAE/D,oEAAoE;gBACpE,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;gBAC3D,IAAI,CAAC,KAAK;oBAAE,OAAO,SAAS,CAAC;gBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,oEAAoE;oBACpE,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;oBACvD,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC;wBAAE,OAAO,SAAS,CAAC;gBACpD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;IAEX,MAAM,kBAAkB,GACtB,kBAAkB;QAClB,CAAC,sBAAsB;YACvB,kBAAkB;YAClB,CAAC,qBAAqB,CAAC,kBAAkB,CAAC;YAC1C,cAAc,CAAC,KAAK,EAAE,sBAAsB,EAAE,kBAAkB,CAAC;YAC/D,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,SAAS,CAAC;QACd,CAAC,kBAAkB,IAAI,CAAC,qBAAqB,CAAC,kBAAkB,CAAC;YAC/D,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,SAAS,CAAC;QACd,sBAAsB,CAAC;IAEzB,IAAI,CAAC,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAE1C,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU;QACV,UAAU,EAAE,kBAAkB;KAC/B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/inference-expressions.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Expression Type Inference (facade)
+ *
+ * Sub-modules:
+ * - inference-expressions-infer.ts  : inferExpressionType
+ * - inference-expressions-lambda.ts : inferLambdaType
+ */
+export { inferExpressionType } from "./inference-expressions-infer.js";
+export { inferLambdaType } from "./inference-expressions-lambda.js";
+//# sourceMappingURL=inference-expressions.d.ts.map

package/dist/ir/type-system/inference-expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/ir/type-system/inference-expressions.js

@@ -0,0 +1,10 @@
+/**
+ * Expression Type Inference (facade)
+ *
+ * Sub-modules:
+ * - inference-expressions-infer.ts  : inferExpressionType
+ * - inference-expressions-lambda.ts : inferLambdaType
+ */
+export { inferExpressionType } from "./inference-expressions-infer.js";
+export { inferLambdaType } from "./inference-expressions-lambda.js";
+//# sourceMappingURL=inference-expressions.js.map

package/dist/ir/type-system/inference-expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/ir/type-system/inference-initializers-call.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Literal and Call Return Type Inference
+ *
+ * Contains:
+ * - tryInferTypeFromLiteralInitializer: simple literal → IrType
+ * - tryInferReturnTypeFromCallExpression: call expression → return type
+ *
+ * DAG position: depends on inference-utilities, inference-expressions,
+ *               inference-declarations, inference-member-resolution
+ */
+import type { IrType } from "../types/index.js";
+import * as ts from "typescript";
+import type { TypeSystemState } from "./type-system-state.js";
+/**
+ * Try to infer type from a variable declaration's literal initializer.
+ *
+ * DETERMINISM: Uses the raw lexeme form of the literal, not TS computed types.
+ * Only handles simple literal initializers:
+ * - Numeric literals → inferred via inferNumericKindFromRaw
+ * - String literals → primitiveType("string")
+ * - Boolean literals → primitiveType("boolean")
+ *
+ * Returns undefined if the initializer is not a simple literal.
+ */
+export declare const tryInferTypeFromLiteralInitializer: (_state: TypeSystemState, declNode: unknown) => IrType | undefined;
+/**
+ * Try to infer type from a variable declaration's initializer using only
+ * deterministic sources (declarations + explicit syntax).
+ *
+ * Handles:
+ * - simple literals (delegates to tryInferTypeFromLiteralInitializer)
+ * - call expressions where the callee has an explicit declared return type
+ * - new expressions with explicit type arguments (or best-effort nominal type)
+ * - identifier initializers (propagate deterministically)
+ */
+export declare const tryInferReturnTypeFromCallExpression: (state: TypeSystemState, call: ts.CallExpression, env: ReadonlyMap<string, IrType>) => IrType | undefined;
+//# sourceMappingURL=inference-initializers-call.d.ts.map

package/dist/ir/type-system/inference-initializers-call.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-initializers-call.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-initializers-call.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAc9D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kCAAkC,GAC7C,QAAQ,eAAe,EACvB,UAAU,OAAO,KAChB,MAAM,GAAG,SA0CX,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,oCAAoC,GAC/C,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC/B,MAAM,GAAG,SAgNX,CAAC"}