@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/direct-storage-types.js

@@ -0,0 +1,441 @@
+import { identifierExpression } from "../core/format/backend-ast/builders.js";
+import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+import { tryResolveRuntimeUnionMemberType } from "../core/semantic/narrowed-expression-types.js";
+import { getMemberAccessNarrowKey } from "../core/semantic/narrowing-keys.js";
+import { extractCalleeNameFromAst, sameTypeAstSurface, } from "../core/format/backend-ast/utils.js";
+import { matchesExpectedEmissionType } from "../core/semantic/expected-type-matching.js";
+import { runtimeUnionAliasReferencesMatch } from "../core/semantic/runtime-union-alias-identity.js";
+import { splitRuntimeNullishUnionMembers, stripNullish, } from "../core/semantic/type-resolution.js";
+import { buildRuntimeUnionLayout, buildRuntimeUnionTypeAst, } from "../core/semantic/runtime-unions.js";
+import { willCarryAsRuntimeUnion } from "../core/semantic/union-semantics.js";
+import { emitTypeAst } from "../type-emitter.js";
+import { resolveDirectStorageIrType, resolveIdentifierCarrierStorageType, resolveIdentifierRuntimeCarrierType, resolveRuntimeCarrierIrType, } from "../core/semantic/direct-storage-ir-types.js";
+const matchesStoredExpressionAst = (left, right) => {
+    if (!left || !right) {
+        return false;
+    }
+    if (left === right) {
+        return true;
+    }
+    if (left.kind !== right.kind) {
+        return false;
+    }
+    switch (left.kind) {
+        case "identifierExpression":
+            return (right.kind === "identifierExpression" &&
+                left.identifier === right.identifier);
+        case "parenthesizedExpression":
+            return (right.kind === "parenthesizedExpression" &&
+                matchesStoredExpressionAst(left.expression, right.expression));
+        case "castExpression":
+        case "asExpression":
+            return (right.kind === left.kind &&
+                sameTypeAstSurface(left.type, right.type) &&
+                matchesStoredExpressionAst(left.expression, right.expression));
+        case "memberAccessExpression":
+            return (right.kind === "memberAccessExpression" &&
+                left.memberName === right.memberName &&
+                matchesStoredExpressionAst(left.expression, right.expression));
+        case "conditionalMemberAccessExpression":
+            return (right.kind === "conditionalMemberAccessExpression" &&
+                left.memberName === right.memberName &&
+                matchesStoredExpressionAst(left.expression, right.expression));
+        case "invocationExpression":
+            return (right.kind === "invocationExpression" &&
+                matchesStoredExpressionAst(left.expression, right.expression) &&
+                left.arguments.length === right.arguments.length &&
+                left.arguments.every((argument, index) => matchesStoredExpressionAst(argument, right.arguments[index])));
+        default:
+            return false;
+    }
+};
+const isBroadObjectTypeAst = (typeAst) => {
+    if (!typeAst) {
+        return false;
+    }
+    const concrete = typeAst.kind === "nullableType" ? typeAst.underlyingType : typeAst;
+    return ((concrete.kind === "predefinedType" && concrete.keyword === "object") ||
+        (concrete.kind === "identifierType" && concrete.name === "object") ||
+        (concrete.kind === "qualifiedIdentifierType" &&
+            concrete.name.segments.length === 2 &&
+            concrete.name.segments[0] === "System" &&
+            concrete.name.segments[1] === "Object"));
+};
+const tryResolveProjectedExpressionType = (ast) => {
+    let target = ast;
+    while (target.kind === "parenthesizedExpression" ||
+        target.kind === "castExpression" ||
+        target.kind === "asExpression") {
+        target = target.expression;
+    }
+    if (target.kind !== "invocationExpression") {
+        return undefined;
+    }
+    if (target.expression.kind !== "memberAccessExpression") {
+        return undefined;
+    }
+    if (target.expression.memberName !== "Match") {
+        return undefined;
+    }
+    const [typeArgument] = target.typeArguments ?? [];
+    if (!isBroadObjectTypeAst(typeArgument)) {
+        return undefined;
+    }
+    return { kind: "referenceType", name: "object" };
+};
+const tryConvertExactSurfaceTypeAstToIrType = (typeAst) => {
+    switch (typeAst.kind) {
+        case "predefinedType":
+            switch (typeAst.keyword) {
+                case "bool":
+                    return { kind: "primitiveType", name: "boolean" };
+                case "string":
+                    return { kind: "primitiveType", name: "string" };
+                case "void":
+                    return { kind: "voidType" };
+                case "object":
+                    return { kind: "referenceType", name: "object" };
+                case "byte":
+                    return { kind: "referenceType", name: "byte", resolvedClrType: "global::System.Byte" };
+                case "sbyte":
+                    return { kind: "referenceType", name: "sbyte", resolvedClrType: "global::System.SByte" };
+                case "short":
+                    return { kind: "referenceType", name: "short", resolvedClrType: "global::System.Int16" };
+                case "ushort":
+                    return { kind: "referenceType", name: "ushort", resolvedClrType: "global::System.UInt16" };
+                case "int":
+                    return { kind: "primitiveType", name: "int" };
+                case "uint":
+                    return { kind: "referenceType", name: "uint", resolvedClrType: "global::System.UInt32" };
+                case "long":
+                    return { kind: "referenceType", name: "long", resolvedClrType: "global::System.Int64" };
+                case "ulong":
+                    return { kind: "referenceType", name: "ulong", resolvedClrType: "global::System.UInt64" };
+                case "nint":
+                    return { kind: "referenceType", name: "nint", resolvedClrType: "global::System.IntPtr" };
+                case "nuint":
+                    return { kind: "referenceType", name: "nuint", resolvedClrType: "global::System.UIntPtr" };
+                case "float":
+                    return { kind: "referenceType", name: "float", resolvedClrType: "global::System.Single" };
+                case "double":
+                    return { kind: "primitiveType", name: "number" };
+                case "decimal":
+                    return { kind: "referenceType", name: "decimal", resolvedClrType: "global::System.Decimal" };
+                case "char":
+                    return { kind: "primitiveType", name: "char" };
+                default:
+                    return { kind: "referenceType", name: typeAst.keyword };
+            }
+        case "identifierType": {
+            const typeArguments = typeAst.typeArguments
+                ?.map((typeArgument) => tryConvertExactSurfaceTypeAstToIrType(typeArgument))
+                .filter((typeArgument) => typeArgument !== undefined);
+            return {
+                kind: "referenceType",
+                name: typeAst.name,
+                ...(typeArguments && typeArguments.length > 0 ? { typeArguments } : {}),
+            };
+        }
+        case "qualifiedIdentifierType": {
+            const typeArguments = typeAst.typeArguments
+                ?.map((typeArgument) => tryConvertExactSurfaceTypeAstToIrType(typeArgument))
+                .filter((typeArgument) => typeArgument !== undefined);
+            const resolvedClrType = `${typeAst.name.aliasQualifier ? `${typeAst.name.aliasQualifier}::` : ""}${typeAst.name.segments.join(".")}`;
+            const name = typeAst.name.segments[typeAst.name.segments.length - 1] ??
+                resolvedClrType;
+            return {
+                kind: "referenceType",
+                name,
+                resolvedClrType,
+                ...(typeArguments && typeArguments.length > 0 ? { typeArguments } : {}),
+            };
+        }
+        case "nullableType": {
+            const underlyingType = tryConvertExactSurfaceTypeAstToIrType(typeAst.underlyingType);
+            return underlyingType
+                ? {
+                    kind: "unionType",
+                    types: [
+                        underlyingType,
+                        { kind: "primitiveType", name: "undefined" },
+                    ],
+                }
+                : undefined;
+        }
+        case "arrayType": {
+            if (typeAst.rank !== 1) {
+                return undefined;
+            }
+            const elementType = tryConvertExactSurfaceTypeAstToIrType(typeAst.elementType);
+            return elementType
+                ? {
+                    kind: "arrayType",
+                    elementType,
+                }
+                : undefined;
+        }
+        default:
+            return undefined;
+    }
+};
+const isPlainDirectStorageSurfaceAst = (ast) => {
+    let target = ast;
+    while (target.kind === "parenthesizedExpression" ||
+        target.kind === "castExpression" ||
+        target.kind === "asExpression") {
+        target = target.expression;
+    }
+    return (target.kind === "identifierExpression" ||
+        target.kind === "memberAccessExpression" ||
+        target.kind === "conditionalMemberAccessExpression" ||
+        target.kind === "elementAccessExpression" ||
+        target.kind === "conditionalElementAccessExpression");
+};
+const getSingleNullishBranchStorageType = (type) => {
+    if (!type) {
+        return undefined;
+    }
+    const split = splitRuntimeNullishUnionMembers(type);
+    if (!split?.hasRuntimeNullish || split.nonNullishMembers.length !== 1) {
+        return undefined;
+    }
+    return split.nonNullishMembers[0];
+};
+const resolveConditionalBranchStorageType = (expr, ast, context, counterpartType) => {
+    const directType = resolveDirectStorageExpressionType(expr, ast, context);
+    if (directType) {
+        return directType;
+    }
+    if (!counterpartType) {
+        return undefined;
+    }
+    const sourceBackedReturnType = "sourceBackedReturnType" in expr ? expr.sourceBackedReturnType : undefined;
+    const nullishBranchStorageType = getSingleNullishBranchStorageType(sourceBackedReturnType) ??
+        getSingleNullishBranchStorageType(expr.inferredType);
+    if (!nullishBranchStorageType) {
+        return undefined;
+    }
+    return matchesExpectedEmissionType(nullishBranchStorageType, counterpartType, context) &&
+        matchesExpectedEmissionType(counterpartType, nullishBranchStorageType, context)
+        ? nullishBranchStorageType
+        : undefined;
+};
+export const resolveExactStorageSurfaceExpressionType = (ast) => {
+    let target = ast;
+    while (target.kind === "parenthesizedExpression") {
+        target = target.expression;
+    }
+    switch (target.kind) {
+        case "castExpression":
+        case "asExpression":
+            return tryConvertExactSurfaceTypeAstToIrType(target.type);
+        case "objectCreationExpression":
+            return tryConvertExactSurfaceTypeAstToIrType(target.type);
+        case "arrayCreationExpression":
+            return (() => {
+                const elementType = tryConvertExactSurfaceTypeAstToIrType(target.elementType);
+                return elementType
+                    ? {
+                        kind: "arrayType",
+                        elementType,
+                    }
+                    : undefined;
+            })();
+        case "invocationExpression": {
+            if (extractCalleeNameFromAst(target.expression) !==
+                "global::System.Array.Empty" ||
+                target.typeArguments?.length !== 1) {
+                return undefined;
+            }
+            const [elementTypeArgument] = target.typeArguments;
+            const elementType = elementTypeArgument &&
+                tryConvertExactSurfaceTypeAstToIrType(elementTypeArgument);
+            return elementType
+                ? {
+                    kind: "arrayType",
+                    elementType,
+                }
+                : undefined;
+        }
+        default:
+            return undefined;
+    }
+};
+export const resolveDirectStorageExpressionType = (expr, ast, context) => {
+    const directAst = (() => {
+        let target = ast;
+        while (target.kind === "parenthesizedExpression") {
+            target = target.expression;
+        }
+        return target;
+    })();
+    const projectedType = tryResolveProjectedExpressionType(ast);
+    if (projectedType) {
+        return projectedType;
+    }
+    const exactSurfaceType = resolveExactStorageSurfaceExpressionType(ast);
+    if (exactSurfaceType) {
+        return exactSurfaceType;
+    }
+    const directReturnedExpressionType = (() => {
+        const isRuntimeProjectionMatchAst = directAst.kind === "invocationExpression" &&
+            (extractCalleeNameFromAst(directAst.expression)?.endsWith(".Match") ??
+                false);
+        if (isRuntimeProjectionMatchAst) {
+            return undefined;
+        }
+        if ((expr.kind === "call" && directAst.kind === "invocationExpression") ||
+            (expr.kind === "new" && directAst.kind === "objectCreationExpression") ||
+            (expr.kind === "await" && directAst.kind === "awaitExpression")) {
+            return resolveDirectStorageIrType(expr, context);
+        }
+        return undefined;
+    })();
+    if (directReturnedExpressionType) {
+        return directReturnedExpressionType;
+    }
+    if (expr.kind === "conditional" &&
+        directAst.kind === "conditionalExpression") {
+        const directWhenTrueType = resolveDirectStorageExpressionType(expr.whenTrue, directAst.whenTrue, context);
+        const directWhenFalseType = resolveDirectStorageExpressionType(expr.whenFalse, directAst.whenFalse, context);
+        const whenTrueType = directWhenTrueType ??
+            resolveConditionalBranchStorageType(expr.whenTrue, directAst.whenTrue, context, directWhenFalseType);
+        const whenFalseType = directWhenFalseType ??
+            resolveConditionalBranchStorageType(expr.whenFalse, directAst.whenFalse, context, directWhenTrueType);
+        if (whenTrueType &&
+            whenFalseType &&
+            matchesExpectedEmissionType(whenTrueType, whenFalseType, context) &&
+            matchesExpectedEmissionType(whenFalseType, whenTrueType, context)) {
+            return whenTrueType;
+        }
+    }
+    const narrowKey = expr.kind === "identifier"
+        ? expr.name
+        : expr.kind === "memberAccess"
+            ? getMemberAccessNarrowKey(expr)
+            : undefined;
+    const narrowed = narrowKey
+        ? context.narrowedBindings?.get(narrowKey)
+        : undefined;
+    if (narrowed?.kind === "expr") {
+        if (matchesStoredExpressionAst(ast, narrowed.carrierExprAst)) {
+            return (narrowed.carrierType ??
+                narrowed.sourceType ??
+                resolveRuntimeCarrierIrType(expr, context) ??
+                narrowed.type ??
+                narrowed.storageType);
+        }
+        if (matchesStoredExpressionAst(ast, narrowed.storageExprAst)) {
+            return (narrowed.storageType ??
+                narrowed.type ??
+                narrowed.sourceType ??
+                resolveDirectStorageIrType(expr, context));
+        }
+        if (matchesStoredExpressionAst(ast, narrowed.exprAst)) {
+            const directStorageSurfaceType = isPlainDirectStorageSurfaceAst(ast)
+                ? resolveDirectStorageIrType(expr, context)
+                : undefined;
+            return (tryResolveRuntimeUnionMemberType(narrowed.sourceType ??
+                narrowed.carrierType ??
+                narrowed.storageType ??
+                narrowed.type, ast, context) ??
+                directStorageSurfaceType ??
+                narrowed.storageType ??
+                narrowed.type ??
+                narrowed.sourceType);
+        }
+    }
+    if (narrowed?.kind === "runtimeSubset" &&
+        matchesStoredExpressionAst(ast, narrowed.storageExprAst)) {
+        return (narrowed.sourceType ??
+            narrowed.type ??
+            resolveDirectStorageIrType(expr, context));
+    }
+    const directStorageType = resolveDirectStorageIrType(expr, context);
+    if (expr.kind === "identifier") {
+        const storageType = directStorageType;
+        const remappedLocal = context.localNameMap?.get(expr.name) ?? expr.name;
+        if (ast.kind !== "identifierExpression" ||
+            ast.identifier !== remappedLocal) {
+            return tryResolveRuntimeUnionMemberType(storageType, ast, context);
+        }
+        return storageType;
+    }
+    if (expr.kind !== "memberAccess") {
+        return undefined;
+    }
+    const storageType = directStorageType;
+    if (ast.kind !== "memberAccessExpression" &&
+        ast.kind !== "conditionalMemberAccessExpression") {
+        return tryResolveRuntimeUnionMemberType(storageType, ast, context);
+    }
+    return storageType;
+};
+export const resolveDirectStorageExpressionAst = (expr, context) => {
+    if (expr.kind !== "identifier" && expr.kind !== "memberAccess") {
+        return undefined;
+    }
+    const narrowKey = expr.kind === "identifier" ? expr.name : getMemberAccessNarrowKey(expr);
+    const narrowed = narrowKey
+        ? context.narrowedBindings?.get(narrowKey)
+        : undefined;
+    if (narrowed?.kind === "expr" && narrowed.storageExprAst) {
+        return narrowed.storageExprAst;
+    }
+    if (expr.kind !== "identifier") {
+        return undefined;
+    }
+    return identifierExpression(context.localNameMap?.get(expr.name) ?? escapeCSharpIdentifier(expr.name));
+};
+export const resolveRuntimeCarrierExpressionAst = (expr, context) => {
+    const hasRuntimeCarrierSurface = (candidateAst) => {
+        if (!candidateAst) {
+            return false;
+        }
+        const runtimeCarrierType = resolveRuntimeCarrierIrType(expr, context);
+        const candidateType = resolveDirectStorageExpressionType(expr, candidateAst, context);
+        if (!runtimeCarrierType || !candidateType) {
+            return false;
+        }
+        if (willCarryAsRuntimeUnion(runtimeCarrierType, context) ||
+            willCarryAsRuntimeUnion(candidateType, context)) {
+            if (!willCarryAsRuntimeUnion(runtimeCarrierType, context) ||
+                !willCarryAsRuntimeUnion(candidateType, context)) {
+                return false;
+            }
+            if (runtimeUnionAliasReferencesMatch(candidateType, runtimeCarrierType, context)) {
+                return true;
+            }
+            const [candidateLayout, candidateLayoutContext] = buildRuntimeUnionLayout(candidateType, context, emitTypeAst);
+            const [runtimeCarrierLayout] = buildRuntimeUnionLayout(runtimeCarrierType, candidateLayoutContext, emitTypeAst);
+            return (!!candidateLayout &&
+                !!runtimeCarrierLayout &&
+                sameTypeAstSurface(buildRuntimeUnionTypeAst(candidateLayout), buildRuntimeUnionTypeAst(runtimeCarrierLayout)));
+        }
+        return (runtimeUnionAliasReferencesMatch(candidateType, runtimeCarrierType, context) ||
+            (matchesExpectedEmissionType(stripNullish(candidateType), stripNullish(runtimeCarrierType), context) &&
+                matchesExpectedEmissionType(stripNullish(runtimeCarrierType), stripNullish(candidateType), context)));
+    };
+    if (expr.kind !== "identifier" && expr.kind !== "memberAccess") {
+        return undefined;
+    }
+    const narrowKey = expr.kind === "identifier" ? expr.name : getMemberAccessNarrowKey(expr);
+    const narrowed = narrowKey
+        ? context.narrowedBindings?.get(narrowKey)
+        : undefined;
+    if (narrowed?.kind === "expr") {
+        return ([narrowed.carrierExprAst, narrowed.exprAst, narrowed.storageExprAst].find(hasRuntimeCarrierSurface) ??
+            narrowed.carrierExprAst ??
+            narrowed.storageExprAst ??
+            narrowed.exprAst);
+    }
+    if (narrowed?.kind === "runtimeSubset" && narrowed.storageExprAst) {
+        return narrowed.storageExprAst;
+    }
+    if (expr.kind !== "identifier") {
+        return undefined;
+    }
+    return identifierExpression(context.localNameMap?.get(expr.name) ?? escapeCSharpIdentifier(expr.name));
+};
+export { resolveDirectStorageIrType, resolveIdentifierCarrierStorageType, resolveIdentifierRuntimeCarrierType, resolveRuntimeCarrierIrType, };
+//# sourceMappingURL=direct-storage-types.js.map

