@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/runtime-reification.js

@@ -0,0 +1,609 @@
+import { booleanLiteral, identifierExpression, nullLiteral, } from "../format/backend-ast/builders.js";
+import { sameTypeAstSurface, stableConcreteTypeKeyFromAst, stripNullableTypeAst, } from "../format/backend-ast/utils.js";
+import { buildRuntimeUnionFrame, buildRuntimeUnionLayout, buildRuntimeUnionTypeAst, emitRuntimeCarrierTypeAst, findRuntimeUnionMemberIndex, } from "./runtime-unions.js";
+import { buildRuntimeUnionFactoryCallAst, buildInvalidRuntimeUnionMaterializationExpression, buildRuntimeUnionMatchAst, tryBuildRuntimeUnionProjectionToLayoutAst, } from "./runtime-union-projection.js";
+import { resolveDirectRuntimeCarrierType, resolveDirectValueSurfaceType, } from "./direct-value-surfaces.js";
+import { getArrayLikeElementType, resolveTypeAlias, stripNullish, } from "./type-resolution.js";
+import { isBroadObjectSlotType } from "./js-value-types.js";
+import { boxValueAst, buildArrayShapeCondition, buildInvalidReificationExpression, getRuntimeUnionCastMemberTypeAsts, isRuntimeUnionTypeAst, maybeCastMaterializedValueAst, tryResolveRuntimeUnionCastSourceIndices, } from "./runtime-reification-helpers.js";
+import { getRuntimeUnionAliasReferenceKey, runtimeUnionAliasReferencesMatch, } from "./runtime-union-alias-identity.js";
+import { resolveRuntimeMaterializationTargetType } from "./runtime-materialization-targets.js";
+const isBroadObjectRuntimeMemberType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context, {
+        preserveObjectTypeAliases: true,
+    });
+    return ((resolved.kind === "referenceType" && resolved.name === "object") ||
+        isBroadObjectSlotType(resolved, context));
+};
+const tryBuildBroadObjectCatchAllReificationPlan = (valueAst, expectedType, context, emitTypeAst) => {
+    if (!isBroadObjectRuntimeMemberType(expectedType, context)) {
+        return undefined;
+    }
+    const [expectedTypeAst, nextContext] = emitTypeAst(expectedType, context);
+    return {
+        condition: booleanLiteral(true),
+        value: {
+            kind: "castExpression",
+            type: stripNullableTypeAst(expectedTypeAst),
+            expression: valueAst,
+        },
+        context: nextContext,
+    };
+};
+const tryBuildArrayElementMaterializationAst = (valueAst, sourceType, expectedType, context, emitTypeAst) => {
+    const sourceElementType = getArrayLikeElementType(sourceType, context);
+    const targetElementType = getArrayLikeElementType(expectedType, context);
+    if (!sourceElementType || !targetElementType) {
+        return undefined;
+    }
+    const [sourceElementTypeAst, sourceTypeContext] = emitTypeAst(sourceElementType, context);
+    const [targetElementTypeAst, targetTypeContext] = emitTypeAst(targetElementType, sourceTypeContext);
+    if (sameTypeAstSurface(sourceElementTypeAst, targetElementTypeAst)) {
+        return undefined;
+    }
+    if (isBroadObjectSlotType(targetElementType, targetTypeContext)) {
+        const itemName = "__tsonic_array_item";
+        const itemExpr = identifierExpression(itemName);
+        const materializedElement = tryBuildRuntimeMaterializationAst(itemExpr, sourceElementType, targetElementType, targetTypeContext, emitTypeAst);
+        const materializedElementContext = materializedElement?.[1] ?? targetTypeContext;
+        const selectAst = {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::System.Linq.Enumerable.Select"),
+            typeArguments: [sourceElementTypeAst, targetElementTypeAst],
+            arguments: [
+                valueAst,
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: itemName }],
+                    body: materializedElement?.[0] ??
+                        maybeCastMaterializedValueAst(itemExpr, sourceElementTypeAst, targetElementTypeAst),
+                },
+            ],
+        };
+        const toArrayAst = {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::System.Linq.Enumerable.ToArray"),
+            typeArguments: [targetElementTypeAst],
+            arguments: [selectAst],
+        };
+        const [expectedTypeAst, expectedTypeContext] = emitTypeAst(expectedType, materializedElementContext);
+        return [
+            {
+                kind: "castExpression",
+                type: expectedTypeAst,
+                expression: toArrayAst,
+            },
+            expectedTypeContext,
+        ];
+    }
+    const [sourceElementLayout, sourceLayoutContext] = buildRuntimeUnionLayout(sourceElementType, targetTypeContext, emitTypeAst);
+    const [targetElementLayout, targetLayoutContext] = buildRuntimeUnionLayout(targetElementType, sourceLayoutContext, emitTypeAst);
+    if (!sourceElementLayout && targetElementLayout) {
+        const targetMemberIndex = findRuntimeUnionMemberIndex(targetElementLayout.members, sourceElementType, targetLayoutContext);
+        if (targetMemberIndex !== undefined) {
+            const itemName = "__tsonic_array_item";
+            const itemExpr = identifierExpression(itemName);
+            const selectAst = {
+                kind: "invocationExpression",
+                expression: identifierExpression("global::System.Linq.Enumerable.Select"),
+                typeArguments: [sourceElementTypeAst, targetElementTypeAst],
+                arguments: [
+                    valueAst,
+                    {
+                        kind: "lambdaExpression",
+                        isAsync: false,
+                        parameters: [{ name: itemName }],
+                        body: buildRuntimeUnionFactoryCallAst(buildRuntimeUnionTypeAst(targetElementLayout), targetMemberIndex + 1, itemExpr),
+                    },
+                ],
+            };
+            const toArrayAst = {
+                kind: "invocationExpression",
+                expression: identifierExpression("global::System.Linq.Enumerable.ToArray"),
+                typeArguments: [targetElementTypeAst],
+                arguments: [selectAst],
+            };
+            const [expectedTypeAst, expectedTypeContext] = emitTypeAst(expectedType, targetLayoutContext);
+            return [
+                {
+                    kind: "castExpression",
+                    type: expectedTypeAst,
+                    expression: toArrayAst,
+                },
+                expectedTypeContext,
+            ];
+        }
+    }
+    if (!sourceElementLayout) {
+        return undefined;
+    }
+    const itemName = "__tsonic_array_item";
+    const itemExpr = identifierExpression(itemName);
+    const materializedElement = tryBuildRuntimeMaterializationAst(itemExpr, sourceElementType, targetElementType, targetTypeContext, emitTypeAst);
+    if (!materializedElement) {
+        return undefined;
+    }
+    const selectAst = {
+        kind: "invocationExpression",
+        expression: identifierExpression("global::System.Linq.Enumerable.Select"),
+        typeArguments: [sourceElementTypeAst, targetElementTypeAst],
+        arguments: [
+            valueAst,
+            {
+                kind: "lambdaExpression",
+                isAsync: false,
+                parameters: [{ name: itemName }],
+                body: materializedElement[0],
+            },
+        ],
+    };
+    const toArrayAst = {
+        kind: "invocationExpression",
+        expression: identifierExpression("global::System.Linq.Enumerable.ToArray"),
+        typeArguments: [targetElementTypeAst],
+        arguments: [selectAst],
+    };
+    const [expectedTypeAst, expectedTypeContext] = emitTypeAst(expectedType, materializedElement[1]);
+    return [
+        {
+            kind: "castExpression",
+            type: expectedTypeAst,
+            expression: toArrayAst,
+        },
+        expectedTypeContext,
+    ];
+};
+const canMaterializeArrayToBroadObjectArray = (sourceType, targetType, context) => {
+    const sourceElementType = getArrayLikeElementType(sourceType, context);
+    const targetElementType = getArrayLikeElementType(targetType, context);
+    return (!!sourceElementType &&
+        !!targetElementType &&
+        isBroadObjectSlotType(targetElementType, context));
+};
+export const tryBuildRuntimeMaterializationAst = (valueAst, sourceType, targetType, context, emitTypeAst, selectedSourceMemberNs, sourceFrame) => {
+    if (runtimeUnionAliasReferencesMatch(sourceType, targetType, context)) {
+        return [valueAst, context];
+    }
+    const effectiveSourceFrame = sourceFrame ??
+        (() => {
+            const [sourceLayout] = buildRuntimeUnionLayout(sourceType, context, emitTypeAst);
+            if (!sourceLayout) {
+                return undefined;
+            }
+            const restrictedIndices = tryResolveRuntimeUnionCastSourceIndices(valueAst, sourceLayout.memberTypeAsts);
+            if (!restrictedIndices) {
+                return undefined;
+            }
+            return {
+                members: restrictedIndices.flatMap((index) => {
+                    const member = sourceLayout.members[index];
+                    return member ? [member] : [];
+                }),
+                candidateMemberNs: restrictedIndices.map((index) => index + 1),
+            };
+        })();
+    const [sourceLayout, sourceLayoutContext] = (() => {
+        if (!effectiveSourceFrame) {
+            return buildRuntimeUnionLayout(sourceType, context, emitTypeAst);
+        }
+        const members = effectiveSourceFrame.members;
+        if (members.length < 2) {
+            return [undefined, context];
+        }
+        let currentContext = context;
+        const memberTypeAsts = [];
+        for (const member of members) {
+            const [typeAst, nextContext] = emitTypeAst(member, currentContext);
+            memberTypeAsts.push(typeAst);
+            currentContext = nextContext;
+        }
+        return [
+            {
+                members,
+                memberTypeAsts,
+                carrierTypeArgumentAsts: memberTypeAsts,
+                runtimeUnionArity: members.length,
+            },
+            currentContext,
+        ];
+    })();
+    if (!sourceLayout) {
+        return undefined;
+    }
+    const [targetLayout, targetLayoutContext] = buildRuntimeUnionLayout(targetType, sourceLayoutContext, emitTypeAst);
+    if (targetLayout) {
+        if (getRuntimeUnionAliasReferenceKey(targetType, targetLayoutContext)) {
+            const targetUnionTypeAst = buildRuntimeUnionTypeAst(targetLayout);
+            const lambdaArgs = [];
+            let sawReachableMatch = false;
+            let currentContext = targetLayoutContext;
+            for (let index = 0; index < sourceLayout.members.length; index += 1) {
+                const actualMember = sourceLayout.members[index];
+                const actualMemberTypeAst = sourceLayout.memberTypeAsts[index];
+                if (!actualMember || !actualMemberTypeAst) {
+                    continue;
+                }
+                const parameterName = `__tsonic_union_member_${index + 1}`;
+                const parameterExpr = {
+                    kind: "identifierExpression",
+                    identifier: parameterName,
+                };
+                const sourceMemberN = effectiveSourceFrame?.candidateMemberNs?.[index] ?? index + 1;
+                let body;
+                if (selectedSourceMemberNs &&
+                    !selectedSourceMemberNs.has(sourceMemberN)) {
+                    body = buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType);
+                }
+                else if (runtimeUnionAliasReferencesMatch(actualMember, targetType, currentContext)) {
+                    body = parameterExpr;
+                    sawReachableMatch = true;
+                }
+                else {
+                    const targetMemberIndex = findRuntimeUnionMemberIndex(targetLayout.members, actualMember, currentContext);
+                    const targetMember = targetMemberIndex !== undefined
+                        ? targetLayout.members[targetMemberIndex]
+                        : undefined;
+                    const targetMemberTypeAst = targetMemberIndex !== undefined
+                        ? targetLayout.memberTypeAsts[targetMemberIndex]
+                        : undefined;
+                    if (targetMemberIndex === undefined ||
+                        !targetMember ||
+                        !targetMemberTypeAst) {
+                        body = buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType);
+                    }
+                    else {
+                        const nestedMaterialization = tryBuildRuntimeMaterializationAst(parameterExpr, actualMember, targetMember, currentContext, emitTypeAst);
+                        body = buildRuntimeUnionFactoryCallAst(targetUnionTypeAst, targetMemberIndex + 1, nestedMaterialization?.[0] ??
+                            maybeCastMaterializedValueAst(parameterExpr, actualMemberTypeAst, targetMemberTypeAst));
+                        currentContext = nestedMaterialization?.[1] ?? currentContext;
+                        sawReachableMatch = true;
+                    }
+                }
+                lambdaArgs.push({
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: parameterName }],
+                    body,
+                });
+            }
+            return sawReachableMatch
+                ? [
+                    buildRuntimeUnionMatchAst(valueAst, lambdaArgs, [
+                        targetUnionTypeAst,
+                    ]),
+                    currentContext,
+                ]
+                : undefined;
+        }
+        return tryBuildRuntimeUnionProjectionToLayoutAst({
+            valueAst,
+            sourceLayout,
+            targetLayout,
+            context: targetLayoutContext,
+            candidateMemberNs: effectiveSourceFrame?.candidateMemberNs,
+            selectedSourceMemberNs,
+            buildMappedMemberValue: ({ actualMember, actualMemberTypeAst, parameterExpr, targetMember, targetMemberTypeAst, context: nextContext, }) => {
+                const nestedMaterialization = tryBuildRuntimeMaterializationAst(parameterExpr, actualMember, targetMember, nextContext, emitTypeAst);
+                return [
+                    nestedMaterialization?.[0] ??
+                        maybeCastMaterializedValueAst(parameterExpr, actualMemberTypeAst, targetMemberTypeAst),
+                    nestedMaterialization?.[1] ?? nextContext,
+                ];
+            },
+            buildExcludedMemberBody: ({ actualMember }) => buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType),
+            buildUnmappedMemberBody: ({ actualMember, parameterExpr, context: nextContext, }) => tryBuildRuntimeMaterializationAst(parameterExpr, actualMember, targetType, nextContext, emitTypeAst) ??
+                buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType),
+        });
+    }
+    const [targetTypeAst, nextContext] = emitTypeAst(targetType, targetLayoutContext);
+    const directRuntimeCarrierType = resolveDirectRuntimeCarrierType(valueAst, targetLayoutContext);
+    if (directRuntimeCarrierType) {
+        const [directCarrierTypeAst, directCarrierContext] = emitTypeAst(directRuntimeCarrierType, nextContext);
+        if (sameTypeAstSurface(directCarrierTypeAst, targetTypeAst)) {
+            return [valueAst, directCarrierContext];
+        }
+    }
+    const directValueSurfaceType = resolveDirectValueSurfaceType(valueAst, targetLayoutContext);
+    if (directValueSurfaceType) {
+        const [directTypeAst, directTypeContext] = emitTypeAst(directValueSurfaceType, nextContext);
+        if (sameTypeAstSurface(directTypeAst, targetTypeAst)) {
+            return [valueAst, directTypeContext];
+        }
+    }
+    const concreteTargetTypeAst = stripNullableTypeAst(targetTypeAst);
+    const concreteTargetTypeKey = stableConcreteTypeKeyFromAst(concreteTargetTypeAst);
+    const isBroadObjectTarget = isBroadObjectSlotType(targetType, nextContext);
+    const sourceSurfaceMemberTypeAsts = getRuntimeUnionCastMemberTypeAsts(valueAst);
+    const matchingSourceIndices = sourceLayout.members.flatMap((member, index) => member &&
+        (!selectedSourceMemberNs ||
+            selectedSourceMemberNs.has(effectiveSourceFrame?.candidateMemberNs?.[index] ?? index + 1)) &&
+        (isBroadObjectTarget ||
+            canMaterializeArrayToBroadObjectArray(member, targetType, nextContext) ||
+            (() => {
+                const sourceMemberTypeAst = sourceSurfaceMemberTypeAsts?.[index] ??
+                    sourceLayout.memberTypeAsts[index];
+                if (!sourceMemberTypeAst) {
+                    return false;
+                }
+                return (stableConcreteTypeKeyFromAst(sourceMemberTypeAst) ===
+                    concreteTargetTypeKey);
+            })() ||
+            findRuntimeUnionMemberIndex([member], targetType, nextContext) === 0)
+        ? [index]
+        : []);
+    if (matchingSourceIndices.length === 0) {
+        return undefined;
+    }
+    const lambdaArgs = [];
+    let matchContext = nextContext;
+    for (let index = 0; index < sourceLayout.members.length; index += 1) {
+        const actualMember = sourceLayout.members[index];
+        if (!actualMember) {
+            continue;
+        }
+        const parameterName = `__tsonic_union_member_${index + 1}`;
+        const parameterExpr = {
+            kind: "identifierExpression",
+            identifier: parameterName,
+        };
+        const sourceMemberN = effectiveSourceFrame?.candidateMemberNs?.[index] ?? index + 1;
+        if (selectedSourceMemberNs && !selectedSourceMemberNs.has(sourceMemberN)) {
+            lambdaArgs.push({
+                kind: "lambdaExpression",
+                isAsync: false,
+                parameters: [{ name: parameterName }],
+                body: buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType),
+            });
+            continue;
+        }
+        if (!matchingSourceIndices.includes(index)) {
+            lambdaArgs.push({
+                kind: "lambdaExpression",
+                isAsync: false,
+                parameters: [{ name: parameterName }],
+                body: buildInvalidRuntimeUnionMaterializationExpression(actualMember, targetType),
+            });
+            continue;
+        }
+        const arrayElementMaterialization = tryBuildArrayElementMaterializationAst(parameterExpr, actualMember, targetType, matchContext, emitTypeAst);
+        if (arrayElementMaterialization) {
+            matchContext = arrayElementMaterialization[1];
+        }
+        lambdaArgs.push({
+            kind: "lambdaExpression",
+            isAsync: false,
+            parameters: [{ name: parameterName }],
+            body: arrayElementMaterialization?.[0] ??
+                maybeCastMaterializedValueAst(parameterExpr, sourceSurfaceMemberTypeAsts?.[index] ??
+                    sourceLayout.memberTypeAsts[index], concreteTargetTypeAst),
+        });
+    }
+    return [
+        buildRuntimeUnionMatchAst(valueAst, lambdaArgs, [concreteTargetTypeAst]),
+        matchContext,
+    ];
+};
+export const tryBuildRuntimeReificationPlan = (valueAst, expectedType, context, emitTypeAst) => {
+    const materializationExpectedType = resolveRuntimeMaterializationTargetType(expectedType, context);
+    const resolvedExpected = resolveTypeAlias(stripNullish(materializationExpectedType), context, { preserveObjectTypeAliases: true });
+    const directRuntimeCarrierType = resolveDirectRuntimeCarrierType(valueAst, context);
+    const directValueSurfaceType = resolveDirectValueSurfaceType(valueAst, context);
+    if (resolvedExpected.kind === "unknownType" ||
+        resolvedExpected.kind === "anyType" ||
+        resolvedExpected.kind === "neverType" ||
+        resolvedExpected.kind === "voidType" ||
+        resolvedExpected.kind === "objectType" ||
+        (resolvedExpected.kind === "referenceType" &&
+            resolvedExpected.name === "object")) {
+        return undefined;
+    }
+    if (resolvedExpected.kind === "primitiveType" &&
+        (resolvedExpected.name === "null" || resolvedExpected.name === "undefined")) {
+        const boxedValue = boxValueAst(valueAst);
+        return {
+            condition: {
+                kind: "binaryExpression",
+                operatorToken: "==",
+                left: boxedValue,
+                right: nullLiteral(),
+            },
+            value: { kind: "defaultExpression" },
+            context,
+        };
+    }
+    if (resolvedExpected.kind === "unionType") {
+        if (directRuntimeCarrierType) {
+            const materialized = tryBuildRuntimeMaterializationAst(valueAst, directRuntimeCarrierType, materializationExpectedType, context, emitTypeAst);
+            if (materialized) {
+                const [unionTypeAst, materializedContext] = emitTypeAst(materializationExpectedType, materialized[1]);
+                return {
+                    condition: {
+                        kind: "isExpression",
+                        expression: boxValueAst(valueAst),
+                        pattern: {
+                            kind: "typePattern",
+                            type: stripNullableTypeAst(unionTypeAst),
+                        },
+                    },
+                    value: materialized[0],
+                    context: materializedContext,
+                };
+            }
+        }
+        if (directValueSurfaceType) {
+            const materialized = tryBuildRuntimeMaterializationAst(valueAst, directValueSurfaceType, materializationExpectedType, context, emitTypeAst);
+            if (materialized) {
+                const [unionTypeAst, materializedContext] = emitTypeAst(materializationExpectedType, materialized[1]);
+                return {
+                    condition: {
+                        kind: "isExpression",
+                        expression: boxValueAst(valueAst),
+                        pattern: {
+                            kind: "typePattern",
+                            type: stripNullableTypeAst(unionTypeAst),
+                        },
+                    },
+                    value: materialized[0],
+                    context: materializedContext,
+                };
+            }
+        }
+        const [unionTypeAst, runtimeLayout, unionTypeContext] = emitRuntimeCarrierTypeAst(expectedType, context, emitTypeAst);
+        const concreteUnionTypeAst = stripNullableTypeAst(unionTypeAst);
+        if (!runtimeLayout || !isRuntimeUnionTypeAst(concreteUnionTypeAst)) {
+            return undefined;
+        }
+        const runtimeFrame = buildRuntimeUnionFrame(expectedType, unionTypeContext);
+        const members = runtimeFrame?.members ?? runtimeLayout.members;
+        const canDirectlyCarryExpectedUnion = (() => {
+            const directCarryType = directRuntimeCarrierType ?? directValueSurfaceType;
+            if (!directCarryType) {
+                return true;
+            }
+            if (directCarryType.kind === "anyType" ||
+                directCarryType.kind === "unknownType" ||
+                isBroadObjectSlotType(directCarryType, unionTypeContext) ||
+                runtimeUnionAliasReferencesMatch(directCarryType, expectedType, unionTypeContext)) {
+                return true;
+            }
+            const [directTypeAst] = emitTypeAst(directCarryType, unionTypeContext);
+            return sameTypeAstSurface(stripNullableTypeAst(directTypeAst), concreteUnionTypeAst);
+        })();
+        const cases = canDirectlyCarryExpectedUnion
+            ? [
+                {
+                    condition: {
+                        kind: "isExpression",
+                        expression: valueAst,
+                        pattern: {
+                            kind: "typePattern",
+                            type: concreteUnionTypeAst,
+                        },
+                    },
+                    value: {
+                        kind: "castExpression",
+                        type: concreteUnionTypeAst,
+                        expression: valueAst,
+                    },
+                    context: unionTypeContext,
+                },
+            ]
+            : [];
+        let currentContext = unionTypeContext;
+        let catchAllCase;
+        for (let index = 0; index < members.length; index += 1) {
+            const member = members[index];
+            if (!member)
+                continue;
+            const objectCatchAllPlan = tryBuildBroadObjectCatchAllReificationPlan(valueAst, member, currentContext, emitTypeAst);
+            const memberPlan = objectCatchAllPlan ??
+                tryBuildRuntimeReificationPlan(valueAst, member, currentContext, emitTypeAst);
+            if (!memberPlan)
+                continue;
+            currentContext = memberPlan.context;
+            const casePlan = {
+                condition: memberPlan.condition,
+                value: buildRuntimeUnionFactoryCallAst(concreteUnionTypeAst, index + 1, memberPlan.value),
+                context: currentContext,
+            };
+            if (objectCatchAllPlan) {
+                catchAllCase = casePlan;
+            }
+            else {
+                cases.push(casePlan);
+            }
+        }
+        if (cases.length === 0 && !catchAllCase) {
+            return undefined;
+        }
+        const firstCase = cases[0] ?? catchAllCase;
+        const lastCase = catchAllCase ?? cases[cases.length - 1];
+        if (!firstCase || !lastCase) {
+            return undefined;
+        }
+        let conditionAst = catchAllCase
+            ? booleanLiteral(true)
+            : firstCase.condition;
+        let valueExpression = catchAllCase?.value ??
+            buildInvalidReificationExpression("Unreachable runtime union reification path");
+        let finalContext = lastCase.context;
+        if (!catchAllCase) {
+            for (let index = 1; index < cases.length; index += 1) {
+                const currentCase = cases[index];
+                if (!currentCase) {
+                    continue;
+                }
+                conditionAst = {
+                    kind: "binaryExpression",
+                    operatorToken: "||",
+                    left: conditionAst,
+                    right: currentCase.condition,
+                };
+            }
+        }
+        for (let index = cases.length - 1; index >= 0; index -= 1) {
+            const currentCase = cases[index];
+            if (!currentCase) {
+                continue;
+            }
+            valueExpression = {
+                kind: "conditionalExpression",
+                condition: currentCase.condition,
+                whenTrue: currentCase.value,
+                whenFalse: valueExpression,
+            };
+            finalContext = currentCase.context;
+        }
+        return {
+            condition: conditionAst,
+            value: valueExpression,
+            context: finalContext,
+        };
+    }
+    const [typeAst, typeContext] = emitTypeAst(expectedType, context);
+    const concreteTypeAst = stripNullableTypeAst(typeAst);
+    const boxedValue = boxValueAst(valueAst);
+    if (resolvedExpected.kind === "arrayType" ||
+        resolvedExpected.kind === "tupleType" ||
+        (resolvedExpected.kind === "referenceType" &&
+            (resolvedExpected.name === "Array" ||
+                resolvedExpected.name === "ReadonlyArray"))) {
+        if (directValueSurfaceType) {
+            const elementMaterialization = tryBuildArrayElementMaterializationAst(valueAst, directValueSurfaceType, expectedType, typeContext, emitTypeAst);
+            if (elementMaterialization) {
+                return {
+                    condition: buildArrayShapeCondition(valueAst),
+                    value: elementMaterialization[0],
+                    context: elementMaterialization[1],
+                };
+            }
+        }
+        return {
+            condition: buildArrayShapeCondition(valueAst),
+            value: {
+                kind: "castExpression",
+                type: concreteTypeAst,
+                expression: boxedValue,
+            },
+            context: typeContext,
+        };
+    }
+    return {
+        condition: {
+            kind: "isExpression",
+            expression: boxedValue,
+            pattern: {
+                kind: "typePattern",
+                type: concreteTypeAst,
+            },
+        },
+        value: {
+            kind: "castExpression",
+            type: concreteTypeAst,
+            expression: boxedValue,
+        },
+        context: typeContext,
+    };
+};
+//# sourceMappingURL=runtime-reification.js.map

package/dist/core/semantic/runtime-reification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-reification.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-reification.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,WAAW,GACZ,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,oBAAoB,GACrB,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,+BAA+B,EAC/B,iDAAiD,EACjD,yBAAyB,EACzB,yCAAyC,GAC1C,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,WAAW,EACX,wBAAwB,EACxB,iCAAiC,EACjC,iCAAiC,EACjC,qBAAqB,EACrB,6BAA6B,EAC7B,uCAAuC,GACxC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,gCAAgC,EAChC,gCAAgC,GACjC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,uCAAuC,EAAE,MAAM,sCAAsC,CAAC;AAkB/F,MAAM,8BAA8B,GAAG,CACrC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE;QAC7D,yBAAyB,EAAE,IAAI;KAChC,CAAC,CAAC;IACH,OAAO,CACL,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;QACjE,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0CAA0C,GAAG,CACjD,QAA6B,EAC7B,YAAoB,EACpB,OAAuB,EACvB,WAA0B,EACU,EAAE;IACtC,IAAI,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,OAAO;QACL,SAAS,EAAE,cAAc,CAAC,IAAI,CAAC;QAC/B,KAAK,EAAE;YACL,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,oBAAoB,CAAC,eAAe,CAAC;YAC3C,UAAU,EAAE,QAAQ;SACrB;QACD,OAAO,EAAE,WAAW;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,QAA6B,EAC7B,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACvB,WAA0B,EACyB,EAAE;IACrD,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,CAAC,iBAAiB,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,GAAG,WAAW,CAC3D,iBAAiB,EACjB,OAAO,CACR,CAAC;IACF,MAAM,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,GAAG,WAAW,CAC3D,iBAAiB,EACjB,iBAAiB,CAClB,CAAC;IACF,IAAI,kBAAkB,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,qBAAqB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,qBAAqB,CAAC;QACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,CACZ,CAAC;QACF,MAAM,0BAA0B,GAC9B,mBAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC;QAChD,MAAM,SAAS,GAAwB;YACrC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAAC,uCAAuC,CAAC;YACzE,aAAa,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;YAC3D,SAAS,EAAE;gBACT,QAAQ;gBACR;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oBAChC,IAAI,EACF,mBAAmB,EAAE,CAAC,CAAC,CAAC;wBACxB,6BAA6B,CAC3B,QAAQ,EACR,oBAAoB,EACpB,oBAAoB,CACrB;iBACJ;aACF;SACF,CAAC;QACF,MAAM,UAAU,GAAwB;YACtC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAC9B,wCAAwC,CACzC;YACD,aAAa,EAAE,CAAC,oBAAoB,CAAC;YACrC,SAAS,EAAE,CAAC,SAAS,CAAC;SACvB,CAAC;QACF,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,0BAA0B,CAC3B,CAAC;QAEF,OAAO;YACL;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,UAAU;aACvB;YACD,mBAAmB;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACxE,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,CACZ,CAAC;IACF,MAAM,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACxE,iBAAiB,EACjB,mBAAmB,EACnB,WAAW,CACZ,CAAC;IAEF,IAAI,CAAC,mBAAmB,IAAI,mBAAmB,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,2BAA2B,CACnD,mBAAmB,CAAC,OAAO,EAC3B,iBAAiB,EACjB,mBAAmB,CACpB,CAAC;QACF,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,qBAAqB,CAAC;YACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAChD,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,oBAAoB,CAC9B,uCAAuC,CACxC;gBACD,aAAa,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;gBAC3D,SAAS,EAAE;oBACT,QAAQ;oBACR;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,KAAK;wBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;wBAChC,IAAI,EAAE,+BAA+B,CACnC,wBAAwB,CAAC,mBAAmB,CAAC,EAC7C,iBAAiB,GAAG,CAAC,EACrB,QAAQ,CACT;qBACF;iBACF;aACF,CAAC;YACF,MAAM,UAAU,GAAwB;gBACtC,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,oBAAoB,CAC9B,wCAAwC,CACzC;gBACD,aAAa,EAAE,CAAC,oBAAoB,CAAC;gBACrC,SAAS,EAAE,CAAC,SAAS,CAAC;aACvB,CAAC;YACF,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,mBAAmB,CACpB,CAAC;YAEF,OAAO;gBACL;oBACE,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE,UAAU;iBACvB;gBACD,mBAAmB;aACpB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC;IACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,QAAQ,EACR,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAwB;QACrC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,oBAAoB,CAAC,uCAAuC,CAAC;QACzE,aAAa,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;QAC3D,SAAS,EAAE;YACT,QAAQ;YACR;gBACE,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAChC,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC;aAC7B;SACF;KACF,CAAC;IACF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,oBAAoB,CAAC,wCAAwC,CAAC;QAC1E,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,SAAS,EAAE,CAAC,SAAS,CAAC;KACvB,CAAC;IACF,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,mBAAmB,CAAC,CAAC,CAAC,CACvB,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,UAAU;SACvB;QACD,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,UAAkB,EAClB,UAAkB,EAClB,OAAuB,EACd,EAAE;IACX,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvE,OAAO,CACL,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,iBAAiB;QACnB,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAClD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,QAA6B,EAC7B,UAAkB,EAClB,UAAkB,EAClB,OAAuB,EACvB,WAA0B,EAC1B,sBAA4C,EAC5C,WAA+C,EACI,EAAE;IACrD,IAAI,gCAAgC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACtE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,oBAAoB,GACxB,WAAW;QACX,CAAC,GAAG,EAAE;YACJ,MAAM,CAAC,YAAY,CAAC,GAAG,uBAAuB,CAC5C,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,iBAAiB,GAAG,uCAAuC,CAC/D,QAAQ,EACR,YAAY,CAAC,cAAc,CAC5B,CAAC;YACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO;gBACL,OAAO,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;oBAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBAC3C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChC,CAAC,CAAC;gBACF,iBAAiB,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;aAC/D,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE;QAChD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC1B,OAAO,uBAAuB,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC;QAC7C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAU,CAAC;QACvC,CAAC;QAED,IAAI,cAAc,GAAG,OAAO,CAAC;QAC7B,MAAM,cAAc,GAAoB,EAAE,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;YACnE,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7B,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QAED,OAAO;YACL;gBACE,OAAO;gBACP,cAAc;gBACd,uBAAuB,EAAE,cAAc;gBACvC,iBAAiB,EAAE,OAAO,CAAC,MAAM;aAClC;YACD,cAAc;SACN,CAAC;IACb,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,mBAAmB,EACnB,WAAW,CACZ,CAAC;IAEF,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,gCAAgC,CAAC,UAAU,EAAE,mBAAmB,CAAC,EAAE,CAAC;YACtE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC;YAClE,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,IAAI,iBAAiB,GAAG,KAAK,CAAC;YAC9B,IAAI,cAAc,GAAG,mBAAmB,CAAC;YAEzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACpE,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACjD,MAAM,mBAAmB,GAAG,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;gBAC/D,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,EAAE,CAAC;oBAC1C,SAAS;gBACX,CAAC;gBAED,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,aAAa,GAAwB;oBACzC,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,aAAa;iBAC1B,CAAC;gBACF,MAAM,aAAa,GACjB,oBAAoB,EAAE,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;gBAEhE,IAAI,IAAyB,CAAC;gBAC9B,IACE,sBAAsB;oBACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,EAC1C,CAAC;oBACD,IAAI,GAAG,iDAAiD,CACtD,YAAY,EACZ,UAAU,CACX,CAAC;gBACJ,CAAC;qBAAM,IACL,gCAAgC,CAC9B,YAAY,EACZ,UAAU,EACV,cAAc,CACf,EACD,CAAC;oBACD,IAAI,GAAG,aAAa,CAAC;oBACrB,iBAAiB,GAAG,IAAI,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,MAAM,iBAAiB,GAAG,2BAA2B,CACnD,YAAY,CAAC,OAAO,EACpB,YAAY,EACZ,cAAc,CACf,CAAC;oBACF,MAAM,YAAY,GAChB,iBAAiB,KAAK,SAAS;wBAC7B,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,iBAAiB,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBAChB,MAAM,mBAAmB,GACvB,iBAAiB,KAAK,SAAS;wBAC7B,CAAC,CAAC,YAAY,CAAC,cAAc,CAAC,iBAAiB,CAAC;wBAChD,CAAC,CAAC,SAAS,CAAC;oBAChB,IACE,iBAAiB,KAAK,SAAS;wBAC/B,CAAC,YAAY;wBACb,CAAC,mBAAmB,EACpB,CAAC;wBACD,IAAI,GAAG,iDAAiD,CACtD,YAAY,EACZ,UAAU,CACX,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,WAAW,CACZ,CAAC;wBACF,IAAI,GAAG,+BAA+B,CACpC,kBAAkB,EAClB,iBAAiB,GAAG,CAAC,EACrB,qBAAqB,EAAE,CAAC,CAAC,CAAC;4BACxB,6BAA6B,CAC3B,aAAa,EACb,mBAAmB,EACnB,mBAAmB,CACpB,CACJ,CAAC;wBACF,cAAc,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;wBAC9D,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBAED,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;oBACrC,IAAI;iBACL,CAAC,CAAC;YACL,CAAC;YAED,OAAO,iBAAiB;gBACtB,CAAC,CAAC;oBACE,yBAAyB,CAAC,QAAQ,EAAE,UAAU,EAAE;wBAC9C,kBAAkB;qBACnB,CAAC;oBACF,cAAc;iBACf;gBACH,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,OAAO,yCAAyC,CAAC;YAC/C,QAAQ;YACR,YAAY;YACZ,YAAY;YACZ,OAAO,EAAE,mBAAmB;YAC5B,iBAAiB,EAAE,oBAAoB,EAAE,iBAAiB;YAC1D,sBAAsB;YACtB,sBAAsB,EAAE,CAAC,EACvB,YAAY,EACZ,mBAAmB,EACnB,aAAa,EACb,YAAY,EACZ,mBAAmB,EACnB,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE;gBACH,MAAM,qBAAqB,GAAG,iCAAiC,CAC7D,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,CACZ,CAAC;gBACF,OAAO;oBACL,qBAAqB,EAAE,CAAC,CAAC,CAAC;wBACxB,6BAA6B,CAC3B,aAAa,EACb,mBAAmB,EACnB,mBAAmB,CACpB;oBACH,qBAAqB,EAAE,CAAC,CAAC,CAAC,IAAI,WAAW;iBAC1C,CAAC;YACJ,CAAC;YACD,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,iDAAiD,CAC/C,YAAY,EACZ,UAAU,CACX;YACH,uBAAuB,EAAE,CAAC,EACxB,YAAY,EACZ,aAAa,EACb,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE,CACH,iCAAiC,CAC/B,aAAa,EACb,YAAY,EACZ,UAAU,EACV,WAAW,EACX,WAAW,CACZ;gBACD,iDAAiD,CAC/C,YAAY,EACZ,UAAU,CACX;SACJ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAC9C,UAAU,EACV,mBAAmB,CACpB,CAAC;IACF,MAAM,wBAAwB,GAAG,+BAA+B,CAC9D,QAAQ,EACR,mBAAmB,CACpB,CAAC;IACF,IAAI,wBAAwB,EAAE,CAAC;QAC7B,MAAM,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,GAAG,WAAW,CAC9D,wBAAwB,EACxB,WAAW,CACZ,CAAC;QACF,IAAI,kBAAkB,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,sBAAsB,GAAG,6BAA6B,CAC1D,QAAQ,EACR,mBAAmB,CACpB,CAAC;IACF,IAAI,sBAAsB,EAAE,CAAC;QAC3B,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACpD,sBAAsB,EACtB,WAAW,CACZ,CAAC;QACF,IAAI,kBAAkB,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;YACrD,OAAO,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAClE,MAAM,qBAAqB,GAAG,4BAA4B,CACxD,qBAAqB,CACtB,CAAC;IACF,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC3E,MAAM,2BAA2B,GAC/B,iCAAiC,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,qBAAqB,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC3E,MAAM;QACN,CAAC,CAAC,sBAAsB;YACtB,sBAAsB,CAAC,GAAG,CACxB,oBAAoB,EAAE,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAC9D,CAAC;QACJ,CAAC,mBAAmB;YAClB,qCAAqC,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC;YACtE,CAAC,GAAG,EAAE;gBACJ,MAAM,mBAAmB,GACvB,2BAA2B,EAAE,CAAC,KAAK,CAAC;oBACpC,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,CAAC,mBAAmB,EAAE,CAAC;oBACzB,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,OAAO,CACL,4BAA4B,CAAC,mBAAmB,CAAC;oBACjD,qBAAqB,CACtB,CAAC;YACJ,CAAC,CAAC,EAAE;YACJ,2BAA2B,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC,KAAK,CAAC;QACT,CAAC,CAAC,EAAE,CACP,CAAC;IAEF,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,YAAY,GAAG,WAAW,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpE,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,aAAa;SAC1B,CAAC;QAEF,MAAM,aAAa,GACjB,oBAAoB,EAAE,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAEhE,IAAI,sBAAsB,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBACrC,IAAI,EAAE,iDAAiD,CACrD,YAAY,EACZ,UAAU,CACX;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBACrC,IAAI,EAAE,iDAAiD,CACrD,YAAY,EACZ,UAAU,CACX;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,2BAA2B,GAAG,sCAAsC,CACxE,aAAa,EACb,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,WAAW,CACZ,CAAC;QACF,IAAI,2BAA2B,EAAE,CAAC;YAChC,YAAY,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACrC,IAAI,EACF,2BAA2B,EAAE,CAAC,CAAC,CAAC;gBAChC,6BAA6B,CAC3B,aAAa,EACb,2BAA2B,EAAE,CAAC,KAAK,CAAC;oBAClC,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,EACpC,qBAAqB,CACtB;SACJ,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,yBAAyB,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACxE,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAA6B,EAC7B,YAAoB,EACpB,OAAuB,EACvB,WAA0B,EACU,EAAE;IACtC,MAAM,2BAA2B,GAAG,uCAAuC,CACzE,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,YAAY,CAAC,2BAA2B,CAAC,EACzC,OAAO,EACP,EAAE,yBAAyB,EAAE,IAAI,EAAE,CACpC,CAAC;IACF,MAAM,wBAAwB,GAAG,+BAA+B,CAC9D,QAAQ,EACR,OAAO,CACR,CAAC;IACF,MAAM,sBAAsB,GAAG,6BAA6B,CAC1D,QAAQ,EACR,OAAO,CACR,CAAC;IAEF,IACE,gBAAgB,CAAC,IAAI,KAAK,aAAa;QACvC,gBAAgB,CAAC,IAAI,KAAK,SAAS;QACnC,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,gBAAgB,CAAC,IAAI,KAAK,UAAU;QACpC,gBAAgB,CAAC,IAAI,KAAK,YAAY;QACtC,CAAC,gBAAgB,CAAC,IAAI,KAAK,eAAe;YACxC,gBAAgB,CAAC,IAAI,KAAK,QAAQ,CAAC,EACrC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,gBAAgB,CAAC,IAAI,KAAK,eAAe;QACzC,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,gBAAgB,CAAC,IAAI,KAAK,WAAW,CAAC,EAC3E,CAAC;QACD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QACzC,OAAO;YACL,SAAS,EAAE;gBACT,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,WAAW,EAAE;aACrB;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;YACpC,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1C,IAAI,wBAAwB,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,iCAAiC,CACpD,QAAQ,EACR,wBAAwB,EACxB,2BAA2B,EAC3B,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACrD,2BAA2B,EAC3B,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;gBACF,OAAO;oBACL,SAAS,EAAE;wBACT,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC;wBACjC,OAAO,EAAE;4BACP,IAAI,EAAE,aAAa;4BACnB,IAAI,EAAE,oBAAoB,CAAC,YAAY,CAAC;yBACzC;qBACF;oBACD,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;oBACtB,OAAO,EAAE,mBAAmB;iBAC7B,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,sBAAsB,EAAE,CAAC;YAC3B,MAAM,YAAY,GAAG,iCAAiC,CACpD,QAAQ,EACR,sBAAsB,EACtB,2BAA2B,EAC3B,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACrD,2BAA2B,EAC3B,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;gBACF,OAAO;oBACL,SAAS,EAAE;wBACT,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC;wBACjC,OAAO,EAAE;4BACP,IAAI,EAAE,aAAa;4BACnB,IAAI,EAAE,oBAAoB,CAAC,YAAY,CAAC;yBACzC;qBACF;oBACD,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;oBACtB,OAAO,EAAE,mBAAmB;iBAC7B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,CAAC,YAAY,EAAE,aAAa,EAAE,gBAAgB,CAAC,GACnD,yBAAyB,CAAC,YAAY,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAChE,MAAM,oBAAoB,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;QAChE,IAAI,CAAC,aAAa,IAAI,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACnE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,YAAY,GAAG,sBAAsB,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,YAAY,EAAE,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC;QAE/D,MAAM,6BAA6B,GAAG,CAAC,GAAG,EAAE;YAC1C,MAAM,eAAe,GACnB,wBAAwB,IAAI,sBAAsB,CAAC;YACrD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IACE,eAAe,CAAC,IAAI,KAAK,SAAS;gBAClC,eAAe,CAAC,IAAI,KAAK,aAAa;gBACtC,qBAAqB,CAAC,eAAe,EAAE,gBAAgB,CAAC;gBACxD,gCAAgC,CAC9B,eAAe,EACf,YAAY,EACZ,gBAAgB,CACjB,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;YACvE,OAAO,kBAAkB,CACvB,oBAAoB,CAAC,aAAa,CAAC,EACnC,oBAAoB,CACrB,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;QAEL,MAAM,KAAK,GAA6B,6BAA6B;YACnE,CAAC,CAAC;gBACE;oBACE,SAAS,EAAE;wBACT,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,QAAQ;wBACpB,OAAO,EAAE;4BACP,IAAI,EAAE,aAAa;4BACnB,IAAI,EAAE,oBAAoB;yBAC3B;qBACF;oBACD,KAAK,EAAE;wBACL,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,oBAAoB;wBAC1B,UAAU,EAAE,QAAQ;qBACrB;oBACD,OAAO,EAAE,gBAAgB;iBAC1B;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QAEP,IAAI,cAAc,GAAG,gBAAgB,CAAC;QACtC,IAAI,YAAgD,CAAC;QACrD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,kBAAkB,GAAG,0CAA0C,CACnE,QAAQ,EACR,MAAM,EACN,cAAc,EACd,WAAW,CACZ,CAAC;YACF,MAAM,UAAU,GACd,kBAAkB;gBAClB,8BAA8B,CAC5B,QAAQ,EACR,MAAM,EACN,cAAc,EACd,WAAW,CACZ,CAAC;YACJ,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,cAAc,GAAG,UAAU,CAAC,OAAO,CAAC;YACpC,MAAM,QAAQ,GAAG;gBACf,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,KAAK,EAAE,+BAA+B,CACpC,oBAAoB,EACpB,KAAK,GAAG,CAAC,EACT,UAAU,CAAC,KAAK,CACjB;gBACD,OAAO,EAAE,cAAc;aACxB,CAAC;YACF,IAAI,kBAAkB,EAAE,CAAC;gBACvB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC;QAC3C,MAAM,QAAQ,GAAG,YAAY,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,YAAY,GAAG,YAAY;YAC7B,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;QACxB,IAAI,eAAe,GACjB,YAAY,EAAE,KAAK;YACnB,iCAAiC,CAC/B,4CAA4C,CAC7C,CAAC;QACJ,IAAI,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC;QAEpC,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjC,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,SAAS;gBACX,CAAC;gBACD,YAAY,GAAG;oBACb,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,WAAW,CAAC,SAAS;iBAC7B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC1D,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,eAAe,GAAG;gBAChB,IAAI,EAAE,uBAAuB;gBAC7B,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,QAAQ,EAAE,WAAW,CAAC,KAAK;gBAC3B,SAAS,EAAE,eAAe;aAC3B,CAAC;YACF,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC;QACrC,CAAC;QAED,OAAO;YACL,SAAS,EAAE,YAAY;YACvB,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,YAAY;SACtB,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IAEzC,IACE,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,CAAC,gBAAgB,CAAC,IAAI,KAAK,eAAe;YACxC,CAAC,gBAAgB,CAAC,IAAI,KAAK,OAAO;gBAChC,gBAAgB,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,EAC/C,CAAC;QACD,IAAI,sBAAsB,EAAE,CAAC;YAC3B,MAAM,sBAAsB,GAAG,sCAAsC,CACnE,QAAQ,EACR,sBAAsB,EACtB,YAAY,EACZ,WAAW,EACX,WAAW,CACZ,CAAC;YACF,IAAI,sBAAsB,EAAE,CAAC;gBAC3B,OAAO;oBACL,SAAS,EAAE,wBAAwB,CAAC,QAAQ,CAAC;oBAC7C,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC;oBAChC,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC;iBACnC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,SAAS,EAAE,wBAAwB,CAAC,QAAQ,CAAC;YAC7C,KAAK,EAAE;gBACL,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,UAAU;aACvB;YACD,OAAO,EAAE,WAAW;SACrB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,SAAS,EAAE;YACT,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE;gBACP,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,eAAe;aACtB;SACF;QACD,KAAK,EAAE;YACL,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,UAAU;SACvB;QACD,OAAO,EAAE,WAAW;KACrB,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/runtime-union-alias-identity.d.ts

@@ -0,0 +1,5 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const getRuntimeUnionAliasReferenceKey: (type: IrType, context: EmitterContext) => string | undefined;
+export declare const runtimeUnionAliasReferencesMatch: (left: IrType, right: IrType, context: EmitterContext) => boolean;
+//# sourceMappingURL=runtime-union-alias-identity.d.ts.map

package/dist/core/semantic/runtime-union-alias-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-alias-identity.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-alias-identity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,eAAO,MAAM,gCAAgC,GAC3C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SA0BX,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,MAAM,EACZ,OAAO,MAAM,EACb,SAAS,cAAc,KACtB,OAMF,CAAC"}