@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/access-resolution-receivers.js

@@ -0,0 +1,358 @@
+/**
+ * Receiver type resolution, array wrapper element type emission,
+ * reification, and storage-compatible narrowed member read helpers.
+ */
+import { emitTypeAst } from "../type-emitter.js";
+import { getArrayLikeElementType, getPropertyType, normalizeStructuralEmissionType, resolveArrayLikeReceiverType, resolveStructuralReferenceType, } from "../core/semantic/type-resolution.js";
+import { isSystemArrayStorageType, resolveBroadArrayReceiverAssertionStorageType, } from "../core/semantic/broad-array-storage.js";
+import { identifierExpression, identifierType, } from "../core/format/backend-ast/builders.js";
+import { sameTypeAstSurface, stripNullableTypeAst, } from "../core/format/backend-ast/utils.js";
+import { getMemberAccessNarrowKey } from "../core/semantic/narrowing-keys.js";
+import { buildRuntimeUnionLayout } from "../core/semantic/runtime-unions.js";
+import { tryBuildRuntimeReificationPlan } from "../core/semantic/runtime-reification.js";
+import { resolveEffectiveExpressionType, tryResolveRuntimeUnionMemberType, } from "../core/semantic/narrowed-expression-types.js";
+import { matchesExpectedEmissionType } from "../core/semantic/expected-type-matching.js";
+import { normalizeRuntimeStorageType } from "../core/semantic/storage-types.js";
+import { adaptStorageErasedValueAst } from "../core/semantic/storage-erased-adaptation.js";
+import { unwrapTransparentExpression } from "../core/semantic/transparent-expressions.js";
+import { materializeDirectNarrowingAst } from "../core/semantic/materialized-narrowing.js";
+import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+import { tryEmitExactComparisonTargetAst } from "./exact-comparison.js";
+import { isObjectTypeAst, isPlainObjectIrType, } from "./access-resolution-types.js";
+const looksLikeTypeParameterName = (name) => /^T($|[A-Z0-9_])/.test(name);
+const resolveReceiverStorageAst = (sourceExpr, narrowed, context) => {
+    if (narrowed?.kind === "expr") {
+        return narrowed.storageExprAst;
+    }
+    if (sourceExpr.kind !== "identifier") {
+        return undefined;
+    }
+    return identifierExpression(context.localNameMap?.get(sourceExpr.name) ??
+        escapeCSharpIdentifier(sourceExpr.name));
+};
+export const eraseOutOfScopeArrayWrapperTypeParameters = (typeAst, context) => {
+    switch (typeAst.kind) {
+        case "identifierType": {
+            if (!typeAst.name.includes(".") &&
+                !typeAst.name.includes("::") &&
+                (context.typeParameters?.has(typeAst.name) ?? false) === false &&
+                looksLikeTypeParameterName(typeAst.name)) {
+                return identifierType("object");
+            }
+            if (!typeAst.typeArguments || typeAst.typeArguments.length === 0) {
+                return typeAst;
+            }
+            return {
+                ...typeAst,
+                typeArguments: typeAst.typeArguments.map((arg) => eraseOutOfScopeArrayWrapperTypeParameters(arg, context)),
+            };
+        }
+        case "arrayType":
+            return {
+                ...typeAst,
+                elementType: eraseOutOfScopeArrayWrapperTypeParameters(typeAst.elementType, context),
+            };
+        case "nullableType":
+            return {
+                ...typeAst,
+                underlyingType: eraseOutOfScopeArrayWrapperTypeParameters(typeAst.underlyingType, context),
+            };
+        default:
+            return typeAst;
+    }
+};
+export const emitArrayWrapperElementTypeAst = (receiverType, fallbackElementType, context) => {
+    const storageReceiverType = normalizeRuntimeStorageType(receiverType, context);
+    const resolvedReceiverType = resolveArrayLikeReceiverType(storageReceiverType, context);
+    if (resolvedReceiverType) {
+        const [elementTypeAst, nextContext] = emitTypeAst(resolvedReceiverType.elementType, context);
+        return [
+            eraseOutOfScopeArrayWrapperTypeParameters(elementTypeAst, nextContext),
+            nextContext,
+        ];
+    }
+    const [elementTypeAst, nextContext] = emitTypeAst(fallbackElementType, context);
+    return [
+        eraseOutOfScopeArrayWrapperTypeParameters(elementTypeAst, nextContext),
+        nextContext,
+    ];
+};
+export const emitStorageCompatibleArrayWrapperElementTypeAst = (receiverExpr, receiverType, fallbackElementType, context) => {
+    const [storageReceiverTypeAst, storageContext] = resolveEmittedReceiverTypeAst(receiverExpr, context);
+    const concreteStorageReceiverTypeAst = storageReceiverTypeAst
+        ? stripNullableTypeAst(storageReceiverTypeAst)
+        : undefined;
+    if (concreteStorageReceiverTypeAst?.kind === "arrayType") {
+        return [
+            eraseOutOfScopeArrayWrapperTypeParameters(concreteStorageReceiverTypeAst.elementType, storageContext),
+            storageContext,
+        ];
+    }
+    if (concreteStorageReceiverTypeAst?.kind === "identifierType" &&
+        (concreteStorageReceiverTypeAst.name === "global::System.Array" ||
+            concreteStorageReceiverTypeAst.name === "System.Array") &&
+        concreteStorageReceiverTypeAst.typeArguments?.length === 1) {
+        const [elementTypeAst] = concreteStorageReceiverTypeAst.typeArguments;
+        if (elementTypeAst) {
+            return [
+                eraseOutOfScopeArrayWrapperTypeParameters(elementTypeAst, storageContext),
+                storageContext,
+            ];
+        }
+    }
+    return emitArrayWrapperElementTypeAst(receiverType, fallbackElementType, storageContext);
+};
+export const maybeReifyErasedArrayElement = (accessAst, receiverExpr, desiredType, context) => {
+    const normalizedDesiredType = desiredType && desiredType.kind === "objectType"
+        ? (resolveStructuralReferenceType(desiredType, context) ?? desiredType)
+        : desiredType;
+    if (!normalizedDesiredType ||
+        isPlainObjectIrType(normalizedDesiredType, context)) {
+        return [accessAst, context];
+    }
+    const [receiverTypeAst, receiverTypeContext] = resolveEmittedReceiverTypeAst(receiverExpr, context);
+    if (!receiverTypeAst) {
+        return [accessAst, receiverTypeContext];
+    }
+    const concreteReceiverTypeAst = stripNullableTypeAst(receiverTypeAst);
+    if (concreteReceiverTypeAst.kind !== "arrayType") {
+        return [accessAst, receiverTypeContext];
+    }
+    const concreteElementTypeAst = stripNullableTypeAst(concreteReceiverTypeAst.elementType);
+    if (!isObjectTypeAst(concreteElementTypeAst)) {
+        return [accessAst, receiverTypeContext];
+    }
+    const plan = tryBuildRuntimeReificationPlan(accessAst, normalizedDesiredType, receiverTypeContext, emitTypeAst);
+    if (!plan) {
+        return [accessAst, receiverTypeContext];
+    }
+    return [plan.value, plan.context];
+};
+export const maybeReifyStorageErasedMemberRead = (accessAst, expr, context, expectedType) => {
+    if (!expectedType || expr.isComputed || typeof expr.property !== "string") {
+        return [accessAst, context];
+    }
+    const semanticType = resolveEffectiveExpressionType(expr, context);
+    const storageType = normalizeRuntimeStorageType(getPropertyType(resolveEffectiveExpressionType(expr.object, context), expr.property, context) ?? expr.inferredType, context) ?? expr.inferredType;
+    const adapted = adaptStorageErasedValueAst({
+        valueAst: accessAst,
+        semanticType,
+        storageType,
+        expectedType,
+        context,
+        emitTypeAst,
+    });
+    return adapted ?? [accessAst, context];
+};
+export const tryEmitStorageCompatibleNarrowedMemberRead = (narrowed, expr, context, expectedType) => {
+    if (!expectedType ||
+        !narrowed.storageExprAst ||
+        typeof expr.property !== "string") {
+        return undefined;
+    }
+    const storageType = normalizeRuntimeStorageType(getPropertyType(resolveEffectiveExpressionType(expr.object, context), expr.property, context) ?? expr.inferredType, context) ?? expr.inferredType;
+    if (!storageType ||
+        !matchesExpectedEmissionType(storageType, expectedType, context)) {
+        return undefined;
+    }
+    return maybeReifyStorageErasedMemberRead(narrowed.storageExprAst, expr, context, expectedType);
+};
+export const tryEmitMaterializedNarrowedMemberRead = (narrowed, context, expectedType) => {
+    if (expectedType) {
+        const carrierAst = narrowed.carrierExprAst ?? narrowed.storageExprAst;
+        const carrierType = narrowed.carrierType ?? narrowed.sourceType ?? narrowed.storageType;
+        const narrowedExactSurface = narrowed.type
+            ? tryEmitExactComparisonTargetAst(narrowed.type, context)
+            : undefined;
+        const expectedExactSurface = tryEmitExactComparisonTargetAst(expectedType, narrowedExactSurface?.[1] ?? context);
+        const targetSurfaceDiffers = !narrowedExactSurface ||
+            !expectedExactSurface ||
+            !sameTypeAstSurface(narrowedExactSurface[0], expectedExactSurface[0]);
+        if (targetSurfaceDiffers && carrierAst && carrierType) {
+            return materializeDirectNarrowingAst(carrierAst, carrierType, expectedType, context);
+        }
+    }
+    const targetType = expectedType ?? narrowed.type;
+    const effectiveType = narrowed.type ?? narrowed.sourceType;
+    if (!targetType || !effectiveType) {
+        return undefined;
+    }
+    const sourceType = tryResolveRuntimeUnionMemberType(effectiveType, narrowed.exprAst, context) ?? effectiveType;
+    return materializeDirectNarrowingAst(narrowed.exprAst, sourceType, targetType, context);
+};
+const tryExtractRuntimeUnionMemberN = (exprAst) => {
+    const target = exprAst.kind === "parenthesizedExpression" ? exprAst.expression : exprAst;
+    if (target.kind !== "invocationExpression" || target.arguments.length !== 0) {
+        return undefined;
+    }
+    if (target.expression.kind !== "memberAccessExpression") {
+        return undefined;
+    }
+    const match = target.expression.memberName.match(/^As(\d+)$/);
+    if (!match?.[1]) {
+        return undefined;
+    }
+    return Number.parseInt(match[1], 10);
+};
+const tryResolveEmittedRuntimeUnionMemberTypeAst = (baseType, exprAst, context) => {
+    if (!baseType)
+        return [undefined, context];
+    const memberN = tryExtractRuntimeUnionMemberN(exprAst);
+    if (!memberN)
+        return [undefined, context];
+    const [layout, layoutContext] = buildRuntimeUnionLayout(baseType, context, emitTypeAst);
+    if (!layout) {
+        return [undefined, context];
+    }
+    const members = layout.members;
+    const memberIndex = memberN - 1;
+    if (memberIndex < 0 || memberIndex >= members.length) {
+        return [undefined, context];
+    }
+    const memberType = members[memberIndex];
+    if (!memberType) {
+        return [undefined, context];
+    }
+    const storageMemberType = normalizeRuntimeStorageType(memberType, layoutContext) ?? memberType;
+    return emitTypeAst(normalizeStructuralEmissionType(storageMemberType, layoutContext), layoutContext);
+};
+export const resolveEffectiveReceiverType = (receiverExpr, context) => resolveEffectiveExpressionType(receiverExpr, context);
+const tryResolveBroadArrayAssertionReceiverTypeAst = (receiverExpr, context) => {
+    const resolveSourceInfo = (sourceExpr) => {
+        const narrowKey = sourceExpr.kind === "identifier"
+            ? sourceExpr.name
+            : getMemberAccessNarrowKey(sourceExpr);
+        const narrowed = narrowKey
+            ? context.narrowedBindings?.get(narrowKey)
+            : undefined;
+        const sourceStorageType = narrowed?.kind === "expr"
+            ? (narrowed.storageType ?? narrowed.sourceType ?? narrowed.type)
+            : sourceExpr.kind === "identifier"
+                ? context.localValueTypes?.get(sourceExpr.name)
+                : undefined;
+        const sourceStorageAst = resolveReceiverStorageAst(sourceExpr, narrowed, context);
+        return { narrowed, sourceStorageType, sourceStorageAst };
+    };
+    const resolvePreservedStorageType = () => {
+        if (receiverExpr.kind === "typeAssertion") {
+            const sourceExpr = unwrapTransparentExpression(receiverExpr.expression);
+            if (sourceExpr.kind !== "identifier" &&
+                sourceExpr.kind !== "memberAccess") {
+                return undefined;
+            }
+            const { sourceStorageType } = resolveSourceInfo(sourceExpr);
+            return resolveBroadArrayReceiverAssertionStorageType(receiverExpr.targetType, sourceStorageType, context);
+        }
+        if (receiverExpr.kind !== "identifier" &&
+            receiverExpr.kind !== "memberAccess") {
+            return undefined;
+        }
+        const targetType = resolveEffectiveExpressionType(receiverExpr, context) ??
+            receiverExpr.inferredType;
+        const { sourceStorageType } = resolveSourceInfo(receiverExpr);
+        return resolveBroadArrayReceiverAssertionStorageType(targetType, sourceStorageType, context);
+    };
+    const preservedStorageType = resolvePreservedStorageType();
+    if (!preservedStorageType) {
+        return undefined;
+    }
+    if (isSystemArrayStorageType(preservedStorageType, context)) {
+        return [identifierType("global::System.Array"), context];
+    }
+    return emitTypeAst(preservedStorageType, context);
+};
+export const tryEmitBroadArrayAssertionReceiverStorageAst = (receiverExpr, context) => {
+    const sourceExpr = receiverExpr.kind === "typeAssertion"
+        ? unwrapTransparentExpression(receiverExpr.expression)
+        : receiverExpr;
+    if (sourceExpr.kind !== "identifier" && sourceExpr.kind !== "memberAccess") {
+        return undefined;
+    }
+    const targetType = receiverExpr.kind === "typeAssertion"
+        ? receiverExpr.targetType
+        : (resolveEffectiveExpressionType(receiverExpr, context) ??
+            receiverExpr.inferredType);
+    const narrowKey = sourceExpr.kind === "identifier"
+        ? sourceExpr.name
+        : getMemberAccessNarrowKey(sourceExpr);
+    const narrowed = narrowKey
+        ? context.narrowedBindings?.get(narrowKey)
+        : undefined;
+    const sourceStorageType = narrowed?.kind === "expr"
+        ? (narrowed.storageType ?? narrowed.sourceType ?? narrowed.type)
+        : sourceExpr.kind === "identifier"
+            ? context.localValueTypes?.get(sourceExpr.name)
+            : undefined;
+    const preservedStorageType = resolveBroadArrayReceiverAssertionStorageType(targetType, sourceStorageType, context);
+    if (!preservedStorageType) {
+        return undefined;
+    }
+    const sourceStorageAst = resolveReceiverStorageAst(sourceExpr, narrowed, context);
+    if (!sourceStorageAst) {
+        return undefined;
+    }
+    const [typeAst, nextContext] = isSystemArrayStorageType(preservedStorageType, context)
+        ? [identifierType("global::System.Array"), context]
+        : emitTypeAst(preservedStorageType, context);
+    return [
+        {
+            kind: "castExpression",
+            type: typeAst,
+            expression: sourceStorageAst,
+        },
+        nextContext,
+    ];
+};
+export const resolveEmittedReceiverTypeAst = (receiverExpr, context) => {
+    const preservedBroadArrayAssertion = tryResolveBroadArrayAssertionReceiverTypeAst(receiverExpr, context);
+    if (preservedBroadArrayAssertion) {
+        return preservedBroadArrayAssertion;
+    }
+    const baseType = receiverExpr.inferredType;
+    if (context.narrowedBindings) {
+        const narrowKey = receiverExpr.kind === "identifier"
+            ? receiverExpr.name
+            : receiverExpr.kind === "memberAccess"
+                ? getMemberAccessNarrowKey(receiverExpr)
+                : undefined;
+        if (narrowKey) {
+            const narrowed = context.narrowedBindings.get(narrowKey);
+            if (narrowed?.kind === "expr") {
+                if (narrowed.storageType) {
+                    const normalizedStorageType = normalizeStructuralEmissionType(narrowed.storageType, context);
+                    return emitTypeAst(normalizedStorageType, context);
+                }
+                const sourceType = narrowed.sourceType ?? baseType;
+                const [memberTypeAst, memberContext] = tryResolveEmittedRuntimeUnionMemberTypeAst(sourceType, narrowed.exprAst, context);
+                if (memberTypeAst) {
+                    return [memberTypeAst, memberContext];
+                }
+                if (narrowed.type) {
+                    const storageNarrowedType = normalizeRuntimeStorageType(narrowed.type, context) ??
+                        narrowed.type;
+                    return emitTypeAst(normalizeStructuralEmissionType(storageNarrowedType, context), context);
+                }
+            }
+        }
+    }
+    const receiverType = resolveEffectiveReceiverType(receiverExpr, context);
+    if (!receiverType) {
+        return [undefined, context];
+    }
+    const normalizedReceiverType = normalizeRuntimeStorageType(receiverType, context) ?? receiverType;
+    const arrayLikeElementType = getArrayLikeElementType(normalizedReceiverType, context);
+    if (arrayLikeElementType) {
+        const [elementTypeAst, elementContext] = emitTypeAst(normalizeStructuralEmissionType(arrayLikeElementType, context), context);
+        const storageCompatibleElementTypeAst = eraseOutOfScopeArrayWrapperTypeParameters(elementTypeAst, elementContext);
+        return [
+            {
+                kind: "arrayType",
+                elementType: storageCompatibleElementTypeAst,
+                rank: 1,
+            },
+            elementContext,
+        ];
+    }
+    return emitTypeAst(normalizeStructuralEmissionType(normalizedReceiverType, context), context);
+};
+//# sourceMappingURL=access-resolution-receivers.js.map

