@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/nullable-typeof-refinements.js

@@ -0,0 +1,408 @@
+/**
+ * Nullable and typeof narrowing refinements.
+ * Handles applySimpleNullableRefinement, applyDirectTypeofRefinement,
+ * and applyArrayIsArrayRefinement.
+ */
+import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
+import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
+import { matchesTypeofTag, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, stripNullish, isDefinitelyValueType, resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
+import { unwrapTransparentNarrowingTarget } from "./transparent-expressions.js";
+import { buildUnionNarrowAst, withoutNarrowedBinding, applyBinding, buildExprBinding, buildProjectedExprBinding, tryStripConditionalNullishGuardAst, narrowTypeByArrayShape, narrowTypeByNotAssignableTarget, isArrayLikeNarrowingCandidate, currentNarrowedType, resolveRuntimeUnionFrame, resolveRuntimeSubsetSourceInfo, resolveExistingNarrowingSourceType, isNullOrUndefined, buildRuntimeUnionComplementBinding, applyDirectTypeNarrowing, } from "./narrowing-builders.js";
+import { materializeDirectNarrowingAst } from "./materialized-narrowing.js";
+import { resolveIdentifierRuntimeCarrierType } from "./direct-storage-ir-types.js";
+import { resolveRuntimeArrayMemberStorageType, SYSTEM_ARRAY_STORAGE_TYPE, } from "./broad-array-storage.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { isBroadObjectSlotType } from "./js-value-types.js";
+const BROAD_OBJECT_ARRAY_TYPE = {
+    kind: "arrayType",
+    elementType: {
+        kind: "referenceType",
+        name: "object",
+        resolvedClrType: "global::System.Object",
+    },
+};
+const resolveRefinementCurrentType = (bindingKey, targetExpr, context) => currentNarrowedType(bindingKey, resolveEffectiveExpressionType(targetExpr, context) ??
+    targetExpr.inferredType, context);
+const resolveNullishRefinementCurrentType = (bindingKey, targetExpr, context) => {
+    const semanticType = resolveRefinementCurrentType(bindingKey, targetExpr, context);
+    if (targetExpr.kind !== "identifier") {
+        return semanticType;
+    }
+    const storageType = context.localValueTypes?.get(targetExpr.name);
+    const storageSplit = storageType
+        ? splitRuntimeNullishUnionMembers(storageType)
+        : undefined;
+    if (!storageType || !storageSplit?.hasRuntimeNullish) {
+        return semanticType;
+    }
+    const semanticSplit = semanticType
+        ? splitRuntimeNullishUnionMembers(semanticType)
+        : undefined;
+    if (semanticSplit?.hasRuntimeNullish) {
+        return semanticType;
+    }
+    const storageBase = stripNullish(storageType);
+    const semanticBase = semanticType ? stripNullish(semanticType) : undefined;
+    return !semanticBase ||
+        areIrTypesEquivalent(storageBase, semanticBase, context)
+        ? storageType
+        : semanticType;
+};
+const supportsDeterministicTruthyNullishRefinement = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (isDefinitelyValueType(resolved)) {
+        return false;
+    }
+    switch (resolved.kind) {
+        case "referenceType":
+        case "objectType":
+        case "arrayType":
+        case "tupleType":
+        case "dictionaryType":
+        case "functionType":
+            return true;
+        case "unionType":
+            return resolved.types.every((member) => supportsDeterministicTruthyNullishRefinement(member, context));
+        case "intersectionType":
+            return resolved.types.every((member) => supportsDeterministicTruthyNullishRefinement(member, context));
+        default:
+            return false;
+    }
+};
+export const applyTruthinessNullishRefinement = (condition, branch, context, emitExprAst) => {
+    if (branch !== "truthy") {
+        return undefined;
+    }
+    const target = unwrapTransparentNarrowingTarget(condition);
+    if (!target) {
+        return undefined;
+    }
+    const bindingKey = target.kind === "identifier"
+        ? target.name
+        : getMemberAccessNarrowKey(target);
+    if (!bindingKey) {
+        return undefined;
+    }
+    const currentType = resolveNullishRefinementCurrentType(bindingKey, target, context);
+    if (!currentType) {
+        return undefined;
+    }
+    const strippedType = stripNullish(currentType);
+    if (areIrTypesEquivalent(strippedType, currentType, context)) {
+        return undefined;
+    }
+    if (!supportsDeterministicTruthyNullishRefinement(strippedType, context)) {
+        return undefined;
+    }
+    const existingBinding = context.narrowedBindings?.get(bindingKey);
+    const [projectedTargetAst, projectedTargetContext] = emitExprAst(target, context);
+    const [rawTargetAst, rawTargetContext] = emitExprAst(target, withoutNarrowedBinding(context, bindingKey));
+    const sourceType = resolveExistingNarrowingSourceType(bindingKey, currentType, context);
+    const carrierExprAst = existingBinding?.kind === "expr"
+        ? (existingBinding.carrierExprAst ?? rawTargetAst)
+        : rawTargetAst;
+    const rawIdentifierStorageType = target.kind === "identifier"
+        ? rawTargetContext.localValueTypes?.get(target.name)
+        : undefined;
+    const rawIdentifierCarrierType = target.kind === "identifier"
+        ? resolveIdentifierRuntimeCarrierType(target, rawTargetContext)
+        : undefined;
+    const storageType = (existingBinding?.kind === "expr"
+        ? existingBinding.storageType
+        : undefined) ??
+        rawIdentifierStorageType ??
+        currentType ??
+        target.inferredType;
+    const carrierType = (existingBinding?.kind === "expr"
+        ? existingBinding.carrierType
+        : undefined) ??
+        rawIdentifierCarrierType ??
+        sourceType ??
+        storageType;
+    const projectedExprAst = existingBinding?.kind === "expr"
+        ? existingBinding.exprAst
+        : projectedTargetAst;
+    const tightenedExprAst = tryStripConditionalNullishGuardAst(projectedExprAst) ?? projectedExprAst;
+    return applyBinding(bindingKey, buildExprBinding(tightenedExprAst, strippedType, sourceType, tightenedExprAst, strippedType, carrierExprAst, carrierType), projectedTargetContext);
+};
+export const applySimpleNullableRefinement = (condition, branch, context, emitExprAst) => {
+    const nullableGuard = (() => {
+        if (condition.kind !== "binary")
+            return undefined;
+        const op = condition.operator;
+        const isNotEqual = op === "!==" || op === "!=";
+        const isEqual = op === "===" || op === "==";
+        if (!isNotEqual && !isEqual)
+            return undefined;
+        let operand;
+        let key;
+        if (isNullOrUndefined(condition.right)) {
+            operand = unwrapTransparentNarrowingTarget(condition.left);
+        }
+        else if (isNullOrUndefined(condition.left)) {
+            operand = unwrapTransparentNarrowingTarget(condition.right);
+        }
+        if (!operand)
+            return undefined;
+        key =
+            operand.kind === "identifier"
+                ? operand.name
+                : getMemberAccessNarrowKey(operand);
+        if (!key)
+            return undefined;
+        const idType = resolveNullishRefinementCurrentType(key, operand, context);
+        if (!idType)
+            return undefined;
+        const stripped = stripNullish(idType);
+        if (areIrTypesEquivalent(stripped, idType, context)) {
+            return undefined;
+        }
+        return {
+            key,
+            targetExpr: operand,
+            strippedType: stripped,
+            narrowsInThen: isNotEqual,
+            isValueType: isDefinitelyValueType(stripped),
+        };
+    })();
+    if (!nullableGuard) {
+        return undefined;
+    }
+    const shouldNarrowToNonNull = branch === "truthy"
+        ? nullableGuard.narrowsInThen
+        : !nullableGuard.narrowsInThen;
+    if (!shouldNarrowToNonNull) {
+        return undefined;
+    }
+    const currentType = resolveNullishRefinementCurrentType(nullableGuard.key, nullableGuard.targetExpr, context);
+    if (!currentType) {
+        return undefined;
+    }
+    const strippedType = stripNullish(currentType);
+    if (areIrTypesEquivalent(strippedType, currentType, context)) {
+        const existingBinding = context.narrowedBindings?.get(nullableGuard.key);
+        if (existingBinding?.kind === "expr") {
+            const strippedExprAst = tryStripConditionalNullishGuardAst(existingBinding.exprAst);
+            if (strippedExprAst) {
+                return applyBinding(nullableGuard.key, buildExprBinding(strippedExprAst, existingBinding.type ?? strippedType, existingBinding.sourceType ?? currentType, strippedExprAst, existingBinding.type ?? strippedType, existingBinding.carrierExprAst, existingBinding.carrierType), context);
+            }
+        }
+        return undefined;
+    }
+    const existingBinding = context.narrowedBindings?.get(nullableGuard.key);
+    const [projectedTargetAst, projectedTargetContext] = emitExprAst(nullableGuard.targetExpr, context);
+    const [rawTargetAst, rawTargetContext] = emitExprAst(nullableGuard.targetExpr, withoutNarrowedBinding(context, nullableGuard.key));
+    const sourceType = resolveExistingNarrowingSourceType(nullableGuard.key, currentType, context);
+    const carrierExprAst = existingBinding?.kind === "expr"
+        ? (existingBinding.carrierExprAst ??
+            existingBinding.storageExprAst ??
+            rawTargetAst)
+        : rawTargetAst;
+    const rawIdentifierStorageType = nullableGuard.targetExpr.kind === "identifier"
+        ? rawTargetContext.localValueTypes?.get(nullableGuard.targetExpr.name)
+        : undefined;
+    const rawIdentifierCarrierType = nullableGuard.targetExpr.kind === "identifier"
+        ? resolveIdentifierRuntimeCarrierType(nullableGuard.targetExpr, rawTargetContext)
+        : undefined;
+    const storageType = (existingBinding?.kind === "expr"
+        ? existingBinding.storageType
+        : undefined) ??
+        rawIdentifierStorageType ??
+        currentType ??
+        nullableGuard.targetExpr.inferredType;
+    const carrierType = (existingBinding?.kind === "expr"
+        ? existingBinding.carrierType
+        : undefined) ??
+        rawIdentifierCarrierType ??
+        sourceType ??
+        storageType;
+    const projectedExprAst = existingBinding?.kind === "expr"
+        ? existingBinding.exprAst
+        : projectedTargetAst;
+    const [materializedExprAst, materializedContext] = nullableGuard.isValueType || isDefinitelyValueType(strippedType)
+        ? materializeDirectNarrowingAst(rawTargetAst, currentType, strippedType, rawTargetContext)
+        : [
+            tryStripConditionalNullishGuardAst(projectedExprAst) ??
+                projectedExprAst,
+            projectedTargetContext,
+        ];
+    const storageCompatibleExprAst = materializedExprAst;
+    const storageCompatibleType = strippedType;
+    return applyBinding(nullableGuard.key, buildExprBinding(materializedExprAst, strippedType, sourceType, storageCompatibleExprAst, storageCompatibleType, carrierExprAst, carrierType), materializedContext);
+};
+export const applyDirectTypeofRefinement = (condition, branch, context, emitExprAst) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "===" &&
+        condition.operator !== "==" &&
+        condition.operator !== "!==" &&
+        condition.operator !== "!=") {
+        return undefined;
+    }
+    const extract = (left, right) => {
+        if (left.kind !== "unary" || left.operator !== "typeof")
+            return undefined;
+        const target = unwrapTransparentNarrowingTarget(left.expression);
+        if (!target)
+            return undefined;
+        if (right.kind !== "literal" || typeof right.value !== "string") {
+            return undefined;
+        }
+        const bindingKey = target.kind === "identifier"
+            ? target.name
+            : getMemberAccessNarrowKey(target);
+        if (!bindingKey)
+            return undefined;
+        return {
+            bindingKey,
+            targetExpr: target,
+            tag: right.value,
+        };
+    };
+    const directGuard = extract(condition.left, condition.right) ??
+        extract(condition.right, condition.left);
+    if (!directGuard)
+        return undefined;
+    const matchesInTruthyBranch = condition.operator === "===" || condition.operator === "==";
+    const matchTag = branch === "truthy" ? matchesInTruthyBranch : !matchesInTruthyBranch;
+    const currentType = resolveRefinementCurrentType(directGuard.bindingKey, directGuard.targetExpr, context);
+    const narrowedType = matchTag
+        ? narrowTypeByTypeofTag(currentType, directGuard.tag, context)
+        : narrowTypeByNotTypeofTag(currentType, directGuard.tag, context);
+    if (!narrowedType) {
+        return undefined;
+    }
+    const rawCarrierContext = withoutNarrowedBinding(context, directGuard.bindingKey);
+    const [rawTargetAst, rawTargetContext] = emitExprAst(directGuard.targetExpr, rawCarrierContext);
+    const runtimeFrameContext = {
+        ...rawTargetContext,
+        narrowedBindings: context.narrowedBindings,
+    };
+    const runtimeUnionFrame = currentType
+        ? resolveRuntimeUnionFrame(directGuard.bindingKey, currentType, runtimeFrameContext)
+        : undefined;
+    const matchingRuntimeMemberIndex = runtimeUnionFrame?.members.findIndex((member) => matchesTypeofTag(member, directGuard.tag, rawTargetContext)) ?? -1;
+    if (runtimeUnionFrame &&
+        matchingRuntimeMemberIndex >= 0 &&
+        runtimeUnionFrame.members.filter((member) => matchesTypeofTag(member, directGuard.tag, rawTargetContext)).length === 1) {
+        const memberN = runtimeUnionFrame.candidateMemberNs[matchingRuntimeMemberIndex] ??
+            matchingRuntimeMemberIndex + 1;
+        const memberType = runtimeUnionFrame.members[matchingRuntimeMemberIndex] ?? narrowedType;
+        if (matchTag) {
+            return applyBinding(directGuard.bindingKey, buildProjectedExprBinding(buildUnionNarrowAst(rawTargetAst, memberN), narrowedType, resolveExistingNarrowingSourceType(directGuard.bindingKey, currentType, context), rawTargetAst), rawTargetContext);
+        }
+        const complementBinding = buildRuntimeUnionComplementBinding(rawTargetAst, runtimeUnionFrame, currentType ?? narrowedType, narrowedType, memberN, rawTargetContext, currentType
+            ? resolveRuntimeSubsetSourceInfo(directGuard.bindingKey, currentType, runtimeUnionFrame, context)
+            : undefined);
+        if (complementBinding) {
+            return applyBinding(directGuard.bindingKey, complementBinding, rawTargetContext);
+        }
+        void memberType;
+    }
+    return applyDirectTypeNarrowing(directGuard.bindingKey, directGuard.targetExpr, narrowedType, context, emitExprAst);
+};
+export const applyArrayIsArrayRefinement = (condition, branch, context, emitExprAst) => {
+    const extractDirect = (expr) => {
+        if (expr.kind !== "call")
+            return undefined;
+        if (expr.arguments.length !== 1)
+            return undefined;
+        if (expr.callee.kind !== "memberAccess" || expr.callee.isComputed) {
+            return undefined;
+        }
+        if (expr.callee.property !== "isArray")
+            return undefined;
+        if (expr.callee.object.kind !== "identifier" ||
+            expr.callee.object.name !== "Array") {
+            return undefined;
+        }
+        const [rawTarget] = expr.arguments;
+        if (!rawTarget)
+            return undefined;
+        const target = unwrapTransparentNarrowingTarget(rawTarget);
+        if (!target)
+            return undefined;
+        const bindingKey = target.kind === "identifier"
+            ? target.name
+            : getMemberAccessNarrowKey(target);
+        if (!bindingKey)
+            return undefined;
+        return {
+            bindingKey,
+            targetExpr: target,
+            narrowsInTruthyBranch: true,
+        };
+    };
+    const direct = extractDirect(condition);
+    if (!direct) {
+        return undefined;
+    }
+    const wantArray = branch === "truthy"
+        ? direct.narrowsInTruthyBranch
+        : !direct.narrowsInTruthyBranch;
+    const currentType = resolveRefinementCurrentType(direct.bindingKey, direct.targetExpr, context);
+    const predicateTargetType = condition.kind === "call" && condition.narrowing?.kind === "typePredicate"
+        ? condition.narrowing.targetType
+        : undefined;
+    const predicateArrayTargetType = wantArray && predicateTargetType
+        ? (narrowTypeByArrayShape(predicateTargetType, true, context) ??
+            (isArrayLikeNarrowingCandidate(predicateTargetType, context)
+                ? predicateTargetType
+                : undefined))
+        : undefined;
+    const explicitNarrowedType = narrowTypeByArrayShape(currentType, wantArray, context) ??
+        narrowTypeByArrayShape(direct.targetExpr.inferredType, wantArray, context) ??
+        (wantArray
+            ? predicateArrayTargetType
+            : narrowTypeByNotAssignableTarget(currentType, predicateTargetType, context));
+    const explicitArrayNarrowedType = wantArray &&
+        explicitNarrowedType &&
+        !isArrayLikeNarrowingCandidate(explicitNarrowedType, context)
+        ? undefined
+        : explicitNarrowedType;
+    const canUseBroadArrayFallback = (() => {
+        if (!wantArray) {
+            return false;
+        }
+        const candidate = currentType ?? direct.targetExpr.inferredType;
+        if (!candidate) {
+            return true;
+        }
+        const resolved = resolveTypeAlias(stripNullish(candidate), context);
+        return (resolved.kind === "anyType" ||
+            resolved.kind === "unknownType" ||
+            isBroadObjectSlotType(resolved, context));
+    })();
+    const narrowedType = explicitArrayNarrowedType ??
+        (canUseBroadArrayFallback ? BROAD_OBJECT_ARRAY_TYPE : undefined);
+    if (!narrowedType) {
+        return undefined;
+    }
+    const [rawTargetAst, rawTargetContext] = emitExprAst(direct.targetExpr, withoutNarrowedBinding(context, direct.bindingKey));
+    const runtimeUnionFrame = currentType &&
+        resolveRuntimeUnionFrame(direct.bindingKey, currentType, rawTargetContext);
+    const runtimeArrayPairs = runtimeUnionFrame?.members.flatMap((member, index) => {
+        if (!member || !isArrayLikeNarrowingCandidate(member, rawTargetContext)) {
+            return [];
+        }
+        const runtimeMemberN = runtimeUnionFrame.candidateMemberNs[index];
+        if (!runtimeMemberN)
+            return [];
+        return [{ memberType: member, runtimeMemberN }];
+    }) ?? [];
+    if (runtimeUnionFrame && runtimeArrayPairs.length === 1) {
+        const runtimeArrayPair = runtimeArrayPairs[0];
+        if (!runtimeArrayPair) {
+            return undefined;
+        }
+        if (wantArray) {
+            return applyBinding(direct.bindingKey, buildProjectedExprBinding(buildUnionNarrowAst(rawTargetAst, runtimeArrayPair.runtimeMemberN), narrowedType, resolveExistingNarrowingSourceType(direct.bindingKey, currentType, context), rawTargetAst, resolveRuntimeArrayMemberStorageType(runtimeArrayPair.memberType, rawTargetContext)), rawTargetContext);
+        }
+        const complementBinding = buildRuntimeUnionComplementBinding(rawTargetAst, runtimeUnionFrame, currentType, narrowedType, runtimeArrayPair.runtimeMemberN, rawTargetContext, resolveRuntimeSubsetSourceInfo(direct.bindingKey, currentType, runtimeUnionFrame, context));
+        if (complementBinding) {
+            return applyBinding(direct.bindingKey, complementBinding, rawTargetContext);
+        }
+    }
+    return applyDirectTypeNarrowing(direct.bindingKey, direct.targetExpr, narrowedType, context, emitExprAst, wantArray ? SYSTEM_ARRAY_STORAGE_TYPE : undefined);
+};
+//# sourceMappingURL=nullable-typeof-refinements.js.map

