@tsonic/frontend 0.0.73 → 0.0.75

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

@@ -0,0 +1,402 @@
+/**
+ * Member ID Resolution — typeOfMemberId, getIndexerInfo, parseIndexerKeyClrType
+ *
+ * Contains member lookup by opaque handle and indexer resolution:
+ * - parseIndexerKeyClrType: extract indexer key CLR type from stable ID
+ * - getIndexerInfo: resolve indexer property information
+ * - typeOfMemberId: member type by opaque handle
+ *
+ * DAG position: depends on inference-utilities, inference-initializers,
+ *               type-system-state, type-system-call-resolution
+ */
+import * as ts from "typescript";
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { unknownType } from "./types.js";
+import { normalizeToNominal, resolveTypeIdByName, } from "./type-system-state.js";
+import { attachTypeIds, convertTypeNode, } from "./type-system-call-resolution.js";
+import { tryResolveDeterministicPropertyName } from "../syntax/property-names.js";
+import { buildFunctionTypeFromSignatureShape, buildCallableOverloadFamilyType, hasStaticModifier, } from "./inference-utilities.js";
+import { tryInferTypeFromInitializer } from "./inference-initializers.js";
+const convertMethodTypeParameters = (state, typeParameters, applySubstitution) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    return typeParameters.map((typeParameter) => ({
+        kind: "typeParameter",
+        name: typeParameter.name.text,
+        constraint: typeParameter.constraint
+            ? applySubstitution(convertTypeNode(state, typeParameter.constraint))
+            : undefined,
+        default: typeParameter.default
+            ? applySubstitution(convertTypeNode(state, typeParameter.default))
+            : undefined,
+        variance: undefined,
+        isStructuralConstraint: !!typeParameter.constraint &&
+            ts.isTypeLiteralNode(typeParameter.constraint),
+        structuralMembers: undefined,
+    }));
+};
+export const parseIndexerKeyClrType = (stableId) => {
+    const memberSep = stableId.indexOf("::");
+    if (memberSep < 0)
+        return undefined;
+    const bracketStart = stableId.indexOf("[", memberSep);
+    if (bracketStart < 0)
+        return undefined;
+    let depth = 0;
+    let bracketEnd = -1;
+    for (let i = bracketStart; i < stableId.length; i++) {
+        const ch = stableId[i];
+        if (ch === "[")
+            depth++;
+        if (ch === "]") {
+            depth--;
+            if (depth === 0) {
+                bracketEnd = i;
+                break;
+            }
+        }
+    }
+    if (bracketEnd < 0)
+        return undefined;
+    const rawParams = stableId.slice(bracketStart + 1, bracketEnd);
+    // Split on top-level commas to support nested generic types.
+    const splitTopLevel = (value) => {
+        const parts = [];
+        let start = 0;
+        let bracketDepth = 0;
+        for (let i = 0; i < value.length; i++) {
+            const c = value[i];
+            if (c === "[")
+                bracketDepth++;
+            else if (c === "]" && bracketDepth > 0)
+                bracketDepth--;
+            else if (c === "," && bracketDepth === 0) {
+                parts.push(value.slice(start, i).trim());
+                start = i + 1;
+            }
+        }
+        parts.push(value.slice(start).trim());
+        return parts.filter((p) => p.length > 0);
+    };
+    const params = splitTopLevel(rawParams);
+    if (params.length !== 1)
+        return undefined;
+    const first = params[0];
+    if (!first)
+        return undefined;
+    // Strip assembly qualification (", Assembly, Version=..., ...") if present.
+    const withoutAsm = first.includes(",")
+        ? (first.split(",")[0] ?? first)
+        : first;
+    return withoutAsm.trim();
+};
+export const getIndexerInfo = (state, receiver, _site) => {
+    const normalized = normalizeToNominal(state, receiver);
+    if (!normalized)
+        return undefined;
+    // Walk inheritance chain to find the first indexer property.
+    const chain = state.nominalEnv.getInheritanceChain(normalized.typeId);
+    for (const typeId of chain) {
+        const members = state.unifiedCatalog.getMembers(typeId);
+        const indexers = Array.from(members.values()).filter((m) => m.memberKind === "property" && m.isIndexer);
+        if (indexers.length === 0)
+            continue;
+        if (indexers.length > 1)
+            return undefined;
+        const indexer = indexers[0];
+        if (!indexer?.type)
+            return undefined;
+        const keyClrType = parseIndexerKeyClrType(indexer.stableId);
+        if (!keyClrType)
+            return undefined;
+        const inst = state.nominalEnv.getInstantiation(normalized.typeId, normalized.typeArgs, typeId);
+        const valueType = inst && inst.size > 0
+            ? irSubstitute(indexer.type, inst)
+            : indexer.type;
+        return { keyClrType, valueType };
+    }
+    return undefined;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// typeOfMemberId — Get type of member by handle
+// ─────────────────────────────────────────────────────────────────────────
+export const typeOfMemberId = (state, memberId, receiverType) => {
+    const memberInfo = state.handleRegistry.getMember(memberId);
+    if (!memberInfo) {
+        return unknownType;
+    }
+    if (receiverType) {
+        const normalizedReceiver = normalizeToNominal(state, receiverType);
+        if (normalizedReceiver) {
+            const lookupResult = state.nominalEnv.findMemberDeclaringType(normalizedReceiver.typeId, normalizedReceiver.typeArgs, memberInfo.name);
+            if (lookupResult) {
+                const catalogMember = state.unifiedCatalog.getMember(lookupResult.declaringTypeId, memberInfo.name);
+                if (catalogMember?.type) {
+                    return attachTypeIds(state, irSubstitute(catalogMember.type, lookupResult.substitution));
+                }
+                const signatures = catalogMember?.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,
+                    })))));
+                    return attachTypeIds(state, irSubstitute(overloadFamily, lookupResult.substitution));
+                }
+            }
+        }
+    }
+    // Otherwise, attempt to recover type deterministically from the member declaration.
+    // This is required for namespace imports (`import * as X`) where members are
+    // function declarations / const declarations (no typeNode captured by Binding).
+    const decl = memberInfo.declNode;
+    if (decl) {
+        const normalizeDeclaringTypeName = (name) => name
+            .replace(/\$instance$/, "")
+            .replace(/^__(.+)\$views$/, "$1")
+            .replace(/_\d+$/, "")
+            .replace(/`\d+$/, "");
+        const getArrayLikeReceiverReference = (type) => {
+            if (type.kind === "arrayType") {
+                return {
+                    kind: "referenceType",
+                    name: "Array",
+                    typeArguments: [type.elementType],
+                };
+            }
+            if (type.kind === "tupleType") {
+                const tupleMembers = type.elementTypes.filter((element) => element !== undefined);
+                const onlyTupleMember = tupleMembers[0];
+                const tupleElementType = tupleMembers.length === 0
+                    ? { kind: "unknownType" }
+                    : tupleMembers.length === 1 && onlyTupleMember
+                        ? onlyTupleMember
+                        : { kind: "unionType", types: tupleMembers };
+                return {
+                    kind: "referenceType",
+                    name: "Array",
+                    typeArguments: [tupleElementType],
+                };
+            }
+            return undefined;
+        };
+        const declaringNamesCompatible = (receiverName, declaringName) => {
+            const normalizedReceiver = normalizeDeclaringTypeName(receiverName);
+            const normalizedDeclaring = normalizeDeclaringTypeName(declaringName);
+            if (normalizedReceiver === normalizedDeclaring) {
+                return true;
+            }
+            return ((normalizedReceiver === "Array" &&
+                (normalizedDeclaring === "ReadonlyArray" ||
+                    normalizedDeclaring === "ArrayLike")) ||
+                (normalizedReceiver === "ReadonlyArray" &&
+                    (normalizedDeclaring === "Array" ||
+                        normalizedDeclaring === "ArrayLike")) ||
+                (normalizedReceiver === "ArrayLike" &&
+                    (normalizedDeclaring === "Array" ||
+                        normalizedDeclaring === "ReadonlyArray")));
+        };
+        const getDeclaringTypeSubstitution = () => {
+            if (!receiverType)
+                return undefined;
+            const extractReceiverRef = (type) => {
+                if (type.kind === "referenceType")
+                    return type;
+                if (type.kind === "intersectionType") {
+                    return type.types.find((part) => part.kind === "referenceType");
+                }
+                if (type.kind === "unionType") {
+                    const nonNullish = type.types.filter((part) => !(part.kind === "primitiveType" &&
+                        (part.name === "null" || part.name === "undefined")));
+                    const onlyNonNullish = nonNullish[0];
+                    return nonNullish.length === 1 && onlyNonNullish
+                        ? extractReceiverRef(onlyNonNullish)
+                        : undefined;
+                }
+                const arrayLikeRef = getArrayLikeReceiverReference(type);
+                if (arrayLikeRef) {
+                    return arrayLikeRef;
+                }
+                return undefined;
+            };
+            const receiverRef = extractReceiverRef(receiverType);
+            if (!receiverRef?.typeArguments ||
+                receiverRef.typeArguments.length === 0) {
+                return undefined;
+            }
+            const parent = decl.parent;
+            const declaringType = ts.isInterfaceDeclaration(parent) || ts.isClassDeclaration(parent)
+                ? parent
+                : undefined;
+            if (!declaringType?.name) {
+                return undefined;
+            }
+            const normalizedReceiver = normalizeToNominal(state, receiverType);
+            if (normalizedReceiver) {
+                const declaringArity = declaringType.typeParameters?.length;
+                const declaringTypeId = resolveTypeIdByName(state, declaringType.name.text, declaringArity) ??
+                    resolveTypeIdByName(state, declaringType.name.text);
+                if (declaringTypeId) {
+                    const nominalSubstitution = state.nominalEnv.getInstantiation(normalizedReceiver.typeId, normalizedReceiver.typeArgs, declaringTypeId);
+                    if (nominalSubstitution) {
+                        return nominalSubstitution;
+                    }
+                }
+            }
+            const typeParams = declaringType.typeParameters;
+            if (!typeParams || typeParams.length === 0) {
+                return undefined;
+            }
+            if (!declaringNamesCompatible(receiverRef.name, declaringType.name.text)) {
+                return undefined;
+            }
+            if (typeParams.length !== receiverRef.typeArguments.length) {
+                return undefined;
+            }
+            const receiverTypeArguments = receiverRef.typeArguments;
+            if (!receiverTypeArguments) {
+                return undefined;
+            }
+            const entries = [];
+            for (const [index, param] of typeParams.entries()) {
+                const arg = receiverTypeArguments[index];
+                if (!arg) {
+                    return undefined;
+                }
+                entries.push([param.name.text, arg]);
+            }
+            return new Map(entries);
+        };
+        const substitution = getDeclaringTypeSubstitution();
+        const applySubstitution = (type) => substitution
+            ? irSubstitute(type, substitution)
+            : type;
+        const getMethodFamily = () => {
+            const parent = decl.parent;
+            if (ts.isSourceFile(parent) &&
+                ts.isFunctionDeclaration(decl) &&
+                decl.name) {
+                const family = parent.statements.filter((statement) => ts.isFunctionDeclaration(statement) &&
+                    statement.name?.text === decl.name?.text);
+                if (family.length === 0)
+                    return undefined;
+                const overloadSurface = family.filter((member) => !member.body);
+                return overloadSurface.length > 0 ? overloadSurface : family;
+            }
+            if ((ts.isClassDeclaration(parent) ||
+                ts.isInterfaceDeclaration(parent) ||
+                ts.isTypeLiteralNode(parent)) &&
+                (ts.isMethodDeclaration(decl) || ts.isMethodSignature(decl))) {
+                const methodName = tryResolveDeterministicPropertyName(decl.name);
+                if (!methodName)
+                    return undefined;
+                const family = parent.members.filter((member) => (ts.isMethodDeclaration(member) || ts.isMethodSignature(member)) &&
+                    tryResolveDeterministicPropertyName(member.name) === methodName &&
+                    (ts.isMethodDeclaration(member) && ts.isMethodDeclaration(decl)
+                        ? hasStaticModifier(member) === hasStaticModifier(decl)
+                        : true));
+                if (family.length === 0)
+                    return undefined;
+                const overloadSurface = family.filter((member) => ts.isMethodSignature(member) ||
+                    (ts.isMethodDeclaration(member) && !member.body));
+                return overloadSurface.length > 0 ? overloadSurface : family;
+            }
+            return undefined;
+        };
+        const methodFamily = getMethodFamily();
+        if (methodFamily && methodFamily.length > 0) {
+            const overloads = [];
+            for (const method of methodFamily) {
+                if (!method.type)
+                    return unknownType;
+                if (method.parameters.some((parameter) => parameter.type === undefined)) {
+                    return unknownType;
+                }
+                overloads.push(buildFunctionTypeFromSignatureShape(method.parameters.map((parameter, index) => ({
+                    name: ts.isIdentifier(parameter.name)
+                        ? parameter.name.text
+                        : `param${index}`,
+                    type: parameter.type
+                        ? applySubstitution(convertTypeNode(state, parameter.type))
+                        : unknownType,
+                    isOptional: !!parameter.questionToken || !!parameter.initializer,
+                    isRest: !!parameter.dotDotDotToken,
+                    mode: "value",
+                })), applySubstitution(convertTypeNode(state, method.type)), convertMethodTypeParameters(state, method.typeParameters, applySubstitution)));
+            }
+            return buildCallableOverloadFamilyType(overloads);
+        }
+        // If the member has a type node, convert it with any available declaring-type substitution.
+        if (memberInfo.typeNode) {
+            return applySubstitution(convertTypeNode(state, memberInfo.typeNode));
+        }
+        if (ts.isFunctionDeclaration(decl)) {
+            // Determinism: require explicit parameter + return annotations.
+            if (!decl.type)
+                return unknownType;
+            if (decl.parameters.some((p) => p.type === undefined))
+                return unknownType;
+            const parameters = decl.parameters.map((p) => ({
+                kind: "parameter",
+                pattern: {
+                    kind: "identifierPattern",
+                    name: ts.isIdentifier(p.name) ? p.name.text : "param",
+                },
+                type: p.type ? convertTypeNode(state, p.type) : undefined,
+                initializer: undefined,
+                isOptional: !!p.questionToken || !!p.initializer,
+                isRest: !!p.dotDotDotToken,
+                passing: "value",
+            }));
+            const returnType = convertTypeNode(state, decl.type);
+            const typeParameters = convertMethodTypeParameters(state, decl.typeParameters, (type) => type);
+            const fnType = {
+                kind: "functionType",
+                ...(typeParameters ? { typeParameters } : {}),
+                parameters,
+                returnType,
+            };
+            return fnType;
+        }
+        if (ts.isVariableDeclaration(decl)) {
+            if (decl.type)
+                return convertTypeNode(state, decl.type);
+            const inferred = tryInferTypeFromInitializer(state, decl);
+            return inferred ?? unknownType;
+        }
+        if (ts.isPropertyDeclaration(decl) || ts.isPropertySignature(decl)) {
+            if (decl.type)
+                return applySubstitution(convertTypeNode(state, decl.type));
+            const inferred = tryInferTypeFromInitializer(state, decl);
+            return inferred ? applySubstitution(inferred) : unknownType;
+        }
+        if (ts.isGetAccessorDeclaration(decl)) {
+            if (decl.type)
+                return applySubstitution(convertTypeNode(state, decl.type));
+            return unknownType;
+        }
+        if (ts.isSetAccessorDeclaration(decl)) {
+            const setterParam = decl.parameters[0];
+            if (!setterParam?.type)
+                return unknownType;
+            return applySubstitution(convertTypeNode(state, setterParam.type));
+        }
+    }
+    if (memberInfo.typeNode) {
+        return convertTypeNode(state, memberInfo.typeNode);
+    }
+    return unknownType;
+};
+//# sourceMappingURL=inference-member-id.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-id.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGzC,OAAO,EACL,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,aAAa,EACb,eAAe,GAChB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,mCAAmC,EAAE,MAAM,6BAA6B,CAAC;AAClF,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAE1E,MAAM,2BAA2B,GAAG,CAClC,KAAsB,EACtB,cAAkE,EAClE,iBAA2C,EACH,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,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;YACrE,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,aAAa,CAAC,OAAO;YAC5B,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;YAClE,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,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EACI,EAAE;IACtB,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,YAAY,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,UAAU,GAAG,CAAC,CAAC;gBACf,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;IAE/D,6DAA6D;IAC7D,MAAM,aAAa,GAAG,CAAC,KAAa,EAAY,EAAE;QAChD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,GAAG;gBAAE,YAAY,EAAE,CAAC;iBACzB,IAAI,CAAC,KAAK,GAAG,IAAI,YAAY,GAAG,CAAC;gBAAE,YAAY,EAAE,CAAC;iBAClD,IAAI,CAAC,KAAK,GAAG,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,4EAA4E;IAC5E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QACpC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC;IACV,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,QAAgB,EAChB,KAAY,EAC6D,EAAE;IAC3E,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,6DAA6D;IAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACtE,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,CAClD,CAAC;QAEF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAE1C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,EAAE,IAAI;YAAE,OAAO,SAAS,CAAC;QAErC,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC5C,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,QAAQ,EACnB,MAAM,CACP,CAAC;QACF,MAAM,SAAS,GACb,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YACnB,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,IAAyB,CAAC;YACvD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAEnB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IACnC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,gDAAgD;AAChD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,QAAkB,EAClB,YAAqB,EACb,EAAE;IACV,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACnE,IAAI,kBAAkB,EAAE,CAAC;YACvB,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,uBAAuB,CAC3D,kBAAkB,CAAC,MAAM,EACzB,kBAAkB,CAAC,QAAQ,EAC3B,UAAU,CAAC,IAAI,CAChB,CAAC;YAEF,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,CAClD,YAAY,CAAC,eAAe,EAC5B,UAAU,CAAC,IAAI,CAChB,CAAC;gBAEF,IAAI,aAAa,EAAE,IAAI,EAAE,CAAC;oBACxB,OAAO,aAAa,CAClB,KAAK,EACL,YAAY,CACV,aAAa,CAAC,IAAI,EAClB,YAAY,CAAC,YAAiC,CAC/C,CACF,CAAC;gBACJ,CAAC;gBAED,MAAM,UAAU,GAAG,aAAa,EAAE,UAAU,IAAI,EAAE,CAAC;gBACnD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,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;wBACvC,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,UAAU,EAAE,SAAS,CAAC,UAAU;wBAChC,MAAM,EAAE,SAAS,CAAC,MAAM;wBACxB,IAAI,EAAE,SAAS,CAAC,IAAI;qBACrB,CAAC,CAAC,EACH,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;wBAC/C,IAAI,EAAE,eAAwB;wBAC9B,IAAI,EAAE,aAAa,CAAC,IAAI;wBACxB,UAAU,EAAE,aAAa,CAAC,UAAU;4BAClC,CAAC,CAAC,YAAY,CACV,aAAa,CAAC,UAAU,EACxB,YAAY,CAAC,YAAiC,CAC/C;4BACH,CAAC,CAAC,SAAS;wBACb,OAAO,EAAE,aAAa,CAAC,WAAW;4BAChC,CAAC,CAAC,YAAY,CACV,aAAa,CAAC,WAAW,EACzB,YAAY,CAAC,YAAiC,CAC/C;4BACH,CAAC,CAAC,SAAS;qBACd,CAAC,CAAC,CACJ,CACF,CACF,CAAC;oBAEF,OAAO,aAAa,CAClB,KAAK,EACL,YAAY,CACV,cAAc,EACd,YAAY,CAAC,YAAiC,CAC/C,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,oFAAoF;IACpF,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAsC,CAAC;IAC/D,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAU,EAAE,CAC1D,IAAI;aACD,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;aAC1B,OAAO,CAAC,iBAAiB,EAAE,IAAI,CAAC;aAChC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;aACpB,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAE1B,MAAM,6BAA6B,GAAG,CACpC,IAAY,EACiB,EAAE;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,OAAO;oBACb,aAAa,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC;iBAClC,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAC3C,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CACtD,CAAC;gBACF,MAAM,eAAe,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBACxC,MAAM,gBAAgB,GACpB,YAAY,CAAC,MAAM,KAAK,CAAC;oBACvB,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE;oBAClC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe;wBAC5C,CAAC,CAAC,eAAe;wBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,OAAO;oBACb,aAAa,EAAE,CAAC,gBAAgB,CAAC;iBAClC,CAAC;YACJ,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QAEF,MAAM,wBAAwB,GAAG,CAC/B,YAAoB,EACpB,aAAqB,EACZ,EAAE;YACX,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,YAAY,CAAC,CAAC;YACpE,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,aAAa,CAAC,CAAC;YACtE,IAAI,kBAAkB,KAAK,mBAAmB,EAAE,CAAC;gBAC/C,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO,CACL,CAAC,kBAAkB,KAAK,OAAO;gBAC7B,CAAC,mBAAmB,KAAK,eAAe;oBACtC,mBAAmB,KAAK,WAAW,CAAC,CAAC;gBACzC,CAAC,kBAAkB,KAAK,eAAe;oBACrC,CAAC,mBAAmB,KAAK,OAAO;wBAC9B,mBAAmB,KAAK,WAAW,CAAC,CAAC;gBACzC,CAAC,kBAAkB,KAAK,WAAW;oBACjC,CAAC,mBAAmB,KAAK,OAAO;wBAC9B,mBAAmB,KAAK,eAAe,CAAC,CAAC,CAC9C,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,4BAA4B,GAAG,GAEvB,EAAE;YACd,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YAEpC,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACiB,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;oBAAE,OAAO,IAAI,CAAC;gBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;oBACrC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,IAAI,EAA2B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CACjE,CAAC;gBACJ,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,CACC,IAAI,CAAC,IAAI,KAAK,eAAe;wBAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CACpD,CACJ,CAAC;oBACF,MAAM,cAAc,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBACrC,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc;wBAC9C,CAAC,CAAC,kBAAkB,CAAC,cAAc,CAAC;wBACpC,CAAC,CAAC,SAAS,CAAC;gBAChB,CAAC;gBACD,MAAM,YAAY,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;gBACzD,IAAI,YAAY,EAAE,CAAC;oBACjB,OAAO,YAAY,CAAC;gBACtB,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;YAEF,MAAM,WAAW,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;YACrD,IACE,CAAC,WAAW,EAAE,aAAa;gBAC3B,WAAW,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACtC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,MAAM,aAAa,GACjB,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;gBAChE,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,CAAC,aAAa,EAAE,IAAI,EAAE,CAAC;gBACzB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YACnE,IAAI,kBAAkB,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAG,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC;gBAC5D,MAAM,eAAe,GACnB,mBAAmB,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC;oBACnE,mBAAmB,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,mBAAmB,GAAG,KAAK,CAAC,UAAU,CAAC,gBAAgB,CAC3D,kBAAkB,CAAC,MAAM,EACzB,kBAAkB,CAAC,QAAQ,EAC3B,eAAe,CAChB,CAAC;oBACF,IAAI,mBAAmB,EAAE,CAAC;wBACxB,OAAO,mBAAmB,CAAC;oBAC7B,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,aAAa,CAAC,cAAc,CAAC;YAChD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3C,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IACE,CAAC,wBAAwB,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EACpE,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,IAAI,UAAU,CAAC,MAAM,KAAK,WAAW,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;gBAC3D,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,qBAAqB,GAAG,WAAW,CAAC,aAAa,CAAC;YACxD,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAC3B,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,OAAO,GAAuB,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClD,MAAM,GAAG,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACvC,CAAC;YAED,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC,CAAC;QAEF,MAAM,YAAY,GAAG,4BAA4B,EAAE,CAAC;QACpD,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,YAAY;YACV,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,YAAiC,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC;QAEX,MAAM,eAAe,GAAG,GAMV,EAAE;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAE3B,IACE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;gBACvB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,IAAI,EACT,CAAC;gBACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACrC,CAAC,SAAS,EAAuC,EAAE,CACjD,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;oBACnC,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,IAAI,CAC3C,CAAC;gBACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC;gBAC1C,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChE,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC;YAC/D,CAAC;YAED,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;gBAC5B,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;gBACjC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC/B,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,EAC5D,CAAC;gBACD,MAAM,UAAU,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClE,IAAI,CAAC,UAAU;oBAAE,OAAO,SAAS,CAAC;gBAElC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAuD,EAAE,CAC9D,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAChE,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU;oBAC/D,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC7D,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC;wBACvD,CAAC,CAAC,IAAI,CAAC,CACZ,CAAC;gBACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC;gBAE1C,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CACnC,CAAC,MAAM,EAAE,EAAE,CACT,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;oBAC5B,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CACnD,CAAC;gBACF,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC;YAC/D,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QAEF,MAAM,YAAY,GAAG,eAAe,EAAE,CAAC;QACvC,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAqB,EAAE,CAAC;YACvC,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,CAAC,IAAI;oBAAE,OAAO,WAAW,CAAC;gBACrC,IACE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,EACnE,CAAC;oBACD,OAAO,WAAW,CAAC;gBACrB,CAAC;gBAED,SAAS,CAAC,IAAI,CACZ,mCAAmC,CACjC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC3C,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;wBACnC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;wBACrB,CAAC,CAAC,QAAQ,KAAK,EAAE;oBACnB,IAAI,EAAE,SAAS,CAAC,IAAI;wBAClB,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;wBAC3D,CAAC,CAAC,WAAW;oBACf,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW;oBAChE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc;oBAClC,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC,EACH,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EACtD,2BAA2B,CACzB,KAAK,EACL,MAAM,CAAC,cAAc,EACrB,iBAAiB,CAClB,CACF,CACF,CAAC;YACJ,CAAC;YAED,OAAO,+BAA+B,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC;QAED,4FAA4F;QAC5F,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxB,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxE,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,gEAAgE;YAChE,IAAI,CAAC,IAAI,CAAC,IAAI;gBAAE,OAAO,WAAW,CAAC;YACnC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;gBAAE,OAAO,WAAW,CAAC;YAE1E,MAAM,UAAU,GAA2B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE;oBACP,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;iBACtD;gBACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;gBACzD,WAAW,EAAE,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;gBAChD,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;gBAC1B,OAAO,EAAE,OAAO;aACjB,CAAC,CAAC,CAAC;YAEJ,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,2BAA2B,CAChD,KAAK,EACL,IAAI,CAAC,cAAc,EACnB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CACf,CAAC;YACF,MAAM,MAAM,GAAmB;gBAC7B,IAAI,EAAE,cAAc;gBACpB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,UAAU;gBACV,UAAU;aACX,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI;gBAAE,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1D,OAAO,QAAQ,IAAI,WAAW,CAAC;QACjC,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,IAAI,IAAI,CAAC,IAAI;gBACX,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,2BAA2B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1D,OAAO,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAC9D,CAAC;QAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,IAAI;gBACX,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9D,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,CAAC,WAAW,EAAE,IAAI;gBAAE,OAAO,WAAW,CAAC;YAC3C,OAAO,iBAAiB,CAAC,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxB,OAAO,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * 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 type { IrType } from "../types/index.js";
+import type { TypeSystemState, Site, MemberRef } from "./type-system-state.js";
+export declare const resolveMemberTypeNoDiag: (state: TypeSystemState, receiver: IrType, memberName: string) => IrType | undefined;
+export declare const typeOfMember: (state: TypeSystemState, receiver: IrType, member: MemberRef, site?: Site) => IrType;
+//# sourceMappingURL=inference-member-lookup.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference-member-lookup.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-member-lookup.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EAKP,MAAM,mBAAmB,CAAC;AAI3B,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AA2lB/E,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,UAAU,MAAM,EAChB,YAAY,MAAM,KACjB,MAAM,GAAG,SAqMX,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,OAAO,eAAe,EACtB,UAAU,MAAM,EAChB,QAAQ,SAAS,EACjB,OAAO,IAAI,KACV,MAkEF,CAAC"}