@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/inference-member-lookup.js

@@ -0,0 +1,567 @@
+/**
+ * Member Type Lookup — resolveMemberTypeNoDiag, typeOfMember
+ *
+ * Contains member lookup and resolution logic:
+ * - resolveMemberTypeNoDiag: internal member lookup without diagnostics
+ * - typeOfMember: public member type query with diagnostics
+ *
+ * DAG position: depends on inference-utilities,
+ *               type-system-state, type-system-relations, type-system-call-resolution
+ */
+import * as ts from "typescript";
+import { substituteIrType as irSubstitute } from "../types/ir-substitution.js";
+import { unknownType } from "./types.js";
+import { emitDiagnostic, normalizeToNominal, isNullishPrimitive, makeMemberCacheKey, } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { buildFunctionTypeFromSignatureShape, buildCallableOverloadFamilyType, buildStructuralMethodFamilyType, } from "./inference-utilities.js";
+import { convertTypeNode, attachTypeIds, } from "./type-system-call-resolution.js";
+const getAmbientInterfaceLookupTarget = (receiver) => {
+    if (receiver.kind === "arrayType") {
+        return {
+            interfaceNames: ["Array", "JSArray_1$instance"],
+            typeArguments: [receiver.elementType],
+        };
+    }
+    if (receiver.kind === "tupleType") {
+        const tupleMembers = receiver.elementTypes.filter((element) => element !== undefined);
+        const onlyTupleMember = tupleMembers[0];
+        return {
+            interfaceNames: ["Array", "JSArray_1$instance"],
+            typeArguments: [
+                tupleMembers.length === 0
+                    ? { kind: "unknownType" }
+                    : tupleMembers.length === 1 && onlyTupleMember
+                        ? onlyTupleMember
+                        : { kind: "unionType", types: tupleMembers },
+            ],
+        };
+    }
+    if (receiver.kind !== "referenceType") {
+        return undefined;
+    }
+    if (receiver.name === "Array" || receiver.name === "ReadonlyArray") {
+        return {
+            interfaceNames: [receiver.name],
+            typeArguments: receiver.typeArguments ?? [],
+        };
+    }
+    if (receiver.name === "ArrayConstructor") {
+        return {
+            interfaceNames: ["ArrayConstructor"],
+            typeArguments: [],
+        };
+    }
+    return undefined;
+};
+const getTypeElementName = (name) => {
+    if (!name) {
+        return undefined;
+    }
+    if (ts.isIdentifier(name) ||
+        ts.isStringLiteral(name) ||
+        ts.isNumericLiteral(name)) {
+        return name.text;
+    }
+    return undefined;
+};
+const resolveStructuralMemberType = (members, memberName) => {
+    const matchingMembers = members.filter((member) => member.name === memberName);
+    if (matchingMembers.length === 0) {
+        return undefined;
+    }
+    const propertyMembers = matchingMembers.filter((member) => member.kind === "propertySignature");
+    if (propertyMembers.length > 0) {
+        const [property] = propertyMembers;
+        if (!property) {
+            return undefined;
+        }
+        if (!property.isOptional) {
+            return property.type;
+        }
+        return {
+            kind: "unionType",
+            types: [property.type, { kind: "primitiveType", name: "undefined" }],
+        };
+    }
+    const methodMembers = matchingMembers.filter((member) => member.kind === "methodSignature");
+    return buildStructuralMethodFamilyType(methodMembers);
+};
+const collectAmbientInterfaceDeclarations = (statements, interfaceName, sink) => {
+    for (const statement of statements) {
+        if (ts.isInterfaceDeclaration(statement) &&
+            statement.name.text === interfaceName) {
+            sink.push(statement);
+            continue;
+        }
+        if (!ts.isModuleDeclaration(statement)) {
+            continue;
+        }
+        let currentBody = statement.body;
+        while (currentBody) {
+            if (ts.isModuleBlock(currentBody)) {
+                collectAmbientInterfaceDeclarations(currentBody.statements, interfaceName, sink);
+                break;
+            }
+            if (ts.isModuleDeclaration(currentBody)) {
+                currentBody = currentBody.body;
+                continue;
+            }
+            break;
+        }
+    }
+};
+const buildAmbientTypeParameterSubstitution = (typeParameters, typeArguments) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    const entries = [];
+    for (const [index, typeParameter] of typeParameters.entries()) {
+        const typeArgument = typeArguments[index];
+        if (!typeArgument) {
+            return undefined;
+        }
+        entries.push([typeParameter.name.text, typeArgument]);
+    }
+    return new Map(entries);
+};
+const applyAmbientSubstitution = (type, substitution) => substitution && substitution.size > 0
+    ? irSubstitute(type, substitution)
+    : type;
+const convertAmbientMethodTypeParameters = (state, typeParameters, substitution) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    return typeParameters.map((typeParameter) => ({
+        kind: "typeParameter",
+        name: typeParameter.name.text,
+        constraint: typeParameter.constraint
+            ? applyAmbientSubstitution(convertTypeNode(state, typeParameter.constraint), substitution)
+            : undefined,
+        default: typeParameter.default
+            ? applyAmbientSubstitution(convertTypeNode(state, typeParameter.default), substitution)
+            : undefined,
+        variance: undefined,
+        isStructuralConstraint: !!typeParameter.constraint &&
+            ts.isTypeLiteralNode(typeParameter.constraint),
+        structuralMembers: undefined,
+    }));
+};
+const convertAmbientParameter = (state, parameter, substitution, index) => ({
+    kind: "parameter",
+    pattern: {
+        kind: "identifierPattern",
+        name: ts.isIdentifier(parameter.name)
+            ? parameter.name.text
+            : `param${index}`,
+    },
+    type: parameter.type
+        ? applyAmbientSubstitution(convertTypeNode(state, parameter.type), substitution)
+        : undefined,
+    initializer: undefined,
+    isOptional: !!parameter.questionToken || !!parameter.initializer,
+    isRest: !!parameter.dotDotDotToken,
+    passing: "value",
+});
+const flattenCallableAmbientType = (type) => {
+    if (type.kind === "functionType") {
+        return [type];
+    }
+    if (type.kind === "intersectionType") {
+        const flattened = type.types.flatMap((part) => flattenCallableAmbientType(part));
+        return flattened.length === type.types.length ? flattened : [];
+    }
+    return [];
+};
+const getArrayRuntimeElementType = (receiver) => {
+    if (receiver.kind === "arrayType") {
+        return receiver.elementType;
+    }
+    if (receiver.kind === "tupleType") {
+        const tupleMembers = receiver.elementTypes.filter((element) => element !== undefined);
+        const onlyTupleMember = tupleMembers[0];
+        if (tupleMembers.length === 0) {
+            return { kind: "unknownType" };
+        }
+        if (tupleMembers.length === 1 && onlyTupleMember) {
+            return onlyTupleMember;
+        }
+        return { kind: "unionType", types: tupleMembers };
+    }
+    return undefined;
+};
+const makeValueParameter = (name, type, isOptional = false) => ({
+    kind: "parameter",
+    pattern: {
+        kind: "identifierPattern",
+        name,
+    },
+    type,
+    initializer: undefined,
+    isOptional,
+    isRest: false,
+    passing: "value",
+});
+const STRING_IR_TYPE = { kind: "primitiveType", name: "string" };
+const INT_IR_TYPE = { kind: "primitiveType", name: "int" };
+const lookupJsStringRuntimeMember = (memberName) => {
+    if (memberName === "Length" ||
+        memberName === "Count" ||
+        memberName === "length") {
+        return INT_IR_TYPE;
+    }
+    if (memberName === "charCodeAt" || memberName === "codePointAt") {
+        return {
+            kind: "functionType",
+            parameters: [makeValueParameter("index", INT_IR_TYPE)],
+            returnType: INT_IR_TYPE,
+        };
+    }
+    if (memberName === "indexOf" || memberName === "lastIndexOf") {
+        return {
+            kind: "functionType",
+            parameters: [
+                makeValueParameter("searchString", STRING_IR_TYPE),
+                makeValueParameter("position", INT_IR_TYPE, true),
+            ],
+            returnType: INT_IR_TYPE,
+        };
+    }
+    if (memberName === "search" || memberName === "localeCompare") {
+        return {
+            kind: "functionType",
+            parameters: [makeValueParameter("value", STRING_IR_TYPE)],
+            returnType: INT_IR_TYPE,
+        };
+    }
+    return undefined;
+};
+const lookupJsArrayRuntimeMember = (state, receiver, memberName) => {
+    const elementType = getArrayRuntimeElementType(receiver);
+    if (!elementType) {
+        return undefined;
+    }
+    const runtimeTypeId = state.unifiedCatalog.resolveClrName("Tsonic.Runtime.JSArray`1") ??
+        state.unifiedCatalog.resolveTsName("JSArray_1");
+    if (!runtimeTypeId) {
+        return undefined;
+    }
+    const runtimeMember = state.unifiedCatalog.getMember(runtimeTypeId, memberName);
+    if (!runtimeMember) {
+        return undefined;
+    }
+    const typeParameters = state.unifiedCatalog.getTypeParameters(runtimeTypeId);
+    const substitution = typeParameters.length === 0
+        ? undefined
+        : new Map(typeParameters.map((typeParameter, index) => [
+            typeParameter.name,
+            index === 0 ? elementType : { kind: "unknownType" },
+        ]));
+    const memberType = runtimeMember.type;
+    if (memberType) {
+        return attachTypeIds(state, substitution ? irSubstitute(memberType, substitution) : memberType);
+    }
+    const signatures = runtimeMember.signatures ?? [];
+    if (signatures.length === 0) {
+        return undefined;
+    }
+    const overloadFamily = buildCallableOverloadFamilyType(signatures.map((signature) => buildFunctionTypeFromSignatureShape(signature.parameters.map((parameter) => ({
+        name: parameter.name,
+        type: substitution && substitution.size > 0
+            ? irSubstitute(parameter.type, substitution)
+            : parameter.type,
+        isOptional: parameter.isOptional,
+        isRest: parameter.isRest,
+        mode: parameter.mode,
+    })), substitution && substitution.size > 0
+        ? irSubstitute(signature.returnType, substitution)
+        : signature.returnType, signature.typeParameters.map((typeParameter) => ({
+        kind: "typeParameter",
+        name: typeParameter.name,
+        constraint: typeParameter.constraint
+            ? substitution && substitution.size > 0
+                ? irSubstitute(typeParameter.constraint, substitution)
+                : typeParameter.constraint
+            : undefined,
+        default: typeParameter.defaultType
+            ? substitution && substitution.size > 0
+                ? irSubstitute(typeParameter.defaultType, substitution)
+                : typeParameter.defaultType
+            : undefined,
+    })))));
+    return attachTypeIds(state, overloadFamily);
+};
+const lookupAmbientInterfaceMember = (state, receiver, memberName) => {
+    const target = getAmbientInterfaceLookupTarget(receiver);
+    if (!target) {
+        return undefined;
+    }
+    const propertyResults = [];
+    const methodResults = [];
+    const inheritedResults = [];
+    for (const sourceFile of state.sourceFilesByPath.values()) {
+        const declarations = [];
+        for (const interfaceName of target.interfaceNames) {
+            collectAmbientInterfaceDeclarations(sourceFile.statements, interfaceName, declarations);
+        }
+        for (const statement of declarations) {
+            const substitution = buildAmbientTypeParameterSubstitution(statement.typeParameters, target.typeArguments);
+            let matchedDirectMember = false;
+            for (const member of statement.members) {
+                if (getTypeElementName(member.name) !== memberName) {
+                    continue;
+                }
+                matchedDirectMember = true;
+                if (ts.isPropertySignature(member)) {
+                    const propertyType = member.type
+                        ? applyAmbientSubstitution(convertTypeNode(state, member.type), substitution)
+                        : unknownType;
+                    propertyResults.push(member.questionToken
+                        ? {
+                            kind: "unionType",
+                            types: [
+                                propertyType,
+                                { kind: "primitiveType", name: "undefined" },
+                            ],
+                        }
+                        : propertyType);
+                    continue;
+                }
+                if (!ts.isMethodSignature(member)) {
+                    continue;
+                }
+                const returnType = member.type
+                    ? ts.isTypePredicateNode(member.type)
+                        ? { kind: "primitiveType", name: "boolean" }
+                        : applyAmbientSubstitution(convertTypeNode(state, member.type), substitution)
+                    : undefined;
+                methodResults.push({
+                    kind: "methodSignature",
+                    name: memberName,
+                    typeParameters: convertAmbientMethodTypeParameters(state, member.typeParameters, substitution),
+                    parameters: member.parameters.map((parameter, index) => convertAmbientParameter(state, parameter, substitution, index)),
+                    returnType,
+                });
+            }
+            if (matchedDirectMember) {
+                continue;
+            }
+            const extendsClause = statement.heritageClauses?.find((clause) => clause.token === ts.SyntaxKind.ExtendsKeyword);
+            for (const heritageType of extendsClause?.types ?? []) {
+                const inheritedType = applyAmbientSubstitution(convertTypeNode(state, heritageType), substitution);
+                const inheritedMember = resolveMemberTypeNoDiag(state, inheritedType, memberName);
+                if (inheritedMember) {
+                    inheritedResults.push(inheritedMember);
+                }
+            }
+        }
+    }
+    if (propertyResults.length > 0) {
+        const [only] = propertyResults;
+        if (propertyResults.length === 1 && only) {
+            return attachTypeIds(state, only);
+        }
+        if (only &&
+            propertyResults.every((propertyType) => typesEqual(propertyType, only))) {
+            return attachTypeIds(state, only);
+        }
+        return undefined;
+    }
+    const callableResults = [];
+    const directMethodFamily = buildStructuralMethodFamilyType(methodResults);
+    if (directMethodFamily) {
+        callableResults.push(...flattenCallableAmbientType(directMethodFamily));
+    }
+    for (const inheritedResult of inheritedResults) {
+        callableResults.push(...flattenCallableAmbientType(inheritedResult));
+    }
+    if (callableResults.length > 0) {
+        const [only] = callableResults;
+        const methodFamily = callableResults.length === 1 && only
+            ? only
+            : buildCallableOverloadFamilyType(callableResults);
+        return methodFamily ? attachTypeIds(state, methodFamily) : undefined;
+    }
+    const [onlyInherited] = inheritedResults;
+    if (inheritedResults.length === 1 && onlyInherited) {
+        return attachTypeIds(state, onlyInherited);
+    }
+    if (onlyInherited &&
+        inheritedResults.every((inheritedType) => typesEqual(inheritedType, onlyInherited))) {
+        return attachTypeIds(state, onlyInherited);
+    }
+    return undefined;
+};
+export const resolveMemberTypeNoDiag = (state, receiver, memberName) => {
+    // Built-in dictionary pseudo-members used by TS-side ergonomics.
+    // Record<K, V> lowers to dictionaryType, and callers often use:
+    // - dict.Keys[i]
+    // - dict.Values[i]
+    // - dict.Count / dict.Length
+    //
+    // Resolve these deterministically at TypeSystem level so downstream passes
+    // (numeric proof, element access typing) don't receive unknownType poison.
+    if (receiver.kind === "dictionaryType") {
+        if (memberName === "Keys") {
+            return {
+                kind: "arrayType",
+                elementType: receiver.keyType,
+            };
+        }
+        if (memberName === "Values") {
+            return {
+                kind: "arrayType",
+                elementType: receiver.valueType,
+            };
+        }
+        if (memberName === "Count" || memberName === "Length") {
+            return { kind: "primitiveType", name: "int" };
+        }
+        return receiver.valueType;
+    }
+    // Built-in array pseudo-members.
+    // Arrays are structural IR types and may not resolve via nominal lookup.
+    //
+    // Support both CLR-style `Length`/`Count` and TS/JS-style `length`.
+    // The latter is required for JS surfaces even when the underlying runtime
+    // value is an explicit CLR array (for example `Encoding.UTF8.GetBytes(...).length`).
+    if (receiver.kind === "arrayType") {
+        if (memberName === "Length" ||
+            memberName === "Count" ||
+            memberName === "length") {
+            return { kind: "primitiveType", name: "int" };
+        }
+    }
+    const jsArrayRuntimeMember = lookupJsArrayRuntimeMember(state, receiver, memberName);
+    if (jsArrayRuntimeMember) {
+        return jsArrayRuntimeMember;
+    }
+    // Tuples behave like fixed-size arrays for length access.
+    if (receiver.kind === "tupleType") {
+        if (memberName === "Length" ||
+            memberName === "Count" ||
+            memberName === "length") {
+            return { kind: "primitiveType", name: "int" };
+        }
+    }
+    // JavaScript strings expose `.length` as an exact integer at runtime.
+    // Preserve that exactness for numeric proof and source-port ergonomics.
+    if (receiver.kind === "primitiveType" && receiver.name === "string") {
+        const runtimeMember = lookupJsStringRuntimeMember(memberName);
+        if (runtimeMember) {
+            return runtimeMember;
+        }
+    }
+    if (receiver.kind === "referenceType" &&
+        receiver.structuralMembers &&
+        receiver.structuralMembers.length > 0) {
+        const structuralMember = resolveStructuralMemberType(receiver.structuralMembers, memberName);
+        if (structuralMember) {
+            return structuralMember;
+        }
+    }
+    const ambientMember = lookupAmbientInterfaceMember(state, receiver, memberName);
+    if (ambientMember) {
+        return ambientMember;
+    }
+    // 1. Normalize receiver to nominal form
+    const normalized = normalizeToNominal(state, receiver);
+    if (!normalized) {
+        // Handle structural types (objectType)
+        if (receiver.kind === "objectType") {
+            return resolveStructuralMemberType(receiver.members, memberName);
+        }
+        if (receiver.kind === "referenceType" &&
+            receiver.structuralMembers &&
+            receiver.structuralMembers.length > 0) {
+            return resolveStructuralMemberType(receiver.structuralMembers, memberName);
+        }
+        return undefined;
+    }
+    // 2. Check cache
+    const cacheKey = makeMemberCacheKey(normalized.typeId.stableId, memberName, normalized.typeArgs);
+    const cached = state.memberDeclaredTypeCache.get(cacheKey);
+    if (cached)
+        return cached;
+    // 3. Use NominalEnv to find declaring type + substitution (Phase 6: TypeId-based)
+    const lookupResult = state.nominalEnv.findMemberDeclaringType(normalized.typeId, normalized.typeArgs, memberName);
+    // 4a. If NominalEnv found the member, get its declared type from Universe
+    if (lookupResult) {
+        const memberEntry = state.unifiedCatalog.getMember(lookupResult.declaringTypeId, memberName);
+        // Property/field member: return its declared type.
+        const memberType = memberEntry?.type;
+        if (memberType) {
+            const result = attachTypeIds(state, irSubstitute(memberType, lookupResult.substitution));
+            state.memberDeclaredTypeCache.set(cacheKey, result);
+            return result;
+        }
+        // Method member: materialize a callable function type from the first signature.
+        // Call resolution (resolveCall) uses SignatureId for overload selection; this
+        // type is used only to keep member access expressions deterministic.
+        const signatures = memberEntry?.signatures ?? [];
+        if (signatures.length > 0) {
+            const overloadFamily = buildCallableOverloadFamilyType(signatures.map((signature) => buildFunctionTypeFromSignatureShape(signature.parameters.map((parameter) => ({
+                name: parameter.name,
+                type: parameter.type,
+                isOptional: parameter.isOptional,
+                isRest: parameter.isRest,
+                mode: parameter.mode,
+            })), signature.returnType, signature.typeParameters.map((typeParameter) => ({
+                kind: "typeParameter",
+                name: typeParameter.name,
+                constraint: typeParameter.constraint
+                    ? irSubstitute(typeParameter.constraint, lookupResult.substitution)
+                    : undefined,
+                default: typeParameter.defaultType
+                    ? irSubstitute(typeParameter.defaultType, lookupResult.substitution)
+                    : undefined,
+            })))));
+            const result = attachTypeIds(state, irSubstitute(overloadFamily, lookupResult.substitution));
+            state.memberDeclaredTypeCache.set(cacheKey, result);
+            return result;
+        }
+    }
+    return undefined;
+};
+export const typeOfMember = (state, receiver, member, site) => {
+    const memberName = member.kind === "byName" ? member.name : "unknown"; // MemberId.name not defined yet
+    // Common nullish unions (T | undefined | null) should behave like T for member lookup.
+    // This preserves deterministic typing for patterns like:
+    //   const url = request.url; if (!url) return; url.absolutePath
+    const effectiveReceiver = receiver.kind === "unionType"
+        ? (() => {
+            const nonNullish = receiver.types.filter((t) => t && !isNullishPrimitive(t));
+            return nonNullish.length === 1 && nonNullish[0]
+                ? nonNullish[0]
+                : receiver;
+        })()
+        : receiver;
+    if (effectiveReceiver.kind === "unionType") {
+        const nonNullish = effectiveReceiver.types.filter((t) => t && !isNullishPrimitive(t));
+        if (nonNullish.length > 1) {
+            let resolved;
+            for (const part of nonNullish) {
+                const partType = resolveMemberTypeNoDiag(state, part, memberName);
+                if (!partType) {
+                    emitDiagnostic(state, "TSN5203", `Member '${memberName}' not found`, site);
+                    return unknownType;
+                }
+                if (!resolved) {
+                    resolved = partType;
+                    continue;
+                }
+                if (!typesEqual(resolved, partType)) {
+                    emitDiagnostic(state, "TSN5203", `Member '${memberName}' has incompatible types across union constituents`, site);
+                    return unknownType;
+                }
+            }
+            if (resolved)
+                return resolved;
+        }
+    }
+    const resolved = resolveMemberTypeNoDiag(state, effectiveReceiver, memberName);
+    if (resolved)
+        return resolved;
+    emitDiagnostic(state, "TSN5203", `Member '${memberName}' not found`, site);
+    return unknownType;
+};
+//# sourceMappingURL=inference-member-lookup.js.map