package/dist/expressions/direct-storage-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-storage-types.js","sourceRoot":"","sources":["../../src/expressions/direct-storage-types.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAM9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EACL,+BAA+B,EAC/B,YAAY,GACb,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,EACnC,mCAAmC,EACnC,2BAA2B,GAC5B,MAAM,6CAA6C,CAAC;AAErD,MAAM,0BAA0B,GAAG,CACjC,IAAqC,EACrC,KAAsC,EAC7B,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,sBAAsB;YACzB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,sBAAsB;gBACrC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CACrC,CAAC;QACJ,KAAK,yBAAyB;YAC5B,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,yBAAyB;gBACxC,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAC9D,CAAC;QACJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACxB,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;gBACzC,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAC9D,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,wBAAwB;gBACvC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;gBACpC,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAC9D,CAAC;QACJ,KAAK,mCAAmC;YACtC,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,mCAAmC;gBAClD,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;gBACpC,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAC9D,CAAC;QACJ,KAAK,sBAAsB;YACzB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,sBAAsB;gBACrC,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM;gBAChD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACvC,0BAA0B,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAC7D,CACF,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,OAAkC,EAAW,EAAE;IAC3E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GACZ,OAAO,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;IACrE,OAAO,CACL,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC;QACrE,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QAClE,CAAC,QAAQ,CAAC,IAAI,KAAK,yBAAyB;YAC1C,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ;YACtC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,GAAwB,EACJ,EAAE;IACtB,IAAI,MAAM,GAAG,GAAG,CAAC;IACjB,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAChC,MAAM,CAAC,IAAI,KAAK,cAAc,EAC9B,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;IAClD,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,OAAsB,EACF,EAAE;IACtB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,gBAAgB;YACnB,QAAQ,OAAO,CAAC,OAAO,EAAE,CAAC;gBACxB,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;gBACpD,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC9B,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,qBAAqB,EAAE,CAAC;gBACzF,KAAK,OAAO;oBACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,CAAC;gBAC3F,KAAK,OAAO;oBACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,CAAC;gBAC3F,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,uBAAuB,EAAE,CAAC;gBAC7F,KAAK,KAAK;oBACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAChD,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,uBAAuB,EAAE,CAAC;gBAC3F,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,sBAAsB,EAAE,CAAC;gBAC1F,KAAK,OAAO;oBACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,CAAC;gBAC5F,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,uBAAuB,EAAE,CAAC;gBAC3F,KAAK,OAAO;oBACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,CAAC;gBAC7F,KAAK,OAAO;oBACV,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,CAAC;gBAC5F,KAAK,QAAQ;oBACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnD,KAAK,SAAS;oBACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,wBAAwB,EAAE,CAAC;gBAC/F,KAAK,MAAM;oBACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBACjD;oBACE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5D,CAAC;QACH,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa;gBACzC,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACrB,qCAAqC,CAAC,YAAY,CAAC,CACpD;iBACA,MAAM,CACL,CAAC,YAAY,EAA0B,EAAE,CAAC,YAAY,KAAK,SAAS,CACrE,CAAC;YACJ,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa;gBACzC,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACrB,qCAAqC,CAAC,YAAY,CAAC,CACpD;iBACA,MAAM,CACL,CAAC,YAAY,EAA0B,EAAE,CAAC,YAAY,KAAK,SAAS,CACrE,CAAC;YACJ,MAAM,eAAe,GAAG,GACtB,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,EACrE,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;gBACvD,eAAe,CAAC;YAClB,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI;gBACJ,eAAe;gBACf,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,cAAc,GAAG,qCAAqC,CAC1D,OAAO,CAAC,cAAc,CACvB,CAAC;YACF,OAAO,cAAc;gBACnB,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,cAAc;wBACd,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;qBAC7C;iBACF;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,WAAW,GAAG,qCAAqC,CACvD,OAAO,CAAC,WAAW,CACpB,CAAC;YACF,OAAO,WAAW;gBAChB,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW;iBACZ;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,GAAwB,EACf,EAAE;IACX,IAAI,MAAM,GAAG,GAAG,CAAC;IACjB,OACE,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAChC,MAAM,CAAC,IAAI,KAAK,cAAc,EAC9B,CAAC;QACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,sBAAsB;QACtC,MAAM,CAAC,IAAI,KAAK,wBAAwB;QACxC,MAAM,CAAC,IAAI,KAAK,mCAAmC;QACnD,MAAM,CAAC,IAAI,KAAK,yBAAyB;QACzC,MAAM,CAAC,IAAI,KAAK,oCAAoC,CACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,IAAkB,EAClB,GAAwB,EACxB,OAAuB,EACvB,eAAmC,EACf,EAAE;IACtB,MAAM,UAAU,GAAG,kCAAkC,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,sBAAsB,GAC1B,wBAAwB,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,MAAM,wBAAwB,GAC5B,iCAAiC,CAAC,sBAAsB,CAAC;QACzD,iCAAiC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvD,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,2BAA2B,CAChC,wBAAwB,EACxB,eAAe,EACf,OAAO,CACR;QACC,2BAA2B,CACzB,eAAe,EACf,wBAAwB,EACxB,OAAO,CACR;QACD,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,GAAwB,EACJ,EAAE;IACtB,IAAI,MAAM,GAAG,GAAG,CAAC;IACjB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,qCAAqC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5D,KAAK,0BAA0B;YAC7B,OAAO,qCAAqC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5D,KAAK,yBAAyB;YAC5B,OAAO,CAAC,GAAG,EAAE;gBACX,MAAM,WAAW,GAAG,qCAAqC,CACvD,MAAM,CAAC,WAAW,CACnB,CAAC;gBACF,OAAO,WAAW;oBAChB,CAAC,CAAC;wBACE,IAAI,EAAE,WAAW;wBACjB,WAAW;qBACZ;oBACH,CAAC,CAAC,SAAS,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,IACE,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC;gBACzC,4BAA4B;gBAC9B,MAAM,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAClC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,mBAAmB,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC;YACnD,MAAM,WAAW,GACf,mBAAmB;gBACnB,qCAAqC,CAAC,mBAAmB,CAAC,CAAC;YAC7D,OAAO,WAAW;gBAChB,CAAC,CAAC;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW;iBACZ;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAkB,EAClB,GAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE;QACtB,IAAI,MAAM,GAAG,GAAG,CAAC;QACjB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;QAC7B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,aAAa,GAAG,iCAAiC,CAAC,GAAG,CAAC,CAAC;IAC7D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,MAAM,gBAAgB,GAAG,wCAAwC,CAAC,GAAG,CAAC,CAAC;IACvE,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,4BAA4B,GAAG,CAAC,GAAG,EAAE;QACzC,MAAM,2BAA2B,GAC/B,SAAS,CAAC,IAAI,KAAK,sBAAsB;YACzC,CAAC,wBAAwB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC;gBACjE,KAAK,CAAC,CAAC;QACX,IAAI,2BAA2B,EAAE,CAAC;YAChC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IACE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,CAAC;YACnE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,CAAC;YACtE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,CAAC,EAC/D,CAAC;YACD,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,4BAA4B,EAAE,CAAC;QACjC,OAAO,4BAA4B,CAAC;IACtC,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,aAAa;QAC3B,SAAS,CAAC,IAAI,KAAK,uBAAuB,EAC1C,CAAC;QACD,MAAM,kBAAkB,GAAG,kCAAkC,CAC3D,IAAI,CAAC,QAAQ,EACb,SAAS,CAAC,QAAQ,EAClB,OAAO,CACR,CAAC;QACF,MAAM,mBAAmB,GAAG,kCAAkC,CAC5D,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,SAAS,EACnB,OAAO,CACR,CAAC;QACF,MAAM,YAAY,GAChB,kBAAkB;YAClB,mCAAmC,CACjC,IAAI,CAAC,QAAQ,EACb,SAAS,CAAC,QAAQ,EAClB,OAAO,EACP,mBAAmB,CACpB,CAAC;QACJ,MAAM,aAAa,GACjB,mBAAmB;YACnB,mCAAmC,CACjC,IAAI,CAAC,SAAS,EACd,SAAS,CAAC,SAAS,EACnB,OAAO,EACP,kBAAkB,CACnB,CAAC;QACJ,IACE,YAAY;YACZ,aAAa;YACb,2BAA2B,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC;YACjE,2BAA2B,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,EACjE,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;IACH,CAAC;IAGD,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY;QACxB,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;YAC5B,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC;YAChC,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,IAAI,0BAA0B,CAAC,GAAG,EAAE,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC7D,OAAO,CACL,QAAQ,CAAC,WAAW;gBACpB,QAAQ,CAAC,UAAU;gBACnB,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC;gBAC1C,QAAQ,CAAC,IAAI;gBACb,QAAQ,CAAC,WAAW,CACrB,CAAC;QACJ,CAAC;QAED,IAAI,0BAA0B,CAAC,GAAG,EAAE,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC7D,OAAO,CACL,QAAQ,CAAC,WAAW;gBACpB,QAAQ,CAAC,IAAI;gBACb,QAAQ,CAAC,UAAU;gBACnB,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,CAAC;QAED,IAAI,0BAA0B,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACtD,MAAM,wBAAwB,GAAG,8BAA8B,CAAC,GAAG,CAAC;gBAClE,CAAC,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC;gBAC3C,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,CACL,gCAAgC,CAC9B,QAAQ,CAAC,UAAU;gBACjB,QAAQ,CAAC,WAAW;gBACpB,QAAQ,CAAC,WAAW;gBACpB,QAAQ,CAAC,IAAI,EACf,GAAG,EACH,OAAO,CACR;gBACD,wBAAwB;gBACxB,QAAQ,CAAC,WAAW;gBACpB,QAAQ,CAAC,IAAI;gBACb,QAAQ,CAAC,UAAU,CACpB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,QAAQ,EAAE,IAAI,KAAK,eAAe;QAClC,0BAA0B,CAAC,GAAG,EAAE,QAAQ,CAAC,cAAc,CAAC,EACxD,CAAC;QACD,OAAO,CACL,QAAQ,CAAC,UAAU;YACnB,QAAQ,CAAC,IAAI;YACb,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,iBAAiB,CAAC;QACtC,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC;QACxE,IACE,GAAG,CAAC,IAAI,KAAK,sBAAsB;YACnC,GAAG,CAAC,UAAU,KAAK,aAAa,EAChC,CAAC;YACD,OAAO,gCAAgC,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACrE,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,iBAAiB,CAAC;IACtC,IACE,GAAG,CAAC,IAAI,KAAK,wBAAwB;QACrC,GAAG,CAAC,IAAI,KAAK,mCAAmC,EAChD,CAAC;QACD,OAAO,gCAAgC,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAkB,EAClB,OAAuB,EACU,EAAE;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QACzD,OAAO,QAAQ,CAAC,cAAc,CAAC;IACjC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CACzB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAkB,EAClB,OAAuB,EACU,EAAE;IACnC,MAAM,wBAAwB,GAAG,CAC/B,YAA6C,EACR,EAAE;QACvC,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtE,MAAM,aAAa,GAAG,kCAAkC,CACtD,IAAI,EACJ,YAAY,EACZ,OAAO,CACR,CAAC;QACF,IAAI,CAAC,kBAAkB,IAAI,CAAC,aAAa,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IACE,uBAAuB,CAAC,kBAAkB,EAAE,OAAO,CAAC;YACpD,uBAAuB,CAAC,aAAa,EAAE,OAAO,CAAC,EAC/C,CAAC;YACD,IACE,CAAC,uBAAuB,CAAC,kBAAkB,EAAE,OAAO,CAAC;gBACrD,CAAC,uBAAuB,CAAC,aAAa,EAAE,OAAO,CAAC,EAChD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IACE,gCAAgC,CAC9B,aAAa,EACb,kBAAkB,EAClB,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,CAAC,eAAe,EAAE,sBAAsB,CAAC,GAAG,uBAAuB,CACvE,aAAa,EACb,OAAO,EACP,WAAW,CACZ,CAAC;YACF,MAAM,CAAC,oBAAoB,CAAC,GAAG,uBAAuB,CACpD,kBAAkB,EAClB,sBAAsB,EACtB,WAAW,CACZ,CAAC;YACF,OAAO,CACL,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,oBAAoB;gBACtB,kBAAkB,CAChB,wBAAwB,CAAC,eAAe,CAAC,EACzC,wBAAwB,CAAC,oBAAoB,CAAC,CAC/C,CACF,CAAC;QACJ,CAAC;QAED,OAAO,CACL,gCAAgC,CAC9B,aAAa,EACb,kBAAkB,EAClB,OAAO,CACR;YACD,CAAC,2BAA2B,CAC1B,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,kBAAkB,CAAC,EAChC,OAAO,CACR;gBACC,2BAA2B,CACzB,YAAY,CAAC,kBAAkB,CAAC,EAChC,YAAY,CAAC,aAAa,CAAC,EAC3B,OAAO,CACR,CAAC,CACL,CAAC;IACJ,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GACb,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CACL,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC,IAAI,CACvE,wBAAwB,CACzB;YACD,QAAQ,CAAC,cAAc;YACvB,QAAQ,CAAC,cAAc;YACvB,QAAQ,CAAC,OAAO,CACjB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAClE,OAAO,QAAQ,CAAC,cAAc,CAAC;IACjC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CACzB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,EACnC,mCAAmC,EACnC,2BAA2B,GAC5B,CAAC"}

