@tsonic/emitter 0.0.76 → 0.0.77

package/dist/core/semantic/comparable-types.js

@@ -1,11 +1,19 @@
 import { unwrapParameterModifierType } from "./parameter-modifier-types.js";
 import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
+import { getReferenceNominalIdentityKey } from "./reference-type-identity.js";
+const createComparableNormalizeState = () => ({
+    cache: new WeakMap(),
+    active: new WeakSet(),
+    keyCache: new Map(),
+    activeKeys: new Set(),
+});
 export const unwrapComparableType = (type) => stripNullish(unwrapParameterModifierType(type) ?? type);
-const normalizeComparableMembers = (members, context, cache, active) => members.map((member) => {
+const normalizeComparableMembers = (members, context, state) => members.map((member) => {
     if (member.kind === "propertySignature") {
         return {
             ...member,
-            type: normalizeComparableType(member.type, context, cache, active),
+            type: normalizeComparableType(member.type, context, state),
         };
     }
     return {
@@ -13,53 +21,53 @@ const normalizeComparableMembers = (members, context, cache, active) => members.
         parameters: member.parameters.map((parameter) => parameter.type
             ? {
                 ...parameter,
-                type: normalizeComparableType(parameter.type, context, cache, active),
+                type: normalizeComparableType(parameter.type, context, state),
             }
             : parameter),
         returnType: member.returnType
-            ? normalizeComparableType(member.returnType, context, cache, active)
+            ? normalizeComparableType(member.returnType, context, state)
             : undefined,
     };
 });
-const normalizeResolvedComparableType = (type, context, cache, active) => {
+const normalizeResolvedComparableType = (type, context, state) => {
     switch (type.kind) {
         case "referenceType": {
             if (type.structuralMembers && type.structuralMembers.length > 0) {
                 return {
                     kind: "objectType",
-                    members: normalizeComparableMembers(type.structuralMembers, context, cache, active),
+                    members: normalizeComparableMembers(type.structuralMembers, context, state),
                 };
             }
-            const typeArguments = type.typeArguments?.map((argument) => normalizeComparableType(argument, context, cache, active));
+            const typeArguments = type.typeArguments?.map((argument) => normalizeComparableType(argument, context, state));
             const typeArgumentsChanged = !!typeArguments &&
                 typeArguments.some((argument, index) => argument !== type.typeArguments?.[index]);
             return typeArgumentsChanged ? { ...type, typeArguments } : type;
         }
         case "unionType": {
-            const types = type.types.map((member) => normalizeComparableType(member, context, cache, active));
+            const types = type.types.map((member) => normalizeComparableType(member, context, state));
             return types.some((member, index) => member !== type.types[index])
                 ? { ...type, types }
                 : type;
         }
         case "intersectionType": {
-            const types = type.types.map((member) => normalizeComparableType(member, context, cache, active));
+            const types = type.types.map((member) => normalizeComparableType(member, context, state));
             return types.some((member, index) => member !== type.types[index])
                 ? { ...type, types }
                 : type;
         }
         case "arrayType": {
-            const elementType = normalizeComparableType(type.elementType, context, cache, active);
+            const elementType = normalizeComparableType(type.elementType, context, state);
             return elementType !== type.elementType ? { ...type, elementType } : type;
         }
         case "dictionaryType": {
-            const keyType = normalizeComparableType(type.keyType, context, cache, active);
-            const valueType = normalizeComparableType(type.valueType, context, cache, active);
+            const keyType = normalizeComparableType(type.keyType, context, state);
+            const valueType = normalizeComparableType(type.valueType, context, state);
             return keyType !== type.keyType || valueType !== type.valueType
                 ? { ...type, keyType, valueType }
                 : type;
         }
         case "tupleType": {
-            const elementTypes = type.elementTypes.map((element) => normalizeComparableType(element, context, cache, active));
+            const elementTypes = type.elementTypes.map((element) => normalizeComparableType(element, context, state));
             return elementTypes.some((element, index) => element !== type.elementTypes[index])
                 ? { ...type, elementTypes }
                 : type;
@@ -68,17 +76,17 @@ const normalizeResolvedComparableType = (type, context, cache, active) => {
             const parameters = type.parameters.map((parameter) => parameter.type
                 ? {
                     ...parameter,
-                    type: normalizeComparableType(parameter.type, context, cache, active),
+                    type: normalizeComparableType(parameter.type, context, state),
                 }
                 : parameter);
-            const returnType = normalizeComparableType(type.returnType, context, cache, active);
+            const returnType = normalizeComparableType(type.returnType, context, state);
             return returnType !== type.returnType ||
                 parameters.some((parameter, index) => parameter !== type.parameters[index])
                 ? { ...type, parameters, returnType }
                 : type;
         }
         case "objectType": {
-            const members = normalizeComparableMembers(type.members, context, cache, active);
+            const members = normalizeComparableMembers(type.members, context, state);
             return members.some((member, index) => member !== type.members[index])
                 ? { ...type, members }
                 : type;
@@ -87,22 +95,48 @@ const normalizeResolvedComparableType = (type, context, cache, active) => {
             return type;
     }
 };
-export const resolveComparableType = (type, context) => normalizeComparableType(unwrapComparableType(type), context, new WeakMap(), new WeakSet());
-const normalizeComparableType = (type, context, cache, active) => {
+export const resolveComparableType = (type, context) => normalizeComparableType(unwrapComparableType(type), context, createComparableNormalizeState());
+const normalizeComparableType = (type, context, state) => {
     const comparable = unwrapComparableType(type);
-    const cached = cache.get(comparable);
+    const comparableObject = comparable;
+    const cached = state.cache.get(comparableObject);
     if (cached) {
         return cached;
     }
-    if (active.has(comparable)) {
+    if (state.active.has(comparableObject)) {
+        return comparable;
+    }
+    const comparableKey = getContextualTypeVisitKey(comparable, context);
+    const keyCached = state.keyCache.get(comparableKey);
+    if (keyCached) {
+        return keyCached;
+    }
+    if (state.activeKeys.has(comparableKey)) {
         return comparable;
     }
-    active.add(comparable);
-    const resolved = resolveTypeAlias(comparable, context);
-    const normalized = normalizeResolvedComparableType(resolved, context, cache, active);
-    cache.set(comparable, normalized);
-    cache.set(resolved, normalized);
-    active.delete(comparable);
-    return normalized;
+    state.active.add(comparableObject);
+    state.activeKeys.add(comparableKey);
+    try {
+        const resolved = resolveTypeAlias(comparable, context);
+        if (comparable.kind === "referenceType" &&
+            resolved.kind === "unionType" &&
+            resolved.runtimeCarrierFamilyKey &&
+            getReferenceNominalIdentityKey(comparable, context)) {
+            const normalized = normalizeResolvedComparableType(comparable, context, state);
+            state.cache.set(comparableObject, normalized);
+            state.keyCache.set(comparableKey, normalized);
+            return normalized;
+        }
+        const normalized = normalizeResolvedComparableType(resolved, context, state);
+        state.cache.set(comparableObject, normalized);
+        state.cache.set(resolved, normalized);
+        state.keyCache.set(comparableKey, normalized);
+        state.keyCache.set(getContextualTypeVisitKey(resolved, context), normalized);
+        return normalized;
+    }
+    finally {
+        state.active.delete(comparableObject);
+        state.activeKeys.delete(comparableKey);
+    }
 };
 //# sourceMappingURL=comparable-types.js.map

package/dist/core/semantic/comparable-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"comparable-types.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE,CAC3D,YAAY,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;AAE1D,MAAM,0BAA0B,GAAG,CACjC,OAA2D,EAC3D,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EAC6B,EAAE,CACtD,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,IAAI;YACZ,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,IAAI,EAAE,uBAAuB,CAC3B,SAAS,CAAC,IAAI,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP;aACF;YACH,CAAC,CAAC,SAAS,CACd;QACD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YACpE,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EACf,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,0BAA0B,CACjC,IAAI,CAAC,iBAAiB,EACtB,OAAO,EACP,KAAK,EACL,MAAM,CACP;iBACF,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzD,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAC1D,CAAC;YACF,MAAM,oBAAoB,GACxB,CAAC,CAAC,aAAa;gBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAC9D,CAAC;YACJ,OAAO,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG,uBAAuB,CACzC,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,WAAW,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,uBAAuB,CACvC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS;gBAC7D,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE;gBACjC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrD,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CACzD,CAAC;YACF,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBAChF,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE;gBAC3B,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,SAAS,CAAC,IAAI;gBACZ,CAAC,CAAC;oBACE,GAAG,SAAS;oBACZ,IAAI,EAAE,uBAAuB,CAC3B,SAAS,CAAC,IAAI,EACd,OAAO,EACP,KAAK,EACL,MAAM,CACP;iBACF;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,MAAM,UAAU,GAAG,uBAAuB,CACxC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;YACF,OAAO,UAAU,KAAK,IAAI,CAAC,UAAU;gBACnC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC3E,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE;gBACrC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE;gBACtB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,uBAAuB,CACrB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,OAAO,EACP,IAAI,OAAO,EAAkB,EAC7B,IAAI,OAAO,EAAU,CACtB,CAAC;AAEJ,MAAM,uBAAuB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACvB,KAA8B,EAC9B,MAAuB,EACf,EAAE;IACV,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC;IAC/C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,GAAG,CAAC,UAAoB,CAAC,EAAE,CAAC;QACrC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,UAAoB,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,+BAA+B,CAChD,QAAQ,EACR,OAAO,EACP,KAAK,EACL,MAAM,CACP,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,UAAoB,EAAE,UAAU,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,QAAkB,EAAE,UAAU,CAAC,CAAC;IAC1C,MAAM,CAAC,MAAM,CAAC,UAAoB,CAAC,CAAC;IACpC,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}
+{"version":3,"file":"comparable-types.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAS9E,MAAM,8BAA8B,GAAG,GAA6B,EAAE,CAAC,CAAC;IACtE,KAAK,EAAE,IAAI,OAAO,EAAkB;IACpC,MAAM,EAAE,IAAI,OAAO,EAAU;IAC7B,QAAQ,EAAE,IAAI,GAAG,EAAkB;IACnC,UAAU,EAAE,IAAI,GAAG,EAAU;CAC9B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE,CAC3D,YAAY,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;AAE1D,MAAM,0BAA0B,GAAG,CACjC,OAA2D,EAC3D,OAAuB,EACvB,KAA+B,EACqB,EAAE,CACtD,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;SAC3D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,MAAM;QACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,IAAI;YACZ,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,IAAI,EAAE,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;aAC9D;YACH,CAAC,CAAC,SAAS,CACd;QACD,UAAU,EAAE,MAAM,CAAC,UAAU;YAC3B,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC;YAC5D,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,+BAA+B,GAAG,CACtC,IAAY,EACZ,OAAuB,EACvB,KAA+B,EACvB,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,OAAO;oBACL,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,0BAA0B,CACjC,IAAI,CAAC,iBAAiB,EACtB,OAAO,EACP,KAAK,CACN;iBACF,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzD,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAClD,CAAC;YACF,MAAM,oBAAoB,GACxB,CAAC,CAAC,aAAa;gBACf,aAAa,CAAC,IAAI,CAChB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAC9D,CAAC;YACJ,OAAO,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAChD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,uBAAuB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAChD,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE;gBACpB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG,uBAAuB,CACzC,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,CACN,CAAC;YACF,OAAO,WAAW,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5E,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACtE,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC1E,OAAO,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS;gBAC7D,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE;gBACjC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrD,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CACjD,CAAC;YACF,OAAO,YAAY,CAAC,IAAI,CACtB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CACzD;gBACC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE;gBAC3B,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,SAAS,CAAC,IAAI;gBACZ,CAAC,CAAC;oBACE,GAAG,SAAS;oBACZ,IAAI,EAAE,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;iBAC9D;gBACH,CAAC,CAAC,SAAS,CACd,CAAC;YACF,MAAM,UAAU,GAAG,uBAAuB,CACxC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,CACN,CAAC;YACF,OAAO,UAAU,KAAK,IAAI,CAAC,UAAU;gBACnC,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;gBACD,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE;gBACrC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACzE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE;gBACtB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,uBAAuB,CACrB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,OAAO,EACP,8BAA8B,EAAE,CACjC,CAAC;AAEJ,MAAM,uBAAuB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACvB,KAA+B,EACvB,EAAE;IACV,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,gBAAgB,GAAG,UAAoB,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACjD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,aAAa,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACnC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACvD,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;YACnC,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,QAAQ,CAAC,uBAAuB;YAChC,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC,EACnD,CAAC;YACD,MAAM,UAAU,GAAG,+BAA+B,CAChD,UAAU,EACV,OAAO,EACP,KAAK,CACN,CAAC;YACF,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;YAC9C,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;YAC9C,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,MAAM,UAAU,GAAG,+BAA+B,CAChD,QAAQ,EACR,OAAO,EACP,KAAK,CACN,CAAC;QACF,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC9C,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAkB,EAAE,UAAU,CAAC,CAAC;QAChD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAC9C,KAAK,CAAC,QAAQ,CAAC,GAAG,CAChB,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAC5C,UAAU,CACX,CAAC;QACF,OAAO,UAAU,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACtC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACzC,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/comparable-types.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"comparable-types.test.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;wBAC5C;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,IAAI;4BACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;yBAC3D;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,IAAI;YACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;wBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;qBACzC;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACjE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAClB,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC3C,qBAAqB,CAAC,aAAa,EAAE,OAAO,CAAC,EAC7C,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AAEL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"comparable-types.test.js","sourceRoot":"","sources":["../../../src/core/semantic/comparable-types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;wBAC5C;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,IAAI;4BACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;yBAC3D;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAClD,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,IAAI;YACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,YAAY,GAAW;YAC3B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE;gBACb;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE;wBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;wBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;qBACzC;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CAAC,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACjE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,OAAO,GAAmB;YAC9B,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,IAAI;oBACJ;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;oCAC1C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,SAAS;oCACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;oCAC3C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;gCACD;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,OAAO;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCAC9C,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,KAAK;oCACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;gCACD;oCACE,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,IAAI;oCACV,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;iCAC1D;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,WAAW;oBACjB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE;4BAC1C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,YAAY;oBAClB,iBAAiB,EAAE;wBACjB;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE;4BAC3C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAClB,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC3C,qBAAqB,CAAC,aAAa,EAAE,OAAO,CAAC,EAC7C,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/deterministic-type-keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deterministic-type-keys.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkC,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAuCrD,eAAO,MAAM,qCAAqC,GAChD,OAAO,OAAO,KACb,OAIA,CAAC;AAEJ,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAS1D,CAAC;AA+TF,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAC0D,CAAC;AAEvE,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MACqE,CAAC;AAEzE,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAGwC,CAAC"}
+{"version":3,"file":"deterministic-type-keys.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkC,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA0ErD,eAAO,MAAM,qCAAqC,GAChD,OAAO,OAAO,KACb,OAIA,CAAC;AAEJ,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAS1D,CAAC;AA4WF,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAuBX,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MACqE,CAAC;AAEzE,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAGwC,CAAC"}

package/dist/core/semantic/deterministic-type-keys.js

@@ -1,14 +1,36 @@
 import { stableIrTypeKey } from "@tsonic/frontend";
+import { createHash } from "node:crypto";
 import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
 import { getReferenceNominalIdentityKey } from "./reference-type-identity.js";
 const createContextualKeyState = () => ({
     keys: new WeakMap(),
     ids: new WeakMap(),
     active: new WeakSet(),
+    activeReferenceKeys: new Set(),
     nextId: 0,
 });
 const opaqueVisitKeys = new WeakMap();
 let nextOpaqueVisitKey = 0;
+const maxContextualKeyLength = 8192;
+const noContextualKey = Symbol("noContextualKey");
+const contextualKeyCache = new WeakMap();
+const hashContextualKey = (text) => `hash:${createHash("sha256").update(text).digest("hex")}`;
+const compactContextualKey = (key) => key.length <= maxContextualKeyLength ? key : hashContextualKey(key);
+const joinContextualKeyParts = (parts, separator) => {
+    const estimatedLength = parts.reduce((sum, part) => sum + part.length, 0) +
+        Math.max(0, parts.length - 1) * separator.length;
+    if (estimatedLength <= maxContextualKeyLength) {
+        return parts.join(separator);
+    }
+    const hash = createHash("sha256");
+    parts.forEach((part, index) => {
+        if (index > 0) {
+            hash.update(separator);
+        }
+        hash.update(part);
+    });
+    return `hash:${hash.digest("hex")}`;
+};
 const getOpaqueVisitKey = (type) => {
     if (typeof type !== "object" || type === null) {
         return `opaque:${String(type)}`;
@@ -93,42 +115,54 @@ const contextualMemberKey = (member, context, state) => {
     if (!returnTypeKey) {
         return undefined;
     }
-    return `method:${member.name}:${member.typeParameters?.length ?? 0}:${parameterKeys.join("|")}:${returnTypeKey}`;
+    return compactContextualKey(`method:${member.name}:${member.typeParameters?.length ?? 0}:${joinContextualKeyParts(parameterKeys, "|")}:${returnTypeKey}`);
 };
 const contextualReferenceTypeIdentityKey = (type, context, state) => {
-    const resolved = resolveTypeAlias(stripNullish(type), context);
-    if (resolved !== type) {
-        if (resolved.kind !== "referenceType") {
-            return contextualTypeIdentityKey(resolved, context, state);
-        }
-        return contextualReferenceTypeIdentityKey(resolved, context, state);
+    const rawIdentity = getReferenceNominalIdentityKey(type, context) ??
+        type.typeId?.stableId ??
+        type.typeId?.tsName ??
+        type.name;
+    const rawReferenceKey = `ref:${rawIdentity}`;
+    if (state.activeReferenceKeys.has(rawReferenceKey)) {
+        return `cycle:${rawReferenceKey}`;
     }
-    const identity = getReferenceNominalIdentityKey(type, context);
-    if (!identity && !type.structuralMembers) {
-        return undefined;
-    }
-    const argumentKeys = [];
-    for (const argument of type.typeArguments ?? []) {
-        const argumentKey = contextualTypeIdentityKey(argument, context, state);
-        if (!argumentKey) {
-            return undefined;
+    state.activeReferenceKeys.add(rawReferenceKey);
+    try {
+        const identity = getReferenceNominalIdentityKey(type, context);
+        const argumentKeys = [];
+        for (const argument of type.typeArguments ?? []) {
+            const argumentKey = contextualTypeIdentityKey(argument, context, state);
+            if (!argumentKey) {
+                return undefined;
+            }
+            argumentKeys.push(argumentKey);
         }
-        argumentKeys.push(argumentKey);
-    }
-    if (identity) {
-        return `ref:${identity}<${argumentKeys.join(",")}>`;
-    }
-    const memberKeys = [];
-    for (const member of type.structuralMembers ?? []) {
-        const memberKey = contextualMemberKey(member, context, state);
-        if (!memberKey) {
+        if (identity) {
+            return compactContextualKey(`ref:${identity}<${joinContextualKeyParts(argumentKeys, ",")}>`);
+        }
+        const resolved = resolveTypeAlias(stripNullish(type), context);
+        if (resolved !== type) {
+            if (resolved.kind !== "referenceType") {
+                return contextualTypeIdentityKey(resolved, context, state);
+            }
+            return contextualReferenceTypeIdentityKey(resolved, context, state);
+        }
+        if (!type.structuralMembers) {
             return undefined;
         }
-        memberKeys.push(memberKey);
+        const memberKeys = [];
+        for (const member of type.structuralMembers ?? []) {
+            const memberKey = contextualMemberKey(member, context, state);
+            if (!memberKey) {
+                return undefined;
+            }
+            memberKeys.push(memberKey);
+        }
+        return compactContextualKey(`ref:structural<${joinContextualKeyParts(argumentKeys, ",")}>{${joinContextualKeyParts([...memberKeys].sort(), "|")}}`);
+    }
+    finally {
+        state.activeReferenceKeys.delete(rawReferenceKey);
     }
-    return `ref:structural<${argumentKeys.join(",")}>{${memberKeys
-        .sort()
-        .join("|")}}`;
 };
 const contextualTypeIdentityKey = (type, context, state) => {
     const cached = state.keys.get(type);
@@ -170,14 +204,15 @@ const contextualTypeIdentityKey = (type, context, state) => {
                     }
                     tuplePrefixKeys.push(elementTypeKey);
                 }
-                if (key === undefined && tuplePrefixKeys.length !== (type.tuplePrefixElementTypes ?? []).length) {
+                if (key === undefined &&
+                    tuplePrefixKeys.length !== (type.tuplePrefixElementTypes ?? []).length) {
                     break;
                 }
                 const restKey = type.tupleRestElementType
                     ? contextualTypeIdentityKey(type.tupleRestElementType, context, state)
                     : "none";
                 key = restKey
-                    ? `arr:${elementKey}:tuple:${tuplePrefixKeys.join(",")}:rest:${restKey}`
+                    ? compactContextualKey(`arr:${elementKey}:tuple:${joinContextualKeyParts(tuplePrefixKeys, ",")}:rest:${restKey}`)
                     : undefined;
                 break;
             }
@@ -194,7 +229,7 @@ const contextualTypeIdentityKey = (type, context, state) => {
                 key =
                     key === undefined && elementKeys.length !== type.elementTypes.length
                         ? undefined
-                        : `tuple:${elementKeys.join(",")}`;
+                        : compactContextualKey(`tuple:${joinContextualKeyParts(elementKeys, ",")}`);
                 break;
             }
             case "dictionaryType": {
@@ -219,7 +254,7 @@ const contextualTypeIdentityKey = (type, context, state) => {
                 }
                 const returnKey = contextualTypeIdentityKey(type.returnType, context, state);
                 key = returnKey
-                    ? `fn:${parameterKeys.join("|")}=>${returnKey}`
+                    ? compactContextualKey(`fn:${joinContextualKeyParts(parameterKeys, "|")}=>${returnKey}`)
                     : undefined;
                 break;
             }
@@ -236,7 +271,7 @@ const contextualTypeIdentityKey = (type, context, state) => {
                 key =
                     key === undefined && memberKeys.length !== type.members.length
                         ? undefined
-                        : `obj:${memberKeys.sort().join("|")}`;
+                        : compactContextualKey(`obj:${joinContextualKeyParts([...memberKeys].sort(), "|")}`);
                 break;
             }
             case "unionType":
@@ -253,10 +288,11 @@ const contextualTypeIdentityKey = (type, context, state) => {
                 if (key === undefined && memberKeys.length !== type.types.length) {
                     break;
                 }
-                const orderedKeys = type.kind === "unionType" && type.preserveRuntimeLayout
+                const orderedKeys = type.kind === "unionType" &&
+                    type.runtimeUnionLayout === "carrierSlotOrder"
                     ? memberKeys
                     : [...memberKeys].sort();
-                key = `${type.kind === "unionType" ? "union" : "inter"}:${orderedKeys.join("|")}`;
+                key = compactContextualKey(`${type.kind === "unionType" ? "union" : "inter"}:${joinContextualKeyParts(orderedKeys, "|")}`);
                 break;
             }
         }
@@ -269,7 +305,24 @@ const contextualTypeIdentityKey = (type, context, state) => {
         state.active.delete(type);
     }
 };
-export const tryContextualTypeIdentityKey = (type, context) => contextualTypeIdentityKey(type, context, createContextualKeyState());
+export const tryContextualTypeIdentityKey = (type, context) => {
+    if (typeof type !== "object" || type === null) {
+        return undefined;
+    }
+    const contextObject = context;
+    const cachedByContext = contextualKeyCache.get(type);
+    const cached = cachedByContext?.get(contextObject);
+    if (cached !== undefined) {
+        return cached === noContextualKey ? undefined : cached;
+    }
+    const key = contextualTypeIdentityKey(type, context, createContextualKeyState());
+    const nextByContext = cachedByContext ?? new WeakMap();
+    nextByContext.set(contextObject, key ?? noContextualKey);
+    if (!cachedByContext) {
+        contextualKeyCache.set(type, nextByContext);
+    }
+    return key;
+};
 export const getContextualTypeVisitKey = (type, context) => tryContextualTypeIdentityKey(type, context) ?? getOpaqueVisitKey(type);
 export const describeIrTypeForDiagnostics = (type, context) => tryContextualTypeIdentityKey(type, context) ??
     tryStableIrTypeKey(type) ??

package/dist/core/semantic/deterministic-type-keys.js.map

@@ -1 +1 @@
-{"version":3,"file":"deterministic-type-keys.js","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAW9E,MAAM,wBAAwB,GAAG,GAAuB,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,IAAI,OAAO,EAAkB;IACnC,GAAG,EAAE,IAAI,OAAO,EAAkB;IAClC,MAAM,EAAE,IAAI,OAAO,EAAU;IAC7B,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAI,OAAO,EAAkB,CAAC;AACtD,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAE3B,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,UAAU,QAAQ,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,CAAC;IAChC,kBAAkB,IAAI,CAAC,CAAC;IACxB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,UAAU,IAAI,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,KAAc,EACL,EAAE,CACX,KAAK,YAAY,KAAK;IACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CACtB,gEAAgE,CACjE,CAAC;AAEJ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACrE,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,qCAAqC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IASC,EACO,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,aAAa;YAChB,OAAO,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAU,EAAE;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAClB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAsB,EACtB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI;QAC5B,CAAC,CAAC,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAClE,SAAS,CAAC,OAAO,IAAI,OACvB,IAAI,OAAO,EAAE,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAyB,EACzB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAC9C,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1B,IAAI,OAAO,EAAE;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU;QACrC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC;QAC9D,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CACtF,GAAG,CACJ,IAAI,aAAa,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,IAAqB,EACrB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACtC,OAAO,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,kCAAkC,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACxE,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,OAAO,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACtD,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,kBAAkB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU;SAC3D,IAAI,EAAE;SACN,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,EAAE,EAAE,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,GAAuB,CAAC;QAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,mBAAmB,CAAC;YACzB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YAER,KAAK,eAAe;gBAClB,GAAG,GAAG,kCAAkC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC/D,MAAM;YAER,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,UAAU,GAAG,yBAAyB,CAC1C,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,CACN,CAAC;gBACF,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,GAAG,GAAG,SAAS,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,MAAM,eAAe,GAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;oBAC7D,MAAM,cAAc,GAAG,yBAAyB,CAC9C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,cAAc,EAAE,CAAC;wBACpB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;oBAChG,MAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,oBAAoB;oBACvC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,oBAAoB,EAAE,OAAO,EAAE,KAAK,CAAC;oBACtE,CAAC,CAAC,MAAM,CAAC;gBACX,GAAG,GAAG,OAAO;oBACX,CAAC,CAAC,OAAO,UAAU,UAAU,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE;oBACxE,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,WAAW,GAAa,EAAE,CAAC;gBACjC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBAC5C,MAAM,UAAU,GAAG,yBAAyB,CAC1C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM;wBAClE,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,SAAS,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvC,MAAM;YACR,CAAC;YAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,yBAAyB,CACxC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,MAAM,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACrE,MAAM;YACR,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,aAAa,GAAa,EAAE,CAAC;gBACnC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,MAAM,YAAY,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBACvE,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,CAAC;gBACD,IACE,GAAG,KAAK,SAAS;oBACjB,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAC/C,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,SAAS,GAAG,yBAAyB,CACzC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,SAAS;oBACb,CAAC,CAAC,MAAM,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBAC/C,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;wBAC5D,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAChC,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpE,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjE,MAAM;gBACR,CAAC;gBACD,MAAM,WAAW,GACf,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,qBAAqB;oBACrD,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7B,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,CACxE,GAAG,CACJ,EAAE,CAAC;gBACJ,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACH,EAAE,CACtB,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,kBAAkB,CAAC,IAAI,CAAC;IACxB,GAAG,IAAI,CAAC,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC"}
+{"version":3,"file":"deterministic-type-keys.js","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAY9E,MAAM,wBAAwB,GAAG,GAAuB,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,IAAI,OAAO,EAAkB;IACnC,GAAG,EAAE,IAAI,OAAO,EAAkB;IAClC,MAAM,EAAE,IAAI,OAAO,EAAU;IAC7B,mBAAmB,EAAE,IAAI,GAAG,EAAU;IACtC,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAI,OAAO,EAAkB,CAAC;AACtD,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAC3B,MAAM,sBAAsB,GAAG,IAAI,CAAC;AACpC,MAAM,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAClD,MAAM,kBAAkB,GAAG,IAAI,OAAO,EAGnC,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,QAAQ,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAE5D,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAU,EAAE,CACnD,GAAG,CAAC,MAAM,IAAI,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;AAEtE,MAAM,sBAAsB,GAAG,CAC7B,KAAwB,EACxB,SAAiB,EACT,EAAE;IACV,MAAM,eAAe,GACnB,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IACnD,IAAI,eAAe,IAAI,sBAAsB,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,UAAU,QAAQ,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,CAAC;IAChC,kBAAkB,IAAI,CAAC,CAAC;IACxB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,UAAU,IAAI,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,KAAc,EACL,EAAE,CACX,KAAK,YAAY,KAAK;IACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CACtB,gEAAgE,CACjE,CAAC;AAEJ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACrE,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,qCAAqC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IASC,EACO,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,aAAa;YAChB,OAAO,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAU,EAAE;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAClB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAsB,EACtB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI;QAC5B,CAAC,CAAC,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAClE,SAAS,CAAC,OAAO,IAAI,OACvB,IAAI,OAAO,EAAE,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAyB,EACzB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAC9C,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1B,IAAI,OAAO,EAAE;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU;QACrC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC;QAC9D,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CACzB,UAAU,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,IAAI,sBAAsB,CACnF,aAAa,EACb,GAAG,CACJ,IAAI,aAAa,EAAE,CACrB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,IAAqB,EACrB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,WAAW,GACf,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;QAC7C,IAAI,CAAC,MAAM,EAAE,QAAQ;QACrB,IAAI,CAAC,MAAM,EAAE,MAAM;QACnB,IAAI,CAAC,IAAI,CAAC;IACZ,MAAM,eAAe,GAAG,OAAO,WAAW,EAAE,CAAC;IAC7C,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,eAAe,EAAE,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;YAChD,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACxE,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,oBAAoB,CACzB,OAAO,QAAQ,IAAI,sBAAsB,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,CAChE,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACtC,OAAO,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,kCAAkC,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACtE,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;YAClD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,oBAAoB,CACzB,kBAAkB,sBAAsB,CACtC,YAAY,EACZ,GAAG,CACJ,KAAK,sBAAsB,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAC7D,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,EAAE,EAAE,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,GAAuB,CAAC;QAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,mBAAmB,CAAC;YACzB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YAER,KAAK,eAAe;gBAClB,GAAG,GAAG,kCAAkC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC/D,MAAM;YAER,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,UAAU,GAAG,yBAAyB,CAC1C,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,CACN,CAAC;gBACF,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,GAAG,GAAG,SAAS,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,MAAM,eAAe,GAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;oBAC7D,MAAM,cAAc,GAAG,yBAAyB,CAC9C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,cAAc,EAAE,CAAC;wBACpB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACvC,CAAC;gBACD,IACE,GAAG,KAAK,SAAS;oBACjB,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,MAAM,EACtE,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,oBAAoB;oBACvC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,oBAAoB,EAAE,OAAO,EAAE,KAAK,CAAC;oBACtE,CAAC,CAAC,MAAM,CAAC;gBACX,GAAG,GAAG,OAAO;oBACX,CAAC,CAAC,oBAAoB,CAClB,OAAO,UAAU,UAAU,sBAAsB,CAC/C,eAAe,EACf,GAAG,CACJ,SAAS,OAAO,EAAE,CACpB;oBACH,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,WAAW,GAAa,EAAE,CAAC;gBACjC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBAC5C,MAAM,UAAU,GAAG,yBAAyB,CAC1C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM;wBAClE,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,oBAAoB,CAClB,SAAS,sBAAsB,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CACpD,CAAC;gBACR,MAAM;YACR,CAAC;YAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,yBAAyB,CACxC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,MAAM,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACrE,MAAM;YACR,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,aAAa,GAAa,EAAE,CAAC;gBACnC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,MAAM,YAAY,GAAG,sBAAsB,CACzC,SAAS,EACT,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,CAAC;gBACD,IACE,GAAG,KAAK,SAAS;oBACjB,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAC/C,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,SAAS,GAAG,yBAAyB,CACzC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,SAAS;oBACb,CAAC,CAAC,oBAAoB,CAClB,MAAM,sBAAsB,CAAC,aAAa,EAAE,GAAG,CAAC,KAAK,SAAS,EAAE,CACjE;oBACH,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;wBAC5D,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,oBAAoB,CAClB,OAAO,sBAAsB,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,CAC7D,CAAC;gBACR,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAChC,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpE,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjE,MAAM;gBACR,CAAC;gBACD,MAAM,WAAW,GACf,IAAI,CAAC,IAAI,KAAK,WAAW;oBACzB,IAAI,CAAC,kBAAkB,KAAK,kBAAkB;oBAC5C,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7B,GAAG,GAAG,oBAAoB,CACxB,GAAG,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,sBAAsB,CACxE,WAAW,EACX,GAAG,CACJ,EAAE,CACJ,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAiB,CAAC;IACxC,MAAM,eAAe,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IACzD,CAAC;IAED,MAAM,GAAG,GAAG,yBAAyB,CACnC,IAAI,EACJ,OAAO,EACP,wBAAwB,EAAE,CAC3B,CAAC;IACF,MAAM,aAAa,GAAG,eAAe,IAAI,IAAI,OAAO,EAAE,CAAC;IACvD,aAAa,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC;IACzD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,kBAAkB,CAAC,IAAI,CAAC;IACxB,GAAG,IAAI,CAAC,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC"}

package/dist/core/semantic/deterministic-type-keys.test.d.ts

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

package/dist/core/semantic/deterministic-type-keys.test.d.ts.map

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

package/dist/core/semantic/deterministic-type-keys.test.js

@@ -0,0 +1,38 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { getContextualTypeVisitKey } from "./deterministic-type-keys.js";
+const context = createContext({ rootNamespace: "Test" });
+describe("deterministic-type-keys", () => {
+    it("compacts large structural keys without constructing unbounded strings", () => {
+        const largeStructuralType = {
+            kind: "objectType",
+            members: Array.from({ length: 1200 }, (_unused, index) => ({
+                kind: "propertySignature",
+                name: `member_${index.toString().padStart(4, "0")}`,
+                type: {
+                    kind: "referenceType",
+                    name: "List_1",
+                    resolvedClrType: "System.Collections.Generic.List`1",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "Dictionary_2",
+                            resolvedClrType: "System.Collections.Generic.Dictionary`2",
+                            typeArguments: [
+                                { kind: "primitiveType", name: "string" },
+                                { kind: "primitiveType", name: "int" },
+                            ],
+                        },
+                    ],
+                },
+                isOptional: false,
+                isReadonly: false,
+            })),
+        };
+        const key = getContextualTypeVisitKey(largeStructuralType, context);
+        expect(key.length).to.be.lessThan(9000);
+        expect(key).to.match(/^obj:hash:|^hash:/);
+    });
+});
+//# sourceMappingURL=deterministic-type-keys.test.js.map

package/dist/core/semantic/deterministic-type-keys.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-type-keys.test.js","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,OAAO,GAAmB,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAEzE,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,mBAAmB,GAAW;YAClC,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACzD,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,UAAU,KAAK,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBACnD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAwB;oBAC9B,IAAI,EAAE,QAAQ;oBACd,eAAe,EAAE,mCAAmC;oBACpD,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAwB;4BAC9B,IAAI,EAAE,cAAc;4BACpB,eAAe,EAAE,yCAAyC;4BAC1D,aAAa,EAAE;gCACb,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;gCAC3D,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;6BACzD;yBACF;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB,CAAC,CAAC;SACJ,CAAC;QAEF,MAAM,GAAG,GAAG,yBAAyB,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC;QAEpE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/direct-storage-ir-types.d.ts

@@ -1,5 +1,5 @@
 import { type IrExpression, type IrType } from "@tsonic/frontend";
-import type { EmitterContext } from "../../types.js";
+import { type EmitterContext } from "../../types.js";
 export declare const resolveNamedRuntimeCarrierType: (name: string, context: EmitterContext) => IrType | undefined;
 export declare const resolveIdentifierCarrierStorageType: (expr: Extract<IrExpression, {
     kind: "identifier";

package/dist/core/semantic/direct-storage-ir-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"direct-storage-ir-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAmB,MAAM,gBAAgB,CAAC;AA4PtE,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAUX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAOX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAKX,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC;AAyBF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC"}
+{"version":3,"file":"direct-storage-ir-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,gBAAgB,CAAC;AAyQxB,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAUX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAOX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAKX,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC;AAyBF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC"}

package/dist/core/semantic/direct-storage-ir-types.js

@@ -1,4 +1,5 @@
-import { getAwaitedIrType } from "@tsonic/frontend";
+import { getAwaitedIrType, } from "@tsonic/frontend";
+import { contextSurfaceIncludesJs, } from "../../types.js";
 import { resolveIdentifierValueSurfaceType } from "./direct-value-surfaces.js";
 import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
 import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
@@ -9,6 +10,7 @@ import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
 import { unwrapTransparentExpression } from "./transparent-expressions.js";
 import { resolveTypeMemberKind } from "./member-surfaces.js";
 import { resolveStructuralViewMethodSurface } from "./structural-view-types.js";
+import { willCarryAsRuntimeUnion } from "./union-semantics.js";
 const withOptionalUndefined = (type) => type.kind === "unionType" &&
     type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")
     ? type
@@ -55,7 +57,7 @@ const resolveMemberAccessStorageType = (expr, context) => {
             : undefined;
         if (expr.accessKind === "dictionary" &&
             resolvedMemberOwnerType?.kind === "dictionaryType") {
-            const acceptsMissingValue = expr.isOptional || context.options.surface === "@tsonic/js";
+            const acceptsMissingValue = expr.isOptional || contextSurfaceIncludesJs(context);
             return (getAcceptedSurfaceType(resolvedMemberOwnerType.valueType, acceptsMissingValue) ?? resolvedMemberOwnerType.valueType);
         }
         return undefined;
@@ -104,7 +106,14 @@ const resolveNarrowedStorageType = (narrowed, fallbackType) => {
 };
 const resolveNarrowedCarrierType = (narrowed, semanticFallbackType, storageFallbackType, context) => {
     if (!narrowed) {
-        return pickPreferredCarrierCandidate(context, storageFallbackType, semanticFallbackType);
+        const preferred = pickPreferredCarrierCandidate(context, storageFallbackType, semanticFallbackType);
+        if (preferred &&
+            storageFallbackType &&
+            willCarryAsRuntimeUnion(preferred, context) &&
+            !willCarryAsRuntimeUnion(storageFallbackType, context)) {
+            return storageFallbackType;
+        }
+        return preferred;
     }
     switch (narrowed.kind) {
         case "expr":