package/dist/ir/type-system/inference-member-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-lookup.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-lookup.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AASH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,gBAAgB,IAAI,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,+BAA+B,GAChC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,eAAe,EACf,aAAa,GACd,MAAM,kCAAkC,CAAC;AAE1C,MAAM,+BAA+B,GAAG,CACtC,QAAgB,EAMJ,EAAE;IACd,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO;YACL,cAAc,EAAE,CAAC,OAAO,EAAE,oBAAoB,CAAC;YAC/C,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAC/C,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CACtD,CAAC;QACF,MAAM,eAAe,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO;YACL,cAAc,EAAE,CAAC,OAAO,EAAE,oBAAoB,CAAC;YAC/C,aAAa,EAAE;gBACb,YAAY,CAAC,MAAM,KAAK,CAAC;oBACvB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE;oBACzB,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe;wBAC5C,CAAC,CAAC,eAAe;wBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE;aACjD;SACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnE,OAAO;YACL,cAAc,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa,IAAI,EAAE;SAC5C,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACzC,OAAO;YACL,cAAc,EAAE,CAAC,kBAAkB,CAAC;YACpC,aAAa,EAAE,EAAE;SAClB,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAiC,EACb,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,OAAqC,EACrC,UAAkB,EACE,EAAE;IACtB,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CACpC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CACvC,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAC5C,CACE,MAAM,EAC+D,EAAE,CACvE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC;QACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;YACzB,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,CAAC;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAC1C,CACE,MAAM,EAC6D,EAAE,CACrE,MAAM,CAAC,IAAI,KAAK,iBAAiB,CACpC,CAAC;IACF,OAAO,+BAA+B,CAAC,aAAa,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,UAAmC,EACnC,aAAqB,EACrB,IAA+B,EACzB,EAAE;IACR,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IACE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EACrC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QAED,IAAI,WAAW,GAA8B,SAAS,CAAC,IAAI,CAAC;QAC5D,OAAO,WAAW,EAAE,CAAC;YACnB,IAAI,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;gBAClC,mCAAmC,CACjC,WAAW,CAAC,UAAU,EACtB,aAAa,EACb,IAAI,CACL,CAAC;gBACF,MAAM;YACR,CAAC;YAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;gBACxC,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC;gBAC/B,SAAS;YACX,CAAC;YAED,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,cAAkE,EAClE,aAAgC,EACS,EAAE;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9D,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,YAAqD,EAC7C,EAAE,CACV,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;IACnC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC;IAClC,CAAC,CAAC,IAAI,CAAC;AAEX,MAAM,kCAAkC,GAAG,CACzC,KAAsB,EACtB,cAAkE,EAClE,YAAqD,EACb,EAAE;IAC1C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI;QAC7B,UAAU,EAAE,aAAa,CAAC,UAAU;YAClC,CAAC,CAAC,wBAAwB,CACtB,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAChD,YAAY,CACb;YACH,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,aAAa,CAAC,OAAO;YAC5B,CAAC,CAAC,wBAAwB,CACtB,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,EAC7C,YAAY,CACb;YACH,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,SAAS;QACnB,sBAAsB,EACpB,CAAC,CAAC,aAAa,CAAC,UAAU;YAC1B,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,UAAU,CAAC;QAChD,iBAAiB,EAAE,SAAS;KAC7B,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,KAAsB,EACtB,SAAkC,EAClC,YAAqD,EACrD,KAAa,EACA,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE;QACP,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;YACnC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;YACrB,CAAC,CAAC,QAAQ,KAAK,EAAE;KACpB;IACD,IAAI,EAAE,SAAS,CAAC,IAAI;QAClB,CAAC,CAAC,wBAAwB,CACtB,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,EACtC,YAAY,CACb;QACH,CAAC,CAAC,SAAS;IACb,WAAW,EAAE,SAAS;IACtB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW;IAChE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc;IAClC,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,CACjC,IAAY,EACe,EAAE;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5C,0BAA0B,CAAC,IAAI,CAAC,CACjC,CAAC;QACF,OAAO,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,QAAgB,EAAsB,EAAE;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC9B,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAC/C,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CACtD,CAAC;QACF,MAAM,eAAe,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;YACjD,OAAO,eAAe,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IACpD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,IAAY,EACZ,aAAsB,KAAK,EACd,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE;QACP,IAAI,EAAE,mBAAmB;QACzB,IAAI;KACL;IACD,IAAI;IACJ,WAAW,EAAE,SAAS;IACtB,UAAU;IACV,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACzE,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEnE,MAAM,2BAA2B,GAAG,CAClC,UAAkB,EACE,EAAE;IACtB,IACE,UAAU,KAAK,QAAQ;QACvB,UAAU,KAAK,OAAO;QACtB,UAAU,KAAK,QAAQ,EACvB,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,UAAU,KAAK,YAAY,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QAChE,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YACtD,UAAU,EAAE,WAAW;SACxB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE;gBACV,kBAAkB,CAAC,cAAc,EAAE,cAAc,CAAC;gBAClD,kBAAkB,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC;aAClD;YACD,UAAU,EAAE,WAAW;SACxB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,eAAe,EAAE,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YACzD,UAAU,EAAE,WAAW;SACxB,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,KAAsB,EACtB,QAAgB,EAChB,UAAkB,EACE,EAAE;IACtB,MAAM,WAAW,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GACjB,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,0BAA0B,CAAC;QAC/D,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAClD,aAAa,EACb,UAAU,CACX,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7E,MAAM,YAAY,GAChB,cAAc,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,GAAG,CACL,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3C,aAAa,CAAC,IAAI;YAClB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,aAAa,EAAa;SAChE,CAAC,CACH,CAAC;IAER,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC;IACtC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,aAAa,CAClB,KAAK,EACL,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,UAAU,CACnE,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,aAAa,CAAC,UAAU,IAAI,EAAE,CAAC;IAClD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,mCAAmC,CACjC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EACF,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;YACnC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC,IAAI;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,IAAI,EAAE,SAAS,CAAC,IAAI;KACrB,CAAC,CAAC,EACH,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;QACnC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,EAAE,YAAY,CAAC;QAClD,CAAC,CAAC,SAAS,CAAC,UAAU,EACxB,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,aAAa,CAAC,IAAI;QACxB,UAAU,EAAE,aAAa,CAAC,UAAU;YAClC,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,UAAU,EAAE,YAAY,CAAC;gBACtD,CAAC,CAAC,aAAa,CAAC,UAAU;YAC5B,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,aAAa,CAAC,WAAW;YAChC,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;gBACrC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,WAAW,EAAE,YAAY,CAAC;gBACvD,CAAC,CAAC,aAAa,CAAC,WAAW;YAC7B,CAAC,CAAC,SAAS;KACd,CAAC,CAAC,CACJ,CACF,CACF,CAAC;IAEF,OAAO,aAAa,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,KAAsB,EACtB,QAAgB,EAChB,UAAkB,EACE,EAAE;IACtB,MAAM,MAAM,GAAG,+BAA+B,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,aAAa,GAGb,EAAE,CAAC;IACT,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1D,MAAM,YAAY,GAA8B,EAAE,CAAC;QACnD,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAClD,mCAAmC,CACjC,UAAU,CAAC,UAAU,EACrB,aAAa,EACb,YAAY,CACb,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;YACrC,MAAM,YAAY,GAAG,qCAAqC,CACxD,SAAS,CAAC,cAAc,EACxB,MAAM,CAAC,aAAa,CACrB,CAAC;YACF,IAAI,mBAAmB,GAAG,KAAK,CAAC;YAEhC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACvC,IAAI,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;oBACnD,SAAS;gBACX,CAAC;gBACD,mBAAmB,GAAG,IAAI,CAAC;gBAE3B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI;wBAC9B,CAAC,CAAC,wBAAwB,CACtB,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EACnC,YAAY,CACb;wBACH,CAAC,CAAC,WAAW,CAAC;oBAChB,eAAe,CAAC,IAAI,CAClB,MAAM,CAAC,aAAa;wBAClB,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL,YAAY;gCACZ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;6BAC7C;yBACF;wBACH,CAAC,CAAC,YAAY,CACjB,CAAC;oBACF,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAClC,SAAS;gBACX,CAAC;gBAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI;oBAC5B,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;wBACnC,CAAC,CAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY;wBACvD,CAAC,CAAC,wBAAwB,CACtB,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EACnC,YAAY,CACb;oBACL,CAAC,CAAC,SAAS,CAAC;gBAEd,aAAa,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,UAAU;oBAChB,cAAc,EAAE,kCAAkC,CAChD,KAAK,EACL,MAAM,CAAC,cAAc,EACrB,YAAY,CACb;oBACD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACrD,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,CAC/D;oBACD,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;YAED,IAAI,mBAAmB,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,MAAM,aAAa,GAAG,SAAS,CAAC,eAAe,EAAE,IAAI,CACnD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAC1D,CAAC;YACF,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;gBACtD,MAAM,aAAa,GAAG,wBAAwB,CAC5C,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,EACpC,YAAY,CACb,CAAC;gBACF,MAAM,eAAe,GAAG,uBAAuB,CAC7C,KAAK,EACL,aAAa,EACb,UAAU,CACX,CAAC;gBACF,IAAI,eAAe,EAAE,CAAC;oBACpB,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC;QAC/B,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;YACzC,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QAED,IACE,IAAI;YACJ,eAAe,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EACvE,CAAC;YACD,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAqB,EAAE,CAAC;IAC7C,MAAM,kBAAkB,GAAG,+BAA+B,CAAC,aAAa,CAAC,CAAC;IAC1E,IAAI,kBAAkB,EAAE,CAAC;QACvB,eAAe,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,KAAK,MAAM,eAAe,IAAI,gBAAgB,EAAE,CAAC;QAC/C,eAAe,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,eAAe,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC;QAC/B,MAAM,YAAY,GAChB,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI;YAClC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,+BAA+B,CAAC,eAAe,CAAC,CAAC;QACvD,OAAO,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,GAAG,gBAAgB,CAAC;IACzC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC7C,CAAC;IAED,IACE,aAAa;QACb,gBAAgB,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,EAAE,CACvC,UAAU,CAAC,aAAa,EAAE,aAAa,CAAC,CACzC,EACD,CAAC;QACD,OAAO,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAsB,EACtB,QAAgB,EAChB,UAAkB,EACE,EAAE;IACtB,iEAAiE;IACjE,gEAAgE;IAChE,iBAAiB;IACjB,mBAAmB;IACnB,6BAA6B;IAC7B,EAAE;IACF,2EAA2E;IAC3E,2EAA2E;IAC3E,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,QAAQ,CAAC,OAAO;aAC9B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,QAAQ,CAAC,SAAS;aAChC,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QAED,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC5B,CAAC;IAED,iCAAiC;IACjC,yEAAyE;IACzE,EAAE;IACF,oEAAoE;IACpE,0EAA0E;IAC1E,qFAAqF;IACrF,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,UAAU,KAAK,QAAQ;YACvB,UAAU,KAAK,OAAO;YACtB,UAAU,KAAK,QAAQ,EACvB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,oBAAoB,GAAG,0BAA0B,CACrD,KAAK,EACL,QAAQ,EACR,UAAU,CACX,CAAC;IACF,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,0DAA0D;IAC1D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IACE,UAAU,KAAK,QAAQ;YACvB,UAAU,KAAK,OAAO;YACtB,UAAU,KAAK,QAAQ,EACvB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpE,MAAM,aAAa,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;QAC9D,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,QAAQ,CAAC,iBAAiB;QAC1B,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACrC,CAAC;QACD,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,QAAQ,CAAC,iBAAiB,EAC1B,UAAU,CACX,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,4BAA4B,CAChD,KAAK,EACL,QAAQ,EACR,UAAU,CACX,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,wCAAwC;IACxC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,uCAAuC;QACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACnE,CAAC;QAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,QAAQ,CAAC,iBAAiB;YAC1B,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACrC,CAAC;YACD,OAAO,2BAA2B,CAChC,QAAQ,CAAC,iBAAiB,EAC1B,UAAU,CACX,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iBAAiB;IACjB,MAAM,QAAQ,GAAG,kBAAkB,CACjC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAC1B,UAAU,EACV,UAAU,CAAC,QAAQ,CACpB,CAAC;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,kFAAkF;IAClF,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,uBAAuB,CAC3D,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,UAAU,CACX,CAAC;IAEF,0EAA0E;IAC1E,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,WAAW,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAChD,YAAY,CAAC,eAAe,EAC5B,UAAU,CACX,CAAC;QAEF,mDAAmD;QACnD,MAAM,UAAU,GAAG,WAAW,EAAE,IAAI,CAAC;QACrC,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,aAAa,CAC1B,KAAK,EACL,YAAY,CAAC,UAAU,EAAE,YAAY,CAAC,YAAY,CAAC,CACpD,CAAC;YACF,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,gFAAgF;QAChF,8EAA8E;QAC9E,qEAAqE;QACrE,MAAM,UAAU,GAAG,WAAW,EAAE,UAAU,IAAI,EAAE,CAAC;QACjD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,cAAc,GAAG,+BAA+B,CACpD,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,mCAAmC,CACjC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBACvC,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,IAAI,EAAE,SAAS,CAAC,IAAI;aACrB,CAAC,CAAC,EACH,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,eAAwB;gBAC9B,IAAI,EAAE,aAAa,CAAC,IAAI;gBACxB,UAAU,EAAE,aAAa,CAAC,UAAU;oBAClC,CAAC,CAAC,YAAY,CACV,aAAa,CAAC,UAAU,EACxB,YAAY,CAAC,YAAY,CAC1B;oBACH,CAAC,CAAC,SAAS;gBACb,OAAO,EAAE,aAAa,CAAC,WAAW;oBAChC,CAAC,CAAC,YAAY,CACV,aAAa,CAAC,WAAW,EACzB,YAAY,CAAC,YAAY,CAC1B;oBACH,CAAC,CAAC,SAAS;aACd,CAAC,CAAC,CACJ,CACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,aAAa,CAC1B,KAAK,EACL,YAAY,CAAC,cAAc,EAAE,YAAY,CAAC,YAAY,CAAC,CACxD,CAAC;YACF,KAAK,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAsB,EACtB,QAAgB,EAChB,MAAiB,EACjB,IAAW,EACH,EAAE;IACV,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,gCAAgC;IAEvG,uFAAuF;IACvF,yDAAyD;IACzD,gEAAgE;IAChE,MAAM,iBAAiB,GACrB,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC3B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CACnC,CAAC;YACF,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;gBAC7C,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;gBACf,CAAC,CAAC,QAAQ,CAAC;QACf,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,QAAQ,CAAC;IAEf,IAAI,iBAAiB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CACnC,CAAC;QAEF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,QAA4B,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;gBAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,cAAc,CACZ,KAAK,EACL,SAAS,EACT,WAAW,UAAU,aAAa,EAClC,IAAI,CACL,CAAC;oBACF,OAAO,WAAW,CAAC;gBACrB,CAAC;gBAED,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,QAAQ,GAAG,QAAQ,CAAC;oBACpB,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACpC,cAAc,CACZ,KAAK,EACL,SAAS,EACT,WAAW,UAAU,oDAAoD,EACzE,IAAI,CACL,CAAC;oBACF,OAAO,WAAW,CAAC;gBACrB,CAAC;YACH,CAAC;YAED,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,uBAAuB,CACtC,KAAK,EACL,iBAAiB,EACjB,UAAU,CACX,CAAC;IACF,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,UAAU,aAAa,EAAE,IAAI,CAAC,CAAC;IAC3E,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