package/dist/expressions/exact-comparison.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Exact-comparison lowering helpers.
+ * Determines whether an already-emitted C# AST node matches an expected type,
+ * avoiding redundant casts.
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../core/format/backend-ast/types.js";
+export declare const hasNullishBranch: (type: IrType | undefined) => boolean;
+export declare const tryEmitExactComparisonTargetAst: (type: IrType, context: EmitterContext) => [CSharpTypeAst, EmitterContext] | undefined;
+export declare const canUseImplicitOptionalSurfaceConversion: (actualType: IrType, expectedType: IrType, context: EmitterContext) => boolean;
+export declare const isExactCastToType: (ast: CSharpExpressionAst, targetType: CSharpTypeAst) => boolean;
+export declare const isExactAsExpressionToType: (ast: CSharpExpressionAst, targetType: CSharpTypeAst) => boolean;
+export declare const isExactArrayCreationToType: (ast: CSharpExpressionAst, targetType: CSharpTypeAst) => boolean;
+export declare const isExactNullableValueAccessToType: (ast: CSharpExpressionAst, actualType: IrType, expectedType: IrType, context: EmitterContext) => boolean;
+export declare const isExactExpressionToType: (ast: CSharpExpressionAst, targetType: CSharpTypeAst) => boolean;
+//# sourceMappingURL=exact-comparison.d.ts.map

package/dist/expressions/exact-comparison.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-comparison.d.ts","sourceRoot":"","sources":["../../src/expressions/exact-comparison.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAgB7C,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,qCAAqC,CAAC;AAO7C,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAO3D,CAAC;AAwHF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,SA4BpC,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAmBF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,KAAK,mBAAmB,EACxB,YAAY,aAAa,KACxB,OACwE,CAAC;AAE5E,eAAO,MAAM,yBAAyB,GACpC,KAAK,mBAAmB,EACxB,YAAY,aAAa,KACxB,OACsE,CAAC;AAE1E,eAAO,MAAM,0BAA0B,GACrC,KAAK,mBAAmB,EACxB,YAAY,aAAa,KACxB,OAmCF,CAAC;AAyHF,eAAO,MAAM,gCAAgC,GAC3C,KAAK,mBAAmB,EACxB,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OA2BF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,KAAK,mBAAmB,EACxB,YAAY,aAAa,KACxB,OASkD,CAAC"}