package/dist/expressions/access-resolution-receivers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-resolution-receivers.js","sourceRoot":"","sources":["../../src/expressions/access-resolution-receivers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,+BAA+B,EAC/B,4BAA4B,EAC5B,8BAA8B,GAC/B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,wBAAwB,EACxB,6CAA6C,GAC9C,MAAM,yCAAyC,CAAC;AACjD,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EACL,8BAA8B,EAC9B,gCAAgC,GACjC,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,0BAA0B,EAAE,MAAM,+CAA+C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAC1F,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAK3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EACL,eAAe,EACf,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3D,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE/B,MAAM,yBAAyB,GAAG,CAChC,UAA0E,EAC1E,QAAqC,EACrC,OAAuB,EACU,EAAE;IACnC,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,cAAc,CAAC;IACjC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CACzB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QACxC,sBAAsB,CAAC,UAAU,CAAC,IAAI,CAAC,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CACvD,OAAsB,EACtB,OAAuB,EACR,EAAE;IACjB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IACE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC3B,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC5B,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK;gBAC9D,0BAA0B,CAAC,OAAO,CAAC,IAAI,CAAC,EACxC,CAAC;gBACD,OAAO,cAAc,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjE,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,OAAO;gBACL,GAAG,OAAO;gBACV,aAAa,EAAE,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/C,yCAAyC,CAAC,GAAG,EAAE,OAAO,CAAC,CACxD;aACF,CAAC;QACJ,CAAC;QAED,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,OAAO;gBACV,WAAW,EAAE,yCAAyC,CACpD,OAAO,CAAC,WAAW,EACnB,OAAO,CACR;aACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,OAAO;gBACV,cAAc,EAAE,yCAAyC,CACvD,OAAO,CAAC,cAAc,EACtB,OAAO,CACR;aACF,CAAC;QAEJ;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,YAAgC,EAChC,mBAA2B,EAC3B,OAAuB,EACU,EAAE;IACnC,MAAM,mBAAmB,GAAG,2BAA2B,CACrD,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,oBAAoB,GAAG,4BAA4B,CACvD,mBAAmB,EACnB,OAAO,CACR,CAAC;IAEF,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,WAAW,CAC/C,oBAAoB,CAAC,WAAW,EAChC,OAAO,CACR,CAAC;QACF,OAAO;YACL,yCAAyC,CAAC,cAAc,EAAE,WAAW,CAAC;YACtE,WAAW;SACZ,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,WAAW,CAC/C,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,OAAO;QACL,yCAAyC,CAAC,cAAc,EAAE,WAAW,CAAC;QACtE,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,YAA0B,EAC1B,YAAgC,EAChC,mBAA2B,EAC3B,OAAuB,EACU,EAAE;IACnC,MAAM,CAAC,sBAAsB,EAAE,cAAc,CAAC,GAC5C,6BAA6B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,8BAA8B,GAAG,sBAAsB;QAC3D,CAAC,CAAC,oBAAoB,CAAC,sBAAsB,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IAEd,IAAI,8BAA8B,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACzD,OAAO;YACL,yCAAyC,CACvC,8BAA8B,CAAC,WAAW,EAC1C,cAAc,CACf;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,IACE,8BAA8B,EAAE,IAAI,KAAK,gBAAgB;QACzD,CAAC,8BAA8B,CAAC,IAAI,KAAK,sBAAsB;YAC7D,8BAA8B,CAAC,IAAI,KAAK,cAAc,CAAC;QACzD,8BAA8B,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAC1D,CAAC;QACD,MAAM,CAAC,cAAc,CAAC,GAAG,8BAA8B,CAAC,aAAa,CAAC;QACtE,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO;gBACL,yCAAyC,CACvC,cAAc,EACd,cAAc,CACf;gBACD,cAAc;aACf,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,8BAA8B,CACnC,YAAY,EACZ,mBAAmB,EACnB,cAAc,CACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,SAA8B,EAC9B,YAA0B,EAC1B,WAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,MAAM,qBAAqB,GACzB,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY;QAC9C,CAAC,CAAC,CAAC,8BAA8B,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC;QACvE,CAAC,CAAC,WAAW,CAAC;IAElB,IACE,CAAC,qBAAqB;QACtB,mBAAmB,CAAC,qBAAqB,EAAE,OAAO,CAAC,EACnD,CAAC;QACD,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,6BAA6B,CAC1E,YAAY,EACZ,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,uBAAuB,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACtE,IAAI,uBAAuB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjD,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,sBAAsB,GAAG,oBAAoB,CACjD,uBAAuB,CAAC,WAAW,CACpC,CAAC;IACF,IAAI,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,IAAI,GAAG,8BAA8B,CACzC,SAAS,EACT,qBAAqB,EACrB,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAA8B,EAC9B,IAAqD,EACrD,OAAuB,EACvB,YAAgC,EACO,EAAE;IACzC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1E,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,YAAY,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,WAAW,GACf,2BAA2B,CACzB,eAAe,CACb,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EACpD,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,IAAI,IAAI,CAAC,YAAY,EACtB,OAAO,CACR,IAAI,IAAI,CAAC,YAAY,CAAC;IAEzB,MAAM,OAAO,GAAG,0BAA0B,CAAC;QACzC,QAAQ,EAAE,SAAS;QACnB,YAAY;QACZ,WAAW;QACX,YAAY;QACZ,OAAO;QACP,WAAW;KACZ,CAAC,CAAC;IACH,OAAO,OAAO,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,QAAoD,EACpD,IAAqD,EACrD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IACE,CAAC,YAAY;QACb,CAAC,QAAQ,CAAC,cAAc;QACxB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,2BAA2B,CACzB,eAAe,CACb,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EACpD,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,IAAI,IAAI,CAAC,YAAY,EACtB,OAAO,CACR,IAAI,IAAI,CAAC,YAAY,CAAC;IAEzB,IACE,CAAC,WAAW;QACZ,CAAC,2BAA2B,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAChE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,iCAAiC,CACtC,QAAQ,CAAC,cAAc,EACvB,IAAI,EACJ,OAAO,EACP,YAAY,CACb,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc,CAAC;QACtE,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,CAAC;QACtE,MAAM,oBAAoB,GAAG,QAAQ,CAAC,IAAI;YACxC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,oBAAoB,GAAG,+BAA+B,CAC1D,YAAY,EACZ,oBAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CACrC,CAAC;QACF,MAAM,oBAAoB,GACxB,CAAC,oBAAoB;YACrB,CAAC,oBAAoB;YACrB,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,oBAAoB,IAAI,UAAU,IAAI,WAAW,EAAE,CAAC;YACtD,OAAO,6BAA6B,CAClC,UAAU,EACV,WAAW,EACX,YAAY,EACZ,OAAO,CACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,IAAI,QAAQ,CAAC,IAAI,CAAC;IACjD,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC3D,IAAI,CAAC,UAAU,IAAI,CAAC,aAAa,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,gCAAgC,CAC9B,aAAa,EACb,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,IAAI,aAAa,CAAC;IAErB,OAAO,6BAA6B,CAClC,QAAQ,CAAC,OAAO,EAChB,UAAU,EACV,UAAU,EACV,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAA4B,EACR,EAAE;IACtB,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,0CAA0C,GAAG,CACjD,QAA4B,EAC5B,OAA4B,EAC5B,OAAuB,EACsB,EAAE;IAC/C,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE3C,MAAM,OAAO,GAAG,6BAA6B,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE1C,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,uBAAuB,CACrD,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAE/B,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,CAAC;IAChC,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,iBAAiB,GACrB,2BAA2B,CAAC,UAAU,EAAE,aAAa,CAAC,IAAI,UAAU,CAAC;IACvE,OAAO,WAAW,CAChB,+BAA+B,CAAC,iBAAiB,EAAE,aAAa,CAAC,EACjE,aAAa,CACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,YAA0B,EAC1B,OAAuB,EACH,EAAE,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AAE/E,MAAM,4CAA4C,GAAG,CACnD,YAA0B,EAC1B,OAAuB,EACkC,EAAE;IAC3D,MAAM,iBAAiB,GAAG,CACxB,UAA0E,EAC1E,EAAE;QACF,MAAM,SAAS,GACb,UAAU,CAAC,IAAI,KAAK,YAAY;YAC9B,CAAC,CAAC,UAAU,CAAC,IAAI;YACjB,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,SAAS;YACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;YAC1C,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,iBAAiB,GACrB,QAAQ,EAAE,IAAI,KAAK,MAAM;YACvB,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;gBAChC,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,gBAAgB,GAAG,yBAAyB,CAChD,UAAU,EACV,QAAQ,EACR,OAAO,CACR,CAAC;QAEF,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAC3D,CAAC,CAAC;IAEF,MAAM,2BAA2B,GAAG,GAAG,EAAE;QACvC,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,2BAA2B,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YACxE,IACE,UAAU,CAAC,IAAI,KAAK,YAAY;gBAChC,UAAU,CAAC,IAAI,KAAK,cAAc,EAClC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAC5D,OAAO,6CAA6C,CAClD,YAAY,CAAC,UAAU,EACvB,iBAAiB,EACjB,OAAO,CACR,CAAC;QACJ,CAAC;QAED,IACE,YAAY,CAAC,IAAI,KAAK,YAAY;YAClC,YAAY,CAAC,IAAI,KAAK,cAAc,EACpC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,UAAU,GACd,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC;YACrD,YAAY,CAAC,YAAY,CAAC;QAC5B,MAAM,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;QAC9D,OAAO,6CAA6C,CAClD,UAAU,EACV,iBAAiB,EACjB,OAAO,CACR,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,2BAA2B,EAAE,CAAC;IAC3D,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,wBAAwB,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,cAAc,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,WAAW,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAC1D,YAA0B,EAC1B,OAAuB,EAC4B,EAAE;IACrD,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,CAAC,2BAA2B,CAAC,YAAY,CAAC,UAAU,CAAC;QACtD,CAAC,CAAC,YAAY,CAAC;IACnB,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,CAAC,YAAY,CAAC,UAAU;QACzB,CAAC,CAAC,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC;YACtD,YAAY,CAAC,YAAY,CAAC,CAAC;IACjC,MAAM,SAAS,GACb,UAAU,CAAC,IAAI,KAAK,YAAY;QAC9B,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,iBAAiB,GACrB,QAAQ,EAAE,IAAI,KAAK,MAAM;QACvB,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC;QAChE,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;YAChC,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YAC/C,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,oBAAoB,GAAG,6CAA6C,CACxE,UAAU,EACV,iBAAiB,EACjB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,yBAAyB,CAChD,UAAU,EACV,QAAQ,EACR,OAAO,CACR,CAAC;IACF,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,wBAAwB,CACrD,oBAAoB,EACpB,OAAO,CACR;QACC,CAAC,CAAC,CAAC,cAAc,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;QACnD,CAAC,CAAC,WAAW,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,gBAAgB;SAC7B;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,YAA0B,EAC1B,OAAuB,EACsB,EAAE;IAC/C,MAAM,4BAA4B,GAChC,4CAA4C,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,4BAA4B,EAAE,CAAC;QACjC,OAAO,4BAA4B,CAAC;IACtC,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC;IAC3C,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,SAAS,GACb,YAAY,CAAC,IAAI,KAAK,YAAY;YAChC,CAAC,CAAC,YAAY,CAAC,IAAI;YACnB,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,cAAc;gBACpC,CAAC,CAAC,wBAAwB,CAAC,YAAY,CAAC;gBACxC,CAAC,CAAC,SAAS,CAAC;QAElB,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC9B,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;oBACzB,MAAM,qBAAqB,GAAG,+BAA+B,CAC3D,QAAQ,CAAC,WAAW,EACpB,OAAO,CACR,CAAC;oBACF,OAAO,WAAW,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;gBACrD,CAAC;gBAED,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC;gBACnD,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,GAClC,0CAA0C,CACxC,UAAU,EACV,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;gBACJ,IAAI,aAAa,EAAE,CAAC;oBAClB,OAAO,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;gBACxC,CAAC;gBAED,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;oBAClB,MAAM,mBAAmB,GACvB,2BAA2B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;wBACnD,QAAQ,CAAC,IAAI,CAAC;oBAChB,OAAO,WAAW,CAChB,+BAA+B,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAC7D,OAAO,CACR,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACrE,MAAM,oBAAoB,GAAG,uBAAuB,CAClD,sBAAsB,EACtB,OAAO,CACR,CAAC;IACF,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,GAAG,WAAW,CAClD,+BAA+B,CAAC,oBAAoB,EAAE,OAAO,CAAC,EAC9D,OAAO,CACR,CAAC;QACF,MAAM,+BAA+B,GACnC,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QAC5E,OAAO;YACL;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,+BAA+B;gBAC5C,IAAI,EAAE,CAAC;aACR;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAChB,+BAA+B,CAAC,sBAAsB,EAAE,OAAO,CAAC,EAChE,OAAO,CACR,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/access-resolution-types.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Member access type helpers and member name resolution.
+ * Handles type proof checks, member name emission, static type references,
+ * property membership from bindings registry, and plain object type checks.
+ */
+import { IrExpression, type IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../core/format/backend-ast/types.js";
+/**
+ * Check if an expression has proven Int32 type from the numeric proof pass.
+ */
+export declare const hasInt32Proof: (expr: IrExpression) => boolean;
+export type MemberAccessUsage = "value" | "call" | "write";
+export declare const stripClrGenericArity: (typeName: string) => string;
+export declare const createStringLiteralExpression: (value: string) => CSharpExpressionAst;
+export declare const isObjectTypeAst: (typeAst: CSharpTypeAst) => boolean;
+export declare const isPlainObjectIrType: (type: IrType | undefined, context: EmitterContext) => boolean;
+export declare const hasSourceDeclaredMember: (receiverType: IrType | undefined, memberName: string, usage: MemberAccessUsage, context: EmitterContext) => boolean;
+export declare const hasPropertyFromBindingsRegistry: (type: Extract<IrType, {
+    kind: "referenceType";
+}>, propertyName: string, context: EmitterContext) => boolean | undefined;
+export declare const emitMemberName: (receiverExpr: IrExpression, receiverType: IrType | undefined, memberName: string, context: EmitterContext, usage: MemberAccessUsage) => string;
+/**
+ * Check if an expression represents a static type reference (not an instance)
+ */
+export declare const isStaticTypeReference: (expr: Extract<IrExpression, {
+    kind: "memberAccess";
+}>, context: EmitterContext) => boolean;
+//# sourceMappingURL=access-resolution-types.d.ts.map

package/dist/expressions/access-resolution-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-resolution-types.d.ts","sourceRoot":"","sources":["../../src/expressions/access-resolution-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,qCAAqC,CAAC;AAM7C;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,YAAY,KAAG,OAgBlD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAE3D,eAAO,MAAM,oBAAoB,GAAI,UAAU,MAAM,KAAG,MACzB,CAAC;AAEhC,eAAO,MAAM,6BAA6B,GACxC,OAAO,MAAM,KACZ,mBAA2C,CAAC;AAE/C,eAAO,MAAM,eAAe,GAAI,SAAS,aAAa,KAAG,OAoBxD,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAIF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,cAAc,MAAM,GAAG,SAAS,EAChC,YAAY,MAAM,EAClB,OAAO,iBAAiB,EACxB,SAAS,cAAc,KACtB,OAsDF,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAAO,GAAG,SAyCZ,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,cAAc,YAAY,EAC1B,cAAc,MAAM,GAAG,SAAS,EAChC,YAAY,MAAM,EAClB,SAAS,cAAc,EACvB,OAAO,iBAAiB,KACvB,MA2EF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,SAAS,cAAc,KACtB,OA0BF,CAAC"}

package/dist/expressions/access-resolution-types.js

@@ -0,0 +1,192 @@
+/**
+ * Member access type helpers and member name resolution.
+ * Handles type proof checks, member name emission, static type references,
+ * property membership from bindings registry, and plain object type checks.
+ */
+import { resolveTypeAlias, stripNullish, hasDeterministicPropertyMembership, resolveLocalTypeInfo, } from "../core/semantic/type-resolution.js";
+import { emitCSharpName } from "../naming-policy.js";
+import { stringLiteral } from "../core/format/backend-ast/builders.js";
+import { lookupLocalTypeMemberKind, resolveTypeMemberKind, typeMemberKindToBucket, } from "../core/semantic/member-surfaces.js";
+import { stripNullableTypeAst } from "../core/format/backend-ast/utils.js";
+// ============================================================================
+// CONTRACT: Emitter ONLY consumes proof markers.
+// ============================================================================
+/**
+ * Check if an expression has proven Int32 type from the numeric proof pass.
+ */
+export const hasInt32Proof = (expr) => {
+    if (expr.inferredType?.kind === "primitiveType" &&
+        expr.inferredType.name === "int") {
+        return true;
+    }
+    if (expr.inferredType?.kind === "referenceType" &&
+        expr.inferredType.name === "int") {
+        return true;
+    }
+    return false;
+};
+export const stripClrGenericArity = (typeName) => typeName.replace(/`\d+$/, "");
+export const createStringLiteralExpression = (value) => stringLiteral(value);
+export const isObjectTypeAst = (typeAst) => {
+    const concrete = stripNullableTypeAst(typeAst);
+    if (concrete.kind === "predefinedType") {
+        return concrete.keyword === "object";
+    }
+    if (concrete.kind === "identifierType") {
+        const normalized = concrete.name.replace(/^global::/, "");
+        return normalized === "object" || normalized === "System.Object";
+    }
+    if (concrete.kind === "qualifiedIdentifierType") {
+        const qualifier = concrete.name.aliasQualifier
+            ? `${concrete.name.aliasQualifier}::`
+            : "";
+        const printed = `${qualifier}${concrete.name.segments.join(".")}`.replace(/^global::/, "");
+        return printed === "System.Object";
+    }
+    return false;
+};
+export const isPlainObjectIrType = (type, context) => {
+    if (!type)
+        return false;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return resolved.kind === "referenceType" && resolved.name === "object";
+};
+export const hasSourceDeclaredMember = (receiverType, memberName, usage, context) => {
+    if (!receiverType) {
+        return false;
+    }
+    const resolved = resolveTypeAlias(stripNullish(receiverType), context);
+    if (usage === "value") {
+        if (resolved.kind === "objectType") {
+            return resolved.members.some((member) => member.kind === "propertySignature" && member.name === memberName);
+        }
+        if (resolved.kind === "referenceType" &&
+            hasDeterministicPropertyMembership(resolved, memberName, context) === true) {
+            return true;
+        }
+    }
+    if (resolved.kind !== "referenceType") {
+        return false;
+    }
+    if (resolved.structuralMembers?.some((member) => member.name === memberName)) {
+        return true;
+    }
+    const localInfo = resolveLocalTypeInfo(resolved, context)?.info;
+    if (!localInfo) {
+        return false;
+    }
+    switch (localInfo.kind) {
+        case "class":
+            return localInfo.members.some((member) => usage === "call"
+                ? member.kind === "methodDeclaration" && member.name === memberName
+                : member.kind === "propertyDeclaration" && member.name === memberName);
+        case "interface":
+            return localInfo.members.some((member) => (usage === "call"
+                ? member.kind === "methodSignature"
+                : member.kind === "propertySignature") && member.name === memberName);
+        default:
+            return false;
+    }
+};
+export const hasPropertyFromBindingsRegistry = (type, propertyName, context) => {
+    const registry = context.bindingsRegistry;
+    if (!registry || registry.size === 0)
+        return undefined;
+    const candidates = new Set();
+    const addCandidate = (value) => {
+        if (!value)
+            return;
+        candidates.add(value);
+        if (value.includes(".")) {
+            const leaf = value.split(".").pop();
+            if (leaf)
+                candidates.add(leaf);
+        }
+    };
+    addCandidate(type.name);
+    addCandidate(type.typeId?.tsName);
+    addCandidate(type.resolvedClrType);
+    addCandidate(type.typeId?.clrName);
+    for (const value of Array.from(candidates)) {
+        if (value.endsWith("$instance")) {
+            candidates.add(value.slice(0, -"$instance".length));
+        }
+        if (value.startsWith("__") && value.endsWith("$views")) {
+            candidates.add(value.slice("__".length, -"$views".length));
+        }
+    }
+    for (const key of candidates) {
+        const binding = registry.get(key);
+        if (!binding)
+            continue;
+        return binding.members.some((member) => member.kind === "property" &&
+            (member.alias === propertyName ||
+                member.name === propertyName ||
+                member.binding.member === propertyName));
+    }
+    return undefined;
+};
+export const emitMemberName = (receiverExpr, receiverType, memberName, context, usage) => {
+    if (usage === "call") {
+        if (receiverType) {
+            const resolved = resolveTypeAlias(stripNullish(receiverType), context);
+            if (resolved.kind === "referenceType") {
+                const localInfo = resolveLocalTypeInfo(resolved, context)?.info;
+                if (localInfo?.kind === "class") {
+                    const method = localInfo.members.find((member) => member.kind === "methodDeclaration" && member.name === memberName);
+                    if (method?.overloadFamily?.publicName) {
+                        return emitCSharpName(method.overloadFamily.publicName, "methods", context);
+                    }
+                }
+                if (localInfo?.kind === "interface") {
+                    const method = localInfo.members.find((member) => member.kind === "methodSignature" && member.name === memberName);
+                    if (method?.overloadFamily?.publicName) {
+                        return emitCSharpName(method.overloadFamily.publicName, "methods", context);
+                    }
+                }
+            }
+        }
+        return emitCSharpName(memberName, "methods", context);
+    }
+    if (receiverExpr.kind === "identifier") {
+        const binding = context.importBindings?.get(receiverExpr.name);
+        if (binding?.kind === "namespace") {
+            return emitCSharpName(memberName, "fields", context);
+        }
+    }
+    const receiverBindingName = receiverExpr.kind === "identifier" ? receiverExpr.name : undefined;
+    const fallbackLocalKind = receiverBindingName
+        ? lookupLocalTypeMemberKind(receiverBindingName, memberName, context)
+        : undefined;
+    const memberKind = resolveTypeMemberKind(receiverType, memberName, context, receiverBindingName) ?? fallbackLocalKind;
+    if (memberKind) {
+        return emitCSharpName(memberName, typeMemberKindToBucket(memberKind), context);
+    }
+    return emitCSharpName(memberName, "properties", context);
+};
+/**
+ * Check if an expression represents a static type reference (not an instance)
+ */
+export const isStaticTypeReference = (expr, context) => {
+    if (expr.object.kind === "identifier") {
+        const importBinding = context.importBindings?.get(expr.object.name);
+        if (importBinding?.kind === "type" || importBinding?.kind === "namespace") {
+            return true;
+        }
+        if (!expr.object.inferredType)
+            return false;
+    }
+    const objectType = expr.object.inferredType;
+    if (objectType?.kind === "referenceType" ||
+        objectType?.kind === "arrayType" ||
+        objectType?.kind === "intersectionType" ||
+        objectType?.kind === "unionType" ||
+        objectType?.kind === "primitiveType" ||
+        objectType?.kind === "literalType" ||
+        objectType?.kind === "typeParameterType" ||
+        objectType?.kind === "unknownType") {
+        return false;
+    }
+    return true;
+};
+//# sourceMappingURL=access-resolution-types.js.map

package/dist/expressions/access-resolution-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-resolution-types.js","sourceRoot":"","sources":["../../src/expressions/access-resolution-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,kCAAkC,EAClC,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AACvE,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAM3E,+EAA+E;AAC/E,iDAAiD;AACjD,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAIF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE,CAC/D,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEhC,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAa,EACQ,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;AAE/C,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAW,EAAE;IACjE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC;IACvC,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1D,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,eAAe,CAAC;IACnE,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,cAAc;YAC5C,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,cAAc,IAAI;YACrC,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,OAAO,GAAG,GAAG,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CACvE,WAAW,EACX,EAAE,CACH,CAAC;QACF,OAAO,OAAO,KAAK,eAAe,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,YAAgC,EAChC,UAAkB,EAClB,KAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;QACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,CAC1B,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACpE,CAAC;QACJ,CAAC;QAED,IACE,QAAQ,CAAC,IAAI,KAAK,eAAe;YACjC,kCAAkC,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,IAAI,EAC1E,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,EACxE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IAChE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,KAAK,KAAK,MAAM;gBACd,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;gBACnE,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACxE,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,KAAK,KAAK,MAAM;gBACf,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB;gBACnC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACzE,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAgD,EAChD,YAAoB,EACpB,OAAuB,EACF,EAAE;IACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,YAAY,GAAG,CAAC,KAAyB,EAAQ,EAAE;QACvD,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpC,IAAI,IAAI;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC;IAEF,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAChC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CACzB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,UAAU;YAC1B,CAAC,MAAM,CAAC,KAAK,KAAK,YAAY;gBAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;gBAC5B,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,YAAY,CAAC,CAC5C,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,YAA0B,EAC1B,YAAgC,EAChC,UAAkB,EAClB,OAAuB,EACvB,KAAwB,EAChB,EAAE;IACV,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QACrB,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;gBAChE,IAAI,SAAS,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;oBAChC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACnC,CACE,MAAM,EAIN,EAAE,CACF,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACpE,CAAC;oBACF,IAAI,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;wBACvC,OAAO,cAAc,CACnB,MAAM,CAAC,cAAc,CAAC,UAAU,EAChC,SAAS,EACT,OAAO,CACR,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;oBACpC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACnC,CACE,MAAM,EAIN,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CACrE,CAAC;oBACF,IAAI,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;wBACvC,OAAO,cAAc,CACnB,MAAM,CAAC,cAAc,CAAC,UAAU,EAChC,SAAS,EACT,OAAO,CACR,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,OAAO,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,OAAO,cAAc,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,GACvB,YAAY,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,MAAM,iBAAiB,GAAG,mBAAmB;QAC3C,CAAC,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,UAAU,EAAE,OAAO,CAAC;QACrE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,UAAU,GACd,qBAAqB,CACnB,YAAY,EACZ,UAAU,EACV,OAAO,EACP,mBAAmB,CACpB,IAAI,iBAAiB,CAAC;IACzB,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,cAAc,CACnB,UAAU,EACV,sBAAsB,CAAC,UAAU,CAAC,EAClC,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAqD,EACrD,OAAuB,EACd,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,IAAI,aAAa,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YAC1E,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY;YAAE,OAAO,KAAK,CAAC;IAC9C,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAE5C,IACE,UAAU,EAAE,IAAI,KAAK,eAAe;QACpC,UAAU,EAAE,IAAI,KAAK,WAAW;QAChC,UAAU,EAAE,IAAI,KAAK,kBAAkB;QACvC,UAAU,EAAE,IAAI,KAAK,WAAW;QAChC,UAAU,EAAE,IAAI,KAAK,eAAe;QACpC,UAAU,EAAE,IAAI,KAAK,aAAa;QAClC,UAAU,EAAE,IAAI,KAAK,mBAAmB;QACxC,UAAU,EAAE,IAAI,KAAK,aAAa,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/expressions/access-resolution.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Member access resolution helpers — facade re-exports.
+ *
+ * Implementations live in:
+ *   - access-resolution-types.ts
+ *   - access-resolution-receivers.ts
+ */
+export { hasInt32Proof, type MemberAccessUsage, stripClrGenericArity, createStringLiteralExpression, isObjectTypeAst, isPlainObjectIrType, hasSourceDeclaredMember, hasPropertyFromBindingsRegistry, emitMemberName, isStaticTypeReference, } from "./access-resolution-types.js";
+export { eraseOutOfScopeArrayWrapperTypeParameters, emitArrayWrapperElementTypeAst, emitStorageCompatibleArrayWrapperElementTypeAst, maybeReifyErasedArrayElement, maybeReifyStorageErasedMemberRead, tryEmitMaterializedNarrowedMemberRead, tryEmitStorageCompatibleNarrowedMemberRead, resolveEffectiveReceiverType, resolveEmittedReceiverTypeAst, tryEmitBroadArrayAssertionReceiverStorageAst, } from "./access-resolution-receivers.js";
+//# sourceMappingURL=access-resolution.d.ts.map

package/dist/expressions/access-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-resolution.d.ts","sourceRoot":"","sources":["../../src/expressions/access-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,aAAa,EACb,KAAK,iBAAiB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,eAAe,EACf,mBAAmB,EACnB,uBAAuB,EACvB,+BAA+B,EAC/B,cAAc,EACd,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,yCAAyC,EACzC,8BAA8B,EAC9B,+CAA+C,EAC/C,4BAA4B,EAC5B,iCAAiC,EACjC,qCAAqC,EACrC,0CAA0C,EAC1C,4BAA4B,EAC5B,6BAA6B,EAC7B,4CAA4C,GAC7C,MAAM,kCAAkC,CAAC"}