package/dist/ir/type-system/inference-member-resolution.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Member Type Resolution — Facade
+ *
+ * Re-exports member lookup and resolution logic from sub-modules:
+ * - inference-member-lookup: resolveMemberTypeNoDiag, typeOfMember
+ * - inference-member-id: parseIndexerKeyClrType, getIndexerInfo, typeOfMemberId
+ */
+export { typeOfMember } from "./inference-member-lookup.js";
+export { parseIndexerKeyClrType, getIndexerInfo, typeOfMemberId, } from "./inference-member-id.js";
+//# sourceMappingURL=inference-member-resolution.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-resolution.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EACL,sBAAsB,EACtB,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC"}

package/dist/ir/type-system/inference-member-resolution.js

@@ -0,0 +1,10 @@
+/**
+ * Member Type Resolution — Facade
+ *
+ * Re-exports member lookup and resolution logic from sub-modules:
+ * - inference-member-lookup: resolveMemberTypeNoDiag, typeOfMember
+ * - inference-member-id: parseIndexerKeyClrType, getIndexerInfo, typeOfMemberId
+ */
+export { typeOfMember } from "./inference-member-lookup.js";
+export { parseIndexerKeyClrType, getIndexerInfo, typeOfMemberId, } from "./inference-member-id.js";
+//# sourceMappingURL=inference-member-resolution.js.map

package/dist/ir/type-system/inference-member-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-resolution.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EACL,sBAAsB,EACtB,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { IrType } from "../types/index.js";
+type TypeRelations = {
+    readonly typesEqual: (left: IrType, right: IrType) => boolean;
+    readonly isAssignableTo: (source: IrType, target: IrType) => boolean;
+};
+export declare const areEquivalentInferenceTypes: (relations: TypeRelations, left: IrType, right: IrType) => boolean;
+export declare const choosePreferredEquivalentInferenceType: (relations: TypeRelations, existing: IrType, next: IrType) => IrType | undefined;
+export {};
+//# sourceMappingURL=inference-type-preference.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference-type-preference.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-type-preference.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAqB,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEnE,KAAK,aAAa,GAAG;IACnB,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;IAC9D,QAAQ,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;CACtE,CAAC;AAkHF,eAAO,MAAM,2BAA2B,GACtC,WAAW,aAAa,EACxB,MAAM,MAAM,EACZ,OAAO,MAAM,KACZ,OAE+E,CAAC;AAEnF,eAAO,MAAM,sCAAsC,GACjD,WAAW,aAAa,EACxB,UAAU,MAAM,EAChB,MAAM,MAAM,KACX,MAAM,GAAG,SASX,CAAC"}