package/dist/core/semantic/nullable-typeof-refinements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-typeof-refinements.js","sourceRoot":"","sources":["../../../src/core/semantic/nullable-typeof-refinements.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,wBAAwB,EACxB,YAAY,EACZ,qBAAqB,EACrB,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAGL,mBAAmB,EACnB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,yBAAyB,EACzB,kCAAkC,EAClC,sBAAsB,EACtB,+BAA+B,EAC/B,6BAA6B,EAC7B,mBAAmB,EACnB,wBAAwB,EACxB,8BAA8B,EAC9B,kCAAkC,EAClC,iBAAiB,EACjB,kCAAkC,EAClC,wBAAwB,GACzB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EACL,oCAAoC,EACpC,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,MAAM,uBAAuB,GAAW;IACtC,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE;QACX,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,eAAe,EAAE,uBAAuB;KACzC;CACF,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,UAAkB,EAClB,UAA0E,EAC1E,OAAuB,EACvB,EAAE,CACF,mBAAmB,CACjB,UAAU,EACV,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;IACjD,UAAU,CAAC,YAAY,EACzB,OAAO,CACR,CAAC;AAEJ,MAAM,mCAAmC,GAAG,CAC1C,UAAkB,EAClB,UAA0E,EAC1E,OAAuB,EACH,EAAE;IACtB,MAAM,YAAY,GAAG,4BAA4B,CAC/C,UAAU,EACV,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,WAAW;QAC9B,CAAC,CAAC,+BAA+B,CAAC,WAAW,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,WAAW,IAAI,CAAC,YAAY,EAAE,iBAAiB,EAAE,CAAC;QACrD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,aAAa,GAAG,YAAY;QAChC,CAAC,CAAC,+BAA+B,CAAC,YAAY,CAAC;QAC/C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,aAAa,EAAE,iBAAiB,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,CAAC,YAAY;QAClB,oBAAoB,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC;QACxD,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,YAAY,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,4CAA4C,GAAG,CACnD,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC;QACrB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,4CAA4C,CAAC,MAAM,EAAE,OAAO,CAAC,CAC9D,CAAC;QACJ,KAAK,kBAAkB;YACrB,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,4CAA4C,CAAC,MAAM,EAAE,OAAO,CAAC,CAC9D,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,mCAAmC,CACrD,UAAU,EACV,MAAM,EACN,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,oBAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,4CAA4C,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,GAAG,WAAW,CAC9D,MAAM,EACN,OAAO,CACR,CAAC;IACF,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,MAAM,EACN,sBAAsB,CAAC,OAAO,EAAE,UAAU,CAAC,CAC5C,CAAC;IACF,MAAM,UAAU,GAAG,kCAAkC,CACnD,UAAU,EACV,WAAW,EACX,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc,IAAI,YAAY,CAAC;QAClD,CAAC,CAAC,YAAY,CAAC;IACnB,MAAM,wBAAwB,GAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,wBAAwB,GAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,CAAC,mCAAmC,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC/D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GACf,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;QAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;QAC7B,CAAC,CAAC,SAAS,CAAC;QACd,wBAAwB;QACxB,WAAW;QACX,MAAM,CAAC,YAAY,CAAC;IACtB,MAAM,WAAW,GACf,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;QAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;QAC7B,CAAC,CAAC,SAAS,CAAC;QACd,wBAAwB;QACxB,UAAU;QACV,WAAW,CAAC;IACd,MAAM,gBAAgB,GACpB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,eAAe,CAAC,OAAO;QACzB,CAAC,CAAC,kBAAkB,CAAC;IACzB,MAAM,gBAAgB,GACpB,kCAAkC,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,CAAC;IAE3E,OAAO,YAAY,CACjB,UAAU,EACV,gBAAgB,CACd,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,WAAW,CACZ,EACD,sBAAsB,CACvB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE;QAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAElD,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9B,MAAM,UAAU,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;QAC/C,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAE9C,IAAI,OAES,CAAC;QACd,IAAI,GAAuB,CAAC;QAE5B,IAAI,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,GAAG,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,GAAG,gCAAgC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,CAAC,OAAO;YAAE,OAAO,SAAS,CAAC;QAE/B,GAAG;YACD,OAAO,CAAC,IAAI,KAAK,YAAY;gBAC3B,CAAC,CAAC,OAAO,CAAC,IAAI;gBACd,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAE3B,MAAM,MAAM,GAAG,mCAAmC,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,GAAG;YACH,UAAU,EAAE,OAAO;YACnB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,UAAU;YACzB,WAAW,EAAE,qBAAqB,CAAC,QAAQ,CAAC;SAC7C,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,qBAAqB,GACzB,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,aAAa,CAAC,aAAa;QAC7B,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC;IACnC,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,mCAAmC,CACrD,aAAa,CAAC,GAAG,EACjB,aAAa,CAAC,UAAU,EACxB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,oBAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzE,IAAI,eAAe,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,MAAM,eAAe,GAAG,kCAAkC,CACxD,eAAe,CAAC,OAAO,CACxB,CAAC;YACF,IAAI,eAAe,EAAE,CAAC;gBACpB,OAAO,YAAY,CACjB,aAAa,CAAC,GAAG,EACjB,gBAAgB,CACd,eAAe,EACf,eAAe,CAAC,IAAI,IAAI,YAAY,EACpC,eAAe,CAAC,UAAU,IAAI,WAAW,EACzC,eAAe,EACf,eAAe,CAAC,IAAI,IAAI,YAAY,EACpC,eAAe,CAAC,cAAc,EAC9B,eAAe,CAAC,WAAW,CAC5B,EACD,OAAO,CACR,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IACzE,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,GAAG,WAAW,CAC9D,aAAa,CAAC,UAAU,EACxB,OAAO,CACR,CAAC;IACF,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,aAAa,CAAC,UAAU,EACxB,sBAAsB,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,CACnD,CAAC;IACF,MAAM,UAAU,GAAG,kCAAkC,CACnD,aAAa,CAAC,GAAG,EACjB,WAAW,EACX,OAAO,CACR,CAAC;IACF,MAAM,cAAc,GAClB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc;YAC/B,eAAe,CAAC,cAAc;YAC9B,YAAY,CAAC;QACf,CAAC,CAAC,YAAY,CAAC;IACnB,MAAM,wBAAwB,GAC5B,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QAC5C,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC;QACtE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,wBAAwB,GAC5B,aAAa,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QAC5C,CAAC,CAAC,mCAAmC,CACjC,aAAa,CAAC,UAAU,EACxB,gBAAgB,CACjB;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,WAAW,GACf,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;QAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;QAC7B,CAAC,CAAC,SAAS,CAAC;QACd,wBAAwB;QACxB,WAAW;QACX,aAAa,CAAC,UAAU,CAAC,YAAY,CAAC;IACxC,MAAM,WAAW,GACf,CAAC,eAAe,EAAE,IAAI,KAAK,MAAM;QAC/B,CAAC,CAAC,eAAe,CAAC,WAAW;QAC7B,CAAC,CAAC,SAAS,CAAC;QACd,wBAAwB;QACxB,UAAU;QACV,WAAW,CAAC;IACd,MAAM,gBAAgB,GACpB,eAAe,EAAE,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,eAAe,CAAC,OAAO;QACzB,CAAC,CAAC,kBAAkB,CAAC;IAEzB,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAC9C,aAAa,CAAC,WAAW,IAAI,qBAAqB,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,6BAA6B,CAC3B,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,gBAAgB,CACjB;QACH,CAAC,CAAC;YACE,kCAAkC,CAAC,gBAAgB,CAAC;gBAClD,gBAAgB;YAClB,sBAAsB;SACvB,CAAC;IACR,MAAM,wBAAwB,GAAG,mBAAmB,CAAC;IACrD,MAAM,qBAAqB,GAAG,YAAY,CAAC;IAE3C,OAAO,YAAY,CACjB,aAAa,CAAC,GAAG,EACjB,gBAAgB,CACd,mBAAmB,EACnB,YAAY,EACZ,UAAU,EACV,wBAAwB,EACxB,qBAAqB,EACrB,cAAc,EACd,WAAW,CACZ,EACD,mBAAmB,CACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAUP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,MAAM,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO;YACL,UAAU;YACV,UAAU,EAAE,MAAM;YAClB,GAAG,EAAE,KAAK,CAAC,KAAK;SACjB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,WAAW,GACf,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,MAAM,qBAAqB,GACzB,SAAS,CAAC,QAAQ,KAAK,KAAK,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC;IAC9D,MAAM,QAAQ,GACZ,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC;IAEvE,MAAM,WAAW,GAAG,4BAA4B,CAC9C,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,UAAU,EACtB,OAAO,CACR,CAAC;IACF,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC;QAC9D,CAAC,CAAC,wBAAwB,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,sBAAsB,CAC9C,OAAO,EACP,WAAW,CAAC,UAAU,CACvB,CAAC;IACF,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,WAAW,CAAC,UAAU,EACtB,iBAAiB,CAClB,CAAC;IAEF,MAAM,mBAAmB,GAAG;QAC1B,GAAG,gBAAgB;QACnB,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC;IACF,MAAM,iBAAiB,GAAG,WAAW;QACnC,CAAC,CAAC,wBAAwB,CACtB,WAAW,CAAC,UAAU,EACtB,WAAW,EACX,mBAAmB,CACpB;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,0BAA0B,GAC9B,iBAAiB,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9C,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC5D,IAAI,CAAC,CAAC,CAAC;IAEV,IACE,iBAAiB;QACjB,0BAA0B,IAAI,CAAC;QAC/B,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC1C,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAC5D,CAAC,MAAM,KAAK,CAAC,EACd,CAAC;QACD,MAAM,OAAO,GACX,iBAAiB,CAAC,iBAAiB,CAAC,0BAA0B,CAAC;YAC/D,0BAA0B,GAAG,CAAC,CAAC;QACjC,MAAM,UAAU,GACd,iBAAiB,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,YAAY,CAAC;QAExE,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,YAAY,CACjB,WAAW,CAAC,UAAU,EACtB,yBAAyB,CACvB,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,EAC1C,YAAY,EACZ,kCAAkC,CAChC,WAAW,CAAC,UAAU,EACtB,WAAW,EACX,OAAO,CACR,EACD,YAAY,CACb,EACD,gBAAgB,CACjB,CAAC;QACJ,CAAC;QAED,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,YAAY,EACZ,iBAAiB,EACjB,WAAW,IAAI,YAAY,EAC3B,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,WAAW;YACT,CAAC,CAAC,8BAA8B,CAC5B,WAAW,CAAC,UAAU,EACtB,WAAW,EACX,iBAAiB,EACjB,OAAO,CACR;YACH,CAAC,CAAC,SAAS,CACd,CAAC;QACF,IAAI,iBAAiB,EAAE,CAAC;YACtB,OAAO,YAAY,CACjB,WAAW,CAAC,UAAU,EACtB,iBAAiB,EACjB,gBAAgB,CACjB,CAAC;QACJ,CAAC;QAED,KAAK,UAAU,CAAC;IAClB,CAAC;IAED,OAAO,wBAAwB,CAC7B,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,UAAU,EACtB,YAAY,EACZ,OAAO,EACP,WAAW,CACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,SAAuB,EACvB,MAAwB,EACxB,OAAuB,EACvB,WAA0B,EACE,EAAE;IAC9B,MAAM,aAAa,GAAG,CACpB,IAAkB,EAUN,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAClD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzD,IACE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EACnC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,MAAM,MAAM,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,YAAY;YAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;YACb,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,OAAO;YACL,UAAU;YACV,UAAU,EAAE,MAAM;YAClB,qBAAqB,EAAE,IAAI;SAC5B,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GACb,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,MAAM,CAAC,qBAAqB;QAC9B,CAAC,CAAC,CAAC,MAAM,CAAC,qBAAqB,CAAC;IACpC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,UAAU,EACjB,OAAO,CACR,CAAC;IACF,MAAM,mBAAmB,GACvB,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,SAAS,EAAE,IAAI,KAAK,eAAe;QACxE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,UAAU;QAChC,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,wBAAwB,GAC5B,SAAS,IAAI,mBAAmB;QAC9B,CAAC,CAAC,CAAC,sBAAsB,CAAC,mBAAmB,EAAE,IAAI,EAAE,OAAO,CAAC;YAC3D,CAAC,6BAA6B,CAAC,mBAAmB,EAAE,OAAO,CAAC;gBAC1D,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,oBAAoB,GACxB,sBAAsB,CAAC,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC;QACvD,sBAAsB,CACpB,MAAM,CAAC,UAAU,CAAC,YAAY,EAC9B,SAAS,EACT,OAAO,CACR;QACD,CAAC,SAAS;YACR,CAAC,CAAC,wBAAwB;YAC1B,CAAC,CAAC,+BAA+B,CAC7B,WAAW,EACX,mBAAmB,EACnB,OAAO,CACR,CAAC,CAAC;IACT,MAAM,yBAAyB,GAC7B,SAAS;QACT,oBAAoB;QACpB,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,CAAC;QAC3D,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,oBAAoB,CAAC;IAC3B,MAAM,wBAAwB,GAAG,CAAC,GAAG,EAAE;QACrC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,SAAS,GAAG,WAAW,IAAI,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC;QAChE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;QACpE,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC3B,QAAQ,CAAC,IAAI,KAAK,aAAa;YAC/B,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CACzC,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,YAAY,GAChB,yBAAyB;QACzB,CAAC,wBAAwB,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GAAG,WAAW,CAClD,MAAM,CAAC,UAAU,EACjB,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CACnD,CAAC;IACF,MAAM,iBAAiB,GACrB,WAAW;QACX,wBAAwB,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;IAC7E,MAAM,iBAAiB,GACrB,iBAAiB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACnD,IAAI,CAAC,MAAM,IAAI,CAAC,6BAA6B,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACxE,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAClE,IAAI,CAAC,cAAc;YAAE,OAAO,EAAE,CAAC;QAC/B,OAAO,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,IAAI,EAAE,CAAC;IAEX,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,YAAY,CACjB,MAAM,CAAC,UAAU,EACjB,yBAAyB,CACvB,mBAAmB,CAAC,YAAY,EAAE,gBAAgB,CAAC,cAAc,CAAC,EAClE,YAAY,EACZ,kCAAkC,CAChC,MAAM,CAAC,UAAU,EACjB,WAAW,EACX,OAAO,CACR,EACD,YAAY,EACZ,oCAAoC,CAClC,gBAAgB,CAAC,UAAU,EAC3B,gBAAgB,CACjB,CACF,EACD,gBAAgB,CACjB,CAAC;QACJ,CAAC;QAED,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,YAAY,EACZ,iBAAiB,EACjB,WAAW,EACX,YAAY,EACZ,gBAAgB,CAAC,cAAc,EAC/B,gBAAgB,EAChB,8BAA8B,CAC5B,MAAM,CAAC,UAAU,EACjB,WAAW,EACX,iBAAiB,EACjB,OAAO,CACR,CACF,CAAC;QACF,IAAI,iBAAiB,EAAE,CAAC;YACtB,OAAO,YAAY,CACjB,MAAM,CAAC,UAAU,EACjB,iBAAiB,EACjB,gBAAgB,CACjB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,wBAAwB,CAC7B,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,UAAU,EACjB,YAAY,EACZ,OAAO,EACP,WAAW,EACX,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,SAAS,CAClD,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/nullish-value-helpers.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Nullish stripping, value-type classification, array-like element extraction,
+ * and type-alias resolution. Foundational leaf utilities consumed by all other
+ * type-resolution sub-modules.
+ *
+ * Type-argument substitution lives in:
+ *   - type-substitution.ts
+ */
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const stripNullish: (type: IrType) => IrType;
+export declare const isRuntimeNullishMember: (type: IrType) => boolean;
+/**
+ * Runtime-absence members in TypeScript unions.
+ *
+ * `void` is a type-level way of saying "the runtime value is undefined".
+ * For C# emission we must treat `void` exactly like `undefined` / `null`
+ * when deciding whether a union can be represented as a nullable type.
+ */
+export declare const isRuntimeNullishType: (type: IrType) => boolean;
+/**
+ * Split a union into runtime-nullish members and non-nullish members.
+ *
+ * Returns `undefined` for non-union types.
+ */
+export declare const splitRuntimeNullishUnionMembers: (type: IrType) => {
+    readonly hasRuntimeNullish: boolean;
+    readonly nonNullishMembers: readonly IrType[];
+} | undefined;
+/**
+ * Check if a type is definitely a C# value type.
+ *
+ * Value types require `default` instead of `null` in object initializers
+ * because `null` cannot be assigned to non-nullable value types.
+ *
+ * @param type - The type to check (should be non-nullish, use stripNullish first)
+ * @returns true if the type is a known value type
+ */
+export declare const isDefinitelyValueType: (type: IrType) => boolean;
+/**
+ * Resolve the element type of an array-like IR type after alias/nullish expansion.
+ *
+ * This is used by emission paths that need the element contract of rest parameters
+ * or contextual array expressions even when the surface type is spelled through
+ * local aliases or ReadonlyArray-style wrappers.
+ */
+export declare const getArrayLikeElementType: (type: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const resolveArrayLikeReceiverType: (type: IrType | undefined, context: EmitterContext) => Extract<IrType, {
+    kind: "arrayType";
+}> | undefined;
+/**
+ * Resolve a type alias to its underlying type.
+ *
+ * If the type is a reference type that points to a type alias,
+ * returns the underlying type with type arguments substituted.
+ *
+ * @param type - The type to resolve
+ * @param context - Emitter context with localTypes map
+ * @returns The resolved underlying type, or the original type if not an alias
+ */
+export declare const resolveTypeAlias: (type: IrType, context: EmitterContext, options?: {
+    readonly preserveObjectTypeAliases?: boolean;
+}) => IrType;
+//# sourceMappingURL=nullish-value-helpers.d.ts.map

package/dist/core/semantic/nullish-value-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish-value-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/nullish-value-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAcrD,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,KAAG,MAyB3C,CAAC;AAMF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,OAED,CAAC;AAEtD;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,OAGI,CAAC;AAMzD;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,KAEV;IACE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C,GACD,SAiCH,CAAC;AA8CF;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OAyBpD,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,MAAM,GAAG,SA4BX,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAAG,SAkB3C,CAAC;AAMF;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,UAAS;IACP,QAAQ,CAAC,yBAAyB,CAAC,EAAE,OAAO,CAAC;CACzC,KACL,MA8LF,CAAC"}