@tsonic/emitter 0.0.74 → 0.0.75

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

@@ -0,0 +1,330 @@
+import { isAwaitableIrType } from "@tsonic/frontend";
+import { stableTypeKeyFromAst } from "../format/backend-ast/utils.js";
+import { identifierType } from "../format/backend-ast/builders.js";
+import { collectRuntimeUnionRawMembers, expandRuntimeUnionMembers, } from "./runtime-union-expansion.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { getRuntimeUnionMemberSortKey } from "./runtime-union-ordering.js";
+import { resolveStructuralReferenceType } from "./structural-shape-matching.js";
+import { resolveLocalTypeInfo, resolveTypeAlias, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
+import { matchesSemanticExpectedType } from "./expected-type-matching.js";
+import { isBroadObjectSlotType } from "./broad-object-types.js";
+import { findExactRuntimeUnionMemberIndices, findRuntimeUnionAssignableMemberIndices, findRuntimeUnionInstanceofMemberIndices, findRuntimeUnionMemberIndex, findRuntimeUnionMemberIndices, } from "./runtime-union-matching.js";
+import { getOrRegisterRuntimeUnionCarrier } from "./runtime-union-registry.js";
+import { tryContextualTypeIdentityKey } from "./deterministic-type-keys.js";
+export { findExactRuntimeUnionMemberIndices, findRuntimeUnionAssignableMemberIndices, findRuntimeUnionInstanceofMemberIndices, findRuntimeUnionMemberIndex, findRuntimeUnionMemberIndices, };
+export { getRuntimeUnionReferenceMembers, isRuntimeUnionTypeName, } from "./runtime-union-shared.js";
+export const buildRuntimeUnionLayout = (type, context, emitTypeAst) => {
+    const layoutSourceType = type.kind === "referenceType" ? resolveTypeAlias(type, context) : type;
+    const frame = buildRuntimeUnionFrame(layoutSourceType, context);
+    if (!frame) {
+        return [undefined, context];
+    }
+    const semanticMembers = frame.members;
+    const preserveRuntimeLayout = layoutSourceType.kind === "unionType" &&
+        layoutSourceType.preserveRuntimeLayout === true;
+    const orderedMembers = [];
+    const byAstKey = preserveRuntimeLayout
+        ? undefined
+        : new Map();
+    let currentContext = context;
+    for (const member of semanticMembers) {
+        const carrierMember = resolveStructuralReferenceType(member, currentContext) ?? member;
+        const emissionContext = currentContext.preferResolvedLocalClrIdentity
+            ? currentContext
+            : { ...currentContext, preferResolvedLocalClrIdentity: true };
+        const [typeAst, nextContext] = emitTypeAst(carrierMember, emissionContext);
+        currentContext =
+            emissionContext === currentContext
+                ? nextContext
+                : {
+                    ...nextContext,
+                    preferResolvedLocalClrIdentity: currentContext.preferResolvedLocalClrIdentity,
+                };
+        if (preserveRuntimeLayout) {
+            orderedMembers.push({ member, typeAst });
+            continue;
+        }
+        const key = stableTypeKeyFromAst(typeAst);
+        if (byAstKey && !byAstKey.has(key)) {
+            byAstKey.set(key, { member, typeAst });
+        }
+    }
+    const ordered = preserveRuntimeLayout
+        ? orderedMembers
+        : Array.from(byAstKey?.values() ?? []);
+    if (ordered.length < 2) {
+        return [undefined, currentContext];
+    }
+    const carrierMetadata = layoutSourceType.kind === "unionType" &&
+        layoutSourceType.runtimeCarrierFamilyKey
+        ? {
+            familyKey: layoutSourceType.runtimeCarrierFamilyKey,
+            name: layoutSourceType.runtimeCarrierName,
+            namespaceName: layoutSourceType.runtimeCarrierNamespace,
+            typeParameters: layoutSourceType.runtimeCarrierTypeParameters,
+        }
+        : undefined;
+    const [sourceAliasMetadata, sourceAliasContext] = carrierMetadata
+        ? buildSourceAliasCarrierMetadata(type, layoutSourceType, currentContext, emitTypeAst)
+        : [undefined, currentContext];
+    const carrier = getOrRegisterRuntimeUnionCarrier(ordered.map((entry) => entry.typeAst), sourceAliasContext.options.runtimeUnionRegistry, carrierMetadata
+        ? {
+            ...carrierMetadata,
+            ...(sourceAliasMetadata?.typeParameters !== undefined
+                ? { typeParameters: sourceAliasMetadata.typeParameters }
+                : {}),
+            ...(sourceAliasMetadata?.definitionMemberTypeAsts !== undefined
+                ? {
+                    definitionMemberTypeAsts: sourceAliasMetadata.definitionMemberTypeAsts,
+                }
+                : {}),
+            ...(sourceAliasMetadata?.accessModifier !== undefined
+                ? { accessModifier: sourceAliasMetadata.accessModifier }
+                : {}),
+        }
+        : undefined);
+    return [
+        {
+            members: ordered.map((entry) => entry.member),
+            memberTypeAsts: ordered.map((entry) => entry.typeAst),
+            carrierTypeArgumentAsts: sourceAliasMetadata?.typeArgumentAsts ??
+                ordered.map((entry) => entry.typeAst),
+            runtimeUnionArity: ordered.length,
+            carrierName: carrier.name,
+            carrierFullName: carrier.fullName,
+        },
+        sourceAliasContext,
+    ];
+};
+const buildSourceAliasCarrierMetadata = (requestedType, layoutSourceType, context, emitTypeAst) => {
+    if (layoutSourceType.kind !== "unionType" ||
+        !layoutSourceType.runtimeCarrierFamilyKey) {
+        return [undefined, context];
+    }
+    const aliasLookupReference = requestedType.kind === "referenceType"
+        ? requestedType
+        : {
+            kind: "referenceType",
+            name: layoutSourceType.runtimeCarrierName ?? "",
+            ...(layoutSourceType.runtimeCarrierNamespace &&
+                layoutSourceType.runtimeCarrierName
+                ? {
+                    resolvedClrType: `${layoutSourceType.runtimeCarrierNamespace}.${layoutSourceType.runtimeCarrierName}`,
+                }
+                : {}),
+        };
+    if (aliasLookupReference.name.length === 0) {
+        return [undefined, context];
+    }
+    const aliasInfo = resolveLocalTypeInfo(aliasLookupReference, context);
+    if (!aliasInfo || aliasInfo.info.kind !== "typeAlias") {
+        return [undefined, context];
+    }
+    const targetModulePublicLocalTypes = aliasInfo.namespace ===
+        (context.moduleNamespace ?? context.options.rootNamespace)
+        ? context.publicLocalTypes
+        : [...(context.options.moduleMap?.values() ?? [])].find((moduleInfo) => moduleInfo.namespace === aliasInfo.namespace &&
+            moduleInfo.localTypes?.has(aliasInfo.name))?.publicLocalTypes;
+    const accessModifier = aliasInfo.info.isExported === true ||
+        targetModulePublicLocalTypes?.has(aliasInfo.name)
+        ? "public"
+        : "internal";
+    const aliasOwnerModule = [...(context.options.moduleMap?.values() ?? [])].find((moduleInfo) => moduleInfo.namespace === aliasInfo.namespace &&
+        moduleInfo.localTypes?.has(aliasInfo.name));
+    const typeParameters = layoutSourceType.runtimeCarrierTypeParameters ??
+        aliasInfo.info.typeParameters;
+    const typeArgumentTypes = requestedType.kind === "referenceType" &&
+        requestedType.typeArguments &&
+        requestedType.typeArguments.length > 0
+        ? requestedType.typeArguments
+        : layoutSourceType.runtimeCarrierTypeArguments &&
+            layoutSourceType.runtimeCarrierTypeArguments.length > 0
+            ? layoutSourceType.runtimeCarrierTypeArguments
+            : typeParameters.map((name) => ({ kind: "typeParameterType", name }));
+    const definitionContext = {
+        ...context,
+        moduleNamespace: aliasInfo.namespace,
+        localTypes: aliasOwnerModule?.localTypes ?? context.localTypes,
+        publicLocalTypes: aliasOwnerModule?.publicLocalTypes ??
+            targetModulePublicLocalTypes ??
+            context.publicLocalTypes,
+        qualifyLocalTypes: false,
+        preferResolvedLocalClrIdentity: false,
+        typeParameters: new Set([
+            ...(context.typeParameters ?? []),
+            ...typeParameters,
+        ]),
+    };
+    const definitionFrame = buildRuntimeUnionFrame(aliasInfo.info.type, definitionContext);
+    if (!definitionFrame) {
+        return [undefined, context];
+    }
+    let currentContext = definitionContext;
+    const definitionMemberTypeAsts = [];
+    for (const member of definitionFrame.members) {
+        const carrierMember = resolveStructuralReferenceType(member, currentContext) ?? member;
+        const [memberTypeAst, nextContext] = emitTypeAst(carrierMember, currentContext);
+        definitionMemberTypeAsts.push(memberTypeAst);
+        currentContext = nextContext;
+    }
+    const typeArgumentAsts = [];
+    for (const typeArgument of typeArgumentTypes) {
+        const [typeArgumentAst, nextContext] = emitTypeAst(typeArgument, currentContext);
+        typeArgumentAsts.push(typeArgumentAst);
+        currentContext = nextContext;
+    }
+    return [
+        {
+            typeParameters,
+            typeArgumentAsts,
+            definitionMemberTypeAsts,
+            accessModifier,
+        },
+        {
+            ...currentContext,
+            moduleNamespace: context.moduleNamespace,
+            localTypes: context.localTypes,
+            publicLocalTypes: context.publicLocalTypes,
+            qualifyLocalTypes: context.qualifyLocalTypes,
+            preferResolvedLocalClrIdentity: context.preferResolvedLocalClrIdentity,
+            typeParameters: context.typeParameters,
+        },
+    ];
+};
+export const buildRuntimeUnionTypeAst = (layout) => {
+    const carrierName = layout.carrierFullName ??
+        getOrRegisterRuntimeUnionCarrier(layout.memberTypeAsts, undefined).fullName;
+    return identifierType(`global::${carrierName}`, [
+        ...layout.carrierTypeArgumentAsts,
+    ]);
+};
+export const emitRuntimeCarrierTypeAst = (type, context, emitTypeAst) => {
+    const [layout, layoutContext] = buildRuntimeUnionLayout(type, context, emitTypeAst);
+    if (layout) {
+        return [buildRuntimeUnionTypeAst(layout), layout, layoutContext];
+    }
+    const [typeAst, typeContext] = emitTypeAst(type, context);
+    return [typeAst, undefined, typeContext];
+};
+export const buildRuntimeUnionFrame = (type, context) => {
+    const frameSourceType = type.kind === "referenceType" ? resolveTypeAlias(type, context) : type;
+    const members = getCanonicalRuntimeUnionMembers(frameSourceType, context);
+    if (!members) {
+        return undefined;
+    }
+    if (frameSourceType.kind === "unionType" &&
+        shouldEraseRuntimeUnionToBroadObjectStorage(frameSourceType, members, context)) {
+        return undefined;
+    }
+    return {
+        members,
+        runtimeUnionArity: members.length,
+    };
+};
+const shouldEraseRuntimeUnionToBroadObjectStorage = (sourceType, runtimeMembers, context) => {
+    const split = splitRuntimeNullishUnionMembers(sourceType);
+    const nonNullishMembers = split?.nonNullishMembers ?? sourceType.types;
+    if (nonNullishMembers.length === 1) {
+        return isBroadObjectSlotType(nonNullishMembers[0], context);
+    }
+    if (runtimeMembers.some((member) => isAwaitableIrType(member))) {
+        return false;
+    }
+    return (runtimeMembers.length > 1 &&
+        runtimeMembers.some((member) => isBroadObjectSlotType(member, context)));
+};
+export const getCanonicalRuntimeUnionMembers = (type, context) => {
+    const canonicalSourceType = type.kind === "referenceType" ? resolveTypeAlias(type, context) : type;
+    const preserveRuntimeLayout = canonicalSourceType.kind === "unionType" &&
+        canonicalSourceType.preserveRuntimeLayout === true;
+    const activeAliases = canonicalSourceType.kind === "unionType" &&
+        canonicalSourceType.runtimeCarrierFamilyKey
+        ? new Set([canonicalSourceType.runtimeCarrierFamilyKey])
+        : new Set();
+    const semanticMembers = preserveRuntimeLayout
+        ? collectRuntimeUnionRawMembers(canonicalSourceType, context, activeAliases)
+        : expandRuntimeUnionMembers(canonicalSourceType, context, activeAliases);
+    if (semanticMembers.length < 2) {
+        return undefined;
+    }
+    if (preserveRuntimeLayout) {
+        return semanticMembers;
+    }
+    const mergeEquivalentRuntimeUnionMembers = (existing, candidate) => {
+        if (existing.kind !== "arrayType" || candidate.kind !== "arrayType") {
+            return candidate;
+        }
+        const existingSemanticElementType = existing.storageErasedElementType ?? existing.elementType;
+        const candidateSemanticElementType = candidate.storageErasedElementType ?? candidate.elementType;
+        const getSemanticArrayOwnerBreadth = (elementType) => {
+            const resolved = resolveTypeAlias(elementType, context);
+            return resolved.kind === "unionType" ? resolved.types.length : 1;
+        };
+        const candidateAcceptsExisting = matchesSemanticExpectedType(existingSemanticElementType, candidateSemanticElementType, context);
+        const existingAcceptsCandidate = matchesSemanticExpectedType(candidateSemanticElementType, existingSemanticElementType, context);
+        const candidateBreadth = getSemanticArrayOwnerBreadth(candidateSemanticElementType);
+        const existingBreadth = getSemanticArrayOwnerBreadth(existingSemanticElementType);
+        const preferredBase = candidateAcceptsExisting && !existingAcceptsCandidate
+            ? candidate
+            : existingAcceptsCandidate && !candidateAcceptsExisting
+                ? existing
+                : candidateBreadth !== existingBreadth
+                    ? candidateBreadth > existingBreadth
+                        ? candidate
+                        : existing
+                    : candidate.storageErasedElementType &&
+                        !existing.storageErasedElementType
+                        ? candidate
+                        : existing.storageErasedElementType &&
+                            !candidate.storageErasedElementType
+                            ? existing
+                            : (() => {
+                                const candidateKey = tryContextualTypeIdentityKey(candidateSemanticElementType, context);
+                                const existingKey = tryContextualTypeIdentityKey(existingSemanticElementType, context);
+                                return candidateKey &&
+                                    existingKey &&
+                                    candidateKey.localeCompare(existingKey) < 0
+                                    ? existing
+                                    : candidate;
+                            })();
+        const preferredSemanticElementType = preferredBase === candidate
+            ? candidateSemanticElementType
+            : existingSemanticElementType;
+        return preferredBase.storageErasedElementType ===
+            preferredSemanticElementType
+            ? preferredBase
+            : {
+                ...preferredBase,
+                storageErasedElementType: preferredSemanticElementType,
+            };
+    };
+    const deduped = [];
+    for (const member of semanticMembers) {
+        const existingIndex = deduped.findIndex((existing) => areIrTypesEquivalent(existing, member, context));
+        if (existingIndex < 0) {
+            deduped.push(member);
+            continue;
+        }
+        const existing = deduped[existingIndex];
+        if (existing) {
+            deduped[existingIndex] = mergeEquivalentRuntimeUnionMembers(existing, member);
+        }
+    }
+    return deduped
+        .map((member, index) => ({ member, index }))
+        .sort((left, right) => {
+        const leftKey = getRuntimeUnionMemberSortKey(left.member, context);
+        const rightKey = getRuntimeUnionMemberSortKey(right.member, context);
+        if (leftKey !== rightKey) {
+            return leftKey.localeCompare(rightKey);
+        }
+        const leftStableKey = tryContextualTypeIdentityKey(left.member, context);
+        const rightStableKey = tryContextualTypeIdentityKey(right.member, context);
+        if (leftStableKey && rightStableKey && leftStableKey !== rightStableKey) {
+            return leftStableKey.localeCompare(rightStableKey);
+        }
+        return left.index - right.index;
+    })
+        .map(({ member }) => member);
+};
+//# sourceMappingURL=runtime-unions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-unions.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAe,MAAM,kBAAkB,CAAC;AAGlE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAMnE,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,kCAAkC,EAClC,uCAAuC,EACvC,uCAAuC,EACvC,2BAA2B,EAC3B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EACL,kCAAkC,EAClC,uCAAuC,EACvC,uCAAuC,EACvC,2BAA2B,EAC3B,6BAA6B,GAC9B,CAAC;AAMF,OAAO,EACL,+BAA+B,EAC/B,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AAEnC,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,OAAuB,EACvB,WAA4B,EACsB,EAAE;IACpD,MAAM,gBAAgB,GACpB,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,KAAK,GAAG,sBAAsB,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC;IACtC,MAAM,qBAAqB,GACzB,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,gBAAgB,CAAC,qBAAqB,KAAK,IAAI,CAAC;IAElD,MAAM,cAAc,GAAiD,EAAE,CAAC;IACxE,MAAM,QAAQ,GAAG,qBAAqB;QACpC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,GAAG,EAAsD,CAAC;IAClE,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;QACrC,MAAM,aAAa,GACjB,8BAA8B,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC;QACnE,MAAM,eAAe,GAAG,cAAc,CAAC,8BAA8B;YACnE,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,8BAA8B,EAAE,IAAI,EAAE,CAAC;QAChE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QAC3E,cAAc;YACZ,eAAe,KAAK,cAAc;gBAChC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC;oBACE,GAAG,WAAW;oBACd,8BAA8B,EAC5B,cAAc,CAAC,8BAA8B;iBAChD,CAAC;QACR,IAAI,qBAAqB,EAAE,CAAC;YAC1B,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,qBAAqB;QACnC,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,eAAe,GACnB,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,gBAAgB,CAAC,uBAAuB;QACtC,CAAC,CAAC;YACE,SAAS,EAAE,gBAAgB,CAAC,uBAAuB;YACnD,IAAI,EAAE,gBAAgB,CAAC,kBAAkB;YACzC,aAAa,EAAE,gBAAgB,CAAC,uBAAuB;YACvD,cAAc,EAAE,gBAAgB,CAAC,4BAA4B;SAC9D;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,GAAG,eAAe;QAC/D,CAAC,CAAC,+BAA+B,CAC7B,IAAI,EACJ,gBAAgB,EAChB,cAAc,EACd,WAAW,CACZ;QACH,CAAC,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAEhC,MAAM,OAAO,GAAG,gCAAgC,CAC9C,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EACrC,kBAAkB,CAAC,OAAO,CAAC,oBAAoB,EAC/C,eAAe;QACb,CAAC,CAAC;YACE,GAAG,eAAe;YAClB,GAAG,CAAC,mBAAmB,EAAE,cAAc,KAAK,SAAS;gBACnD,CAAC,CAAC,EAAE,cAAc,EAAE,mBAAmB,CAAC,cAAc,EAAE;gBACxD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,mBAAmB,EAAE,wBAAwB,KAAK,SAAS;gBAC7D,CAAC,CAAC;oBACE,wBAAwB,EACtB,mBAAmB,CAAC,wBAAwB;iBAC/C;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,mBAAmB,EAAE,cAAc,KAAK,SAAS;gBACnD,CAAC,CAAC,EAAE,cAAc,EAAE,mBAAmB,CAAC,cAAc,EAAE;gBACxD,CAAC,CAAC,EAAE,CAAC;SACR;QACH,CAAC,CAAC,SAAS,CACd,CAAC;IAEF,OAAO;QACL;YACE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7C,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;YACrD,uBAAuB,EACrB,mBAAmB,EAAE,gBAAgB;gBACrC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;YACvC,iBAAiB,EAAE,OAAO,CAAC,MAAM;YACjC,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,eAAe,EAAE,OAAO,CAAC,QAAQ;SAClC;QACD,kBAAkB;KACnB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,aAAqB,EACrB,gBAAwB,EACxB,OAAuB,EACvB,WAA4B,EAY5B,EAAE;IACF,IACE,gBAAgB,CAAC,IAAI,KAAK,WAAW;QACrC,CAAC,gBAAgB,CAAC,uBAAuB,EACzC,CAAC;QACD,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,oBAAoB,GACxB,aAAa,CAAC,IAAI,KAAK,eAAe;QACpC,CAAC,CAAC,aAAa;QACf,CAAC,CAAC;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,gBAAgB,CAAC,kBAAkB,IAAI,EAAE;YAC/C,GAAG,CAAC,gBAAgB,CAAC,uBAAuB;gBAC5C,gBAAgB,CAAC,kBAAkB;gBACjC,CAAC,CAAC;oBACE,eAAe,EAAE,GAAG,gBAAgB,CAAC,uBAAuB,IAAI,gBAAgB,CAAC,kBAAkB,EAAE;iBACtG;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACR,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtD,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,4BAA4B,GAChC,SAAS,CAAC,SAAS;QACnB,CAAC,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;QACxD,CAAC,CAAC,OAAO,CAAC,gBAAgB;QAC1B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CACnD,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;YAC5C,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAC7C,EAAE,gBAAgB,CAAC;IAC1B,MAAM,cAAc,GAClB,SAAS,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI;QAClC,4BAA4B,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;QAC/C,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,UAAU,CAAC;IACjB,MAAM,gBAAgB,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5E,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS;QAC5C,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAC7C,CAAC;IAEF,MAAM,cAAc,GAClB,gBAAgB,CAAC,4BAA4B;QAC7C,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC;IAChC,MAAM,iBAAiB,GACrB,aAAa,CAAC,IAAI,KAAK,eAAe;QACtC,aAAa,CAAC,aAAa;QAC3B,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACpC,CAAC,CAAC,aAAa,CAAC,aAAa;QAC7B,CAAC,CAAC,gBAAgB,CAAC,2BAA2B;YAC1C,gBAAgB,CAAC,2BAA2B,CAAC,MAAM,GAAG,CAAC;YACzD,CAAC,CAAC,gBAAgB,CAAC,2BAA2B;YAC9C,CAAC,CAAC,cAAc,CAAC,GAAG,CAChB,CAAC,IAAI,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CACxD,CAAC;IACV,MAAM,iBAAiB,GAAmB;QACxC,GAAG,OAAO;QACV,eAAe,EAAE,SAAS,CAAC,SAAS;QACpC,UAAU,EAAE,gBAAgB,EAAE,UAAU,IAAI,OAAO,CAAC,UAAU;QAC9D,gBAAgB,EACd,gBAAgB,EAAE,gBAAgB;YAClC,4BAA4B;YAC5B,OAAO,CAAC,gBAAgB;QAC1B,iBAAiB,EAAE,KAAK;QACxB,8BAA8B,EAAE,KAAK;QACrC,cAAc,EAAE,IAAI,GAAG,CAAC;YACtB,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;YACjC,GAAG,cAAc;SAClB,CAAC;KACH,CAAC;IACF,MAAM,eAAe,GAAG,sBAAsB,CAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,iBAAiB,CAClB,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,cAAc,GAAG,iBAAiB,CAAC;IACvC,MAAM,wBAAwB,GAAoB,EAAE,CAAC;IACrD,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;QAC7C,MAAM,aAAa,GACjB,8BAA8B,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC;QACnE,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAC9C,aAAa,EACb,cAAc,CACf,CAAC;QACF,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7C,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,MAAM,gBAAgB,GAAoB,EAAE,CAAC;IAC7C,KAAK,MAAM,YAAY,IAAI,iBAAiB,EAAE,CAAC;QAC7C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,cAAc,CACf,CAAC;QACF,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACvC,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL;YACE,cAAc;YACd,gBAAgB;YAChB,wBAAwB;YACxB,cAAc;SACf;QACD;YACE,GAAG,cAAc;YACjB,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,8BAA8B,EAC5B,OAAO,CAAC,8BAA8B;YACxC,cAAc,EAAE,OAAO,CAAC,cAAc;SACvC;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAA0B,EACX,EAAE;IACjB,MAAM,WAAW,GACf,MAAM,CAAC,eAAe;QACtB,gCAAgC,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC;IAC9E,OAAO,cAAc,CAAC,WAAW,WAAW,EAAE,EAAE;QAC9C,GAAG,MAAM,CAAC,uBAAuB;KAClC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,OAAuB,EACvB,WAA4B,EACqC,EAAE;IACnE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,uBAAuB,CACrD,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,OAAuB,EACQ,EAAE;IACjC,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,OAAO,GAAG,+BAA+B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,eAAe,CAAC,IAAI,KAAK,WAAW;QACpC,2CAA2C,CACzC,eAAe,EACf,OAAO,EACP,OAAO,CACR,EACD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,OAAO;QACP,iBAAiB,EAAE,OAAO,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,UAAkD,EAClD,cAAiC,EACjC,OAAuB,EACd,EAAE;IACX,MAAM,KAAK,GAAG,+BAA+B,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,KAAK,EAAE,iBAAiB,IAAI,UAAU,CAAC,KAAK,CAAC;IACvE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACQ,EAAE;IACjC,MAAM,mBAAmB,GACvB,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,qBAAqB,GACzB,mBAAmB,CAAC,IAAI,KAAK,WAAW;QACxC,mBAAmB,CAAC,qBAAqB,KAAK,IAAI,CAAC;IACrD,MAAM,aAAa,GACjB,mBAAmB,CAAC,IAAI,KAAK,WAAW;QACxC,mBAAmB,CAAC,uBAAuB;QACzC,CAAC,CAAC,IAAI,GAAG,CAAS,CAAC,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;QAChE,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;IACxB,MAAM,eAAe,GAAG,qBAAqB;QAC3C,CAAC,CAAC,6BAA6B,CAAC,mBAAmB,EAAE,OAAO,EAAE,aAAa,CAAC;QAC5E,CAAC,CAAC,yBAAyB,CAAC,mBAAmB,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC3E,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,MAAM,kCAAkC,GAAG,CACzC,QAAgB,EAChB,SAAiB,EACT,EAAE;QACV,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,2BAA2B,GAC/B,QAAQ,CAAC,wBAAwB,IAAI,QAAQ,CAAC,WAAW,CAAC;QAC5D,MAAM,4BAA4B,GAChC,SAAS,CAAC,wBAAwB,IAAI,SAAS,CAAC,WAAW,CAAC;QAC9D,MAAM,4BAA4B,GAAG,CAAC,WAAmB,EAAU,EAAE;YACnE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACxD,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,CAAC;QAEF,MAAM,wBAAwB,GAAG,2BAA2B,CAC1D,2BAA2B,EAC3B,4BAA4B,EAC5B,OAAO,CACR,CAAC;QACF,MAAM,wBAAwB,GAAG,2BAA2B,CAC1D,4BAA4B,EAC5B,2BAA2B,EAC3B,OAAO,CACR,CAAC;QACF,MAAM,gBAAgB,GAAG,4BAA4B,CACnD,4BAA4B,CAC7B,CAAC;QACF,MAAM,eAAe,GAAG,4BAA4B,CAClD,2BAA2B,CAC5B,CAAC;QAEF,MAAM,aAAa,GACjB,wBAAwB,IAAI,CAAC,wBAAwB;YACnD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,wBAAwB,IAAI,CAAC,wBAAwB;gBACrD,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,gBAAgB,KAAK,eAAe;oBACpC,CAAC,CAAC,gBAAgB,GAAG,eAAe;wBAClC,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,QAAQ;oBACZ,CAAC,CAAC,SAAS,CAAC,wBAAwB;wBAChC,CAAC,QAAQ,CAAC,wBAAwB;wBACpC,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,QAAQ,CAAC,wBAAwB;4BAC/B,CAAC,SAAS,CAAC,wBAAwB;4BACrC,CAAC,CAAC,QAAQ;4BACV,CAAC,CAAC,CAAC,GAAG,EAAE;gCACF,MAAM,YAAY,GAAG,4BAA4B,CAC/C,4BAA4B,EAC5B,OAAO,CACR,CAAC;gCACF,MAAM,WAAW,GAAG,4BAA4B,CAC9C,2BAA2B,EAC3B,OAAO,CACR,CAAC;gCACF,OAAO,YAAY;oCACjB,WAAW;oCACX,YAAY,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC;oCAC3C,CAAC,CAAC,QAAQ;oCACV,CAAC,CAAC,SAAS,CAAC;4BAChB,CAAC,CAAC,EAAE,CAAC;QAErB,MAAM,4BAA4B,GAChC,aAAa,KAAK,SAAS;YACzB,CAAC,CAAC,4BAA4B;YAC9B,CAAC,CAAC,2BAA2B,CAAC;QAElC,OAAO,aAAa,CAAC,wBAAwB;YAC3C,4BAA4B;YAC5B,CAAC,CAAC,aAAa;YACf,CAAC,CAAC;gBACE,GAAG,aAAa;gBAChB,wBAAwB,EAAE,4BAA4B;aACvD,CAAC;IACR,CAAC,CAAC;IAEF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnD,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAChD,CAAC;QACF,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,CAAC,aAAa,CAAC,GAAG,kCAAkC,CACzD,QAAQ,EACR,MAAM,CACP,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACpB,MAAM,OAAO,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,aAAa,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,cAAc,GAAG,4BAA4B,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,aAAa,IAAI,cAAc,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACxE,OAAO,aAAa,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAClC,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC,CAAC"}

package/dist/core/semantic/runtime-unions.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=runtime-unions.test.d.ts.map

package/dist/core/semantic/runtime-unions.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-unions.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-unions.test.ts"],"names":[],"mappings":""}