@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/type-alias-index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-alias-index.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-alias-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAU,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EAEf,MAAM,6BAA6B,CAAC;AAcrC,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,KAC3B,cAuBF,CAAC"}
+{"version":3,"file":"type-alias-index.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-alias-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAU,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EAEf,MAAM,6BAA6B,CAAC;AAErC,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,KAC3B,cAqBF,CAAC"}

package/dist/core/semantic/type-alias-index.js

@@ -1,13 +1,4 @@
-const addEntry = (map, entry) => {
-    const existing = map.get(entry.name);
-    if (existing) {
-        existing.push(entry);
-        return;
-    }
-    map.set(entry.name, [entry]);
-};
 export const buildTypeAliasIndex = (modules) => {
-    const byName = new Map();
     const byFqn = new Map();
     for (const module of modules) {
         const ns = module.namespace;
@@ -20,10 +11,9 @@ export const buildTypeAliasIndex = (modules) => {
                 type: stmt.type,
                 typeParameters: stmt.typeParameters?.map((p) => p.name) ?? [],
             };
-            addEntry(byName, entry);
             byFqn.set(entry.fqn, entry);
         }
     }
-    return { byName, byFqn };
+    return { byFqn };
 };
 //# sourceMappingURL=type-alias-index.js.map

package/dist/core/semantic/type-alias-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-alias-index.js","sourceRoot":"","sources":["../../../src/core/semantic/type-alias-index.ts"],"names":[],"mappings":"AAMA,MAAM,QAAQ,GAAG,CACf,GAAuC,EACvC,KAA0B,EACpB,EAAE;IACR,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,QAAQ,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EACZ,EAAE;IAClB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IAErD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;QAE5B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;gBAAE,SAAS;YAEnD,MAAM,KAAK,GAAwB;gBACjC,GAAG,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE;gBACzB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAc;gBACzB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;aAC9D,CAAC;YAEF,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACxB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC,CAAC"}
+{"version":3,"file":"type-alias-index.js","sourceRoot":"","sources":["../../../src/core/semantic/type-alias-index.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EACZ,EAAE;IAClB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IAErD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;QAE5B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;gBAAE,SAAS;YAEnD,MAAM,KAAK,GAAwB;gBACjC,GAAG,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE;gBACzB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAc;gBACzB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;aAC9D,CAAC;YAEF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/type-compatibility.d.ts

@@ -10,7 +10,7 @@
  *
  * These are distinct primitive types in the IR, not decorated versions of each other.
  */
-import type { IrType } from "@tsonic/frontend";
+import { type IrType } from "@tsonic/frontend";
 /**
  * Check if an IR type represents an integer type
  *

package/dist/core/semantic/type-compatibility.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-compatibility.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAiC/C;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAcxD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,UAAU,MAAM,GAAG,SAAS,EAC5B,QAAQ,MAAM,GAAG,SAAS,KACzB,OAgCF,CAAC"}
+{"version":3,"file":"type-compatibility.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAuE/C;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAiBxD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,UAAU,MAAM,GAAG,SAAS,EAC5B,QAAQ,MAAM,GAAG,SAAS,KACzB,OAiFF,CAAC"}

package/dist/core/semantic/type-compatibility.js

@@ -10,6 +10,7 @@
  *
  * These are distinct primitive types in the IR, not decorated versions of each other.
  */
+import { getReferenceDeterministicIdentityKey, referenceTypeHasClrIdentity, typesShareDirectClrIdentity, } from "./clr-type-identity.js";
 /**
  * Integer type names that map to C# integer types
  * Includes both primitiveType names and referenceType names from .NET interop
@@ -40,6 +41,29 @@ const INTEGER_TYPE_NAMES = new Set([
     "UInt16",
     "System.UInt16",
 ]);
+const JS_NUMBER_CLR_TYPE_NAMES = new Set([
+    "double",
+    "Double",
+    "System.Double",
+    "global::System.Double",
+]);
+const SYSTEM_OBJECT_CLR_TYPE_NAMES = new Set([
+    "System.Object",
+    "global::System.Object",
+]);
+const isJsNumberLikeType = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "primitiveType") {
+        return type.name === "number";
+    }
+    if (type.kind !== "referenceType") {
+        return false;
+    }
+    return (JS_NUMBER_CLR_TYPE_NAMES.has(type.name) ||
+        referenceTypeHasClrIdentity(type, JS_NUMBER_CLR_TYPE_NAMES));
+};
+const getContextFreeReferenceIdentityKey = (type) => getReferenceDeterministicIdentityKey(type);
 /**
  * Check if an IR type represents an integer type
  *
@@ -54,7 +78,8 @@ export const isIntegerType = (type) => {
     }
     // Reference type with integer name (e.g., "Int32" from .NET interop)
     if (type.kind === "referenceType") {
-        return INTEGER_TYPE_NAMES.has(type.name);
+        return (INTEGER_TYPE_NAMES.has(type.name) ||
+            referenceTypeHasClrIdentity(type, INTEGER_TYPE_NAMES));
     }
     return false;
 };
@@ -71,29 +96,64 @@ export const isIntegerType = (type) => {
 export const isAssignable = (fromType, toType) => {
     if (!fromType || !toType)
         return false;
+    if (toType.kind === "unionType") {
+        return toType.types.some((member) => isAssignable(fromType, member));
+    }
+    if (fromType.kind === "unionType") {
+        return fromType.types.every((member) => isAssignable(member, toType));
+    }
+    const fromIsObjectLike = fromType.kind === "objectType" ||
+        fromType.kind === "dictionaryType" ||
+        fromType.kind === "arrayType" ||
+        fromType.kind === "tupleType" ||
+        fromType.kind === "functionType" ||
+        fromType.kind === "referenceType";
+    if (toType.kind === "objectType" && fromIsObjectLike) {
+        return true;
+    }
+    if (toType.kind === "referenceType" &&
+        (toType.name === "object" ||
+            referenceTypeHasClrIdentity(toType, SYSTEM_OBJECT_CLR_TYPE_NAMES)) &&
+        fromIsObjectLike) {
+        return true;
+    }
+    if (typesShareDirectClrIdentity(fromType, toType)) {
+        return true;
+    }
+    // int → number (widening is allowed)
+    if (isIntegerType(fromType) && toType.kind === "primitiveType") {
+        if (toType.name === "number") {
+            return true;
+        }
+    }
+    // CLR integral carriers can flow into JS-number emission surfaces (double).
+    if (isIntegerType(fromType) && isJsNumberLikeType(toType)) {
+        return true;
+    }
+    if (isJsNumberLikeType(fromType) && isJsNumberLikeType(toType)) {
+        return true;
+    }
     // Exact kind and name match
     if (fromType.kind === toType.kind) {
         if (fromType.kind === "primitiveType" && toType.kind === "primitiveType") {
             return fromType.name === toType.name;
         }
         if (fromType.kind === "referenceType" && toType.kind === "referenceType") {
-            // Exact name match
-            if (fromType.name === toType.name) {
-                return true;
-            }
-            // Check resolved CLR type match
-            if (fromType.resolvedClrType &&
-                fromType.resolvedClrType === toType.resolvedClrType) {
-                return true;
+            const fromIdentity = getContextFreeReferenceIdentityKey(fromType);
+            const toIdentity = getContextFreeReferenceIdentityKey(toType);
+            const sameBaseType = fromIdentity !== undefined &&
+                toIdentity !== undefined &&
+                fromIdentity === toIdentity;
+            if (sameBaseType) {
+                const fromTypeArguments = fromType.typeArguments ?? [];
+                const toTypeArguments = toType.typeArguments ?? [];
+                if (fromTypeArguments.length !== toTypeArguments.length) {
+                    return false;
+                }
+                return fromTypeArguments.every((fromTypeArgument, index) => isAssignable(fromTypeArgument, toTypeArguments[index]));
             }
         }
     }
-    // int → number (widening is allowed)
-    if (isIntegerType(fromType) && toType.kind === "primitiveType") {
-        if (toType.name === "number") {
-            return true;
-        }
-    }
     return false;
 };
 //# sourceMappingURL=type-compatibility.js.map

package/dist/core/semantic/type-compatibility.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-compatibility.js","sourceRoot":"","sources":["../../../src/core/semantic/type-compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH;;;GAGG;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,KAAK;IACL,OAAO;IACP,cAAc;IACd,MAAM;IACN,OAAO;IACP,cAAc;IACd,OAAO;IACP,OAAO;IACP,cAAc;IACd,MAAM;IACN,MAAM;IACN,aAAa;IACb,OAAO;IACP,OAAO;IACP,cAAc;IACd,MAAM;IACN,QAAQ;IACR,eAAe;IACf,OAAO;IACP,QAAQ;IACR,eAAe;IACf,QAAQ;IACR,QAAQ;IACR,eAAe;CAChB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,yDAAyD;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,qEAAqE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,QAA4B,EAC5B,MAA0B,EACjB,EAAE;IACX,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEvC,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;QACvC,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,mBAAmB;YACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,gCAAgC;YAChC,IACE,QAAQ,CAAC,eAAe;gBACxB,QAAQ,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe,EACnD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
+{"version":3,"file":"type-compatibility.js","sourceRoot":"","sources":["../../../src/core/semantic/type-compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EACL,oCAAoC,EACpC,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAEhC;;;GAGG;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,KAAK;IACL,OAAO;IACP,cAAc;IACd,MAAM;IACN,OAAO;IACP,cAAc;IACd,OAAO;IACP,OAAO;IACP,cAAc;IACd,MAAM;IACN,MAAM;IACN,aAAa;IACb,OAAO;IACP,OAAO;IACP,cAAc;IACd,MAAM;IACN,QAAQ;IACR,eAAe;IACf,OAAO;IACP,QAAQ;IACR,eAAe;IACf,QAAQ;IACR,QAAQ;IACR,eAAe;CAChB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,QAAQ;IACR,QAAQ;IACR,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC;IAC3C,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC/D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QACvC,2BAA2B,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,IAAgD,EAC5B,EAAE,CAAC,oCAAoC,CAAC,IAAI,CAAC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,yDAAyD;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,qEAAqE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,CACL,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,2BAA2B,CAAC,IAAI,EAAE,kBAAkB,CAAC,CACtD,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,QAA4B,EAC5B,MAA0B,EACjB,EAAE;IACX,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEvC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,gBAAgB,GACpB,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC9B,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,IAAI,KAAK,cAAc;QAChC,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC;IAEpC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YACvB,2BAA2B,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;QACpE,gBAAgB,EAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,2BAA2B,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,qCAAqC;IACrC,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,kBAAkB,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;QACvC,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,MAAM,YAAY,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAC;YAClE,MAAM,UAAU,GAAG,kCAAkC,CAAC,MAAM,CAAC,CAAC;YAC9D,MAAM,YAAY,GAChB,YAAY,KAAK,SAAS;gBAC1B,UAAU,KAAK,SAAS;gBACxB,YAAY,KAAK,UAAU,CAAC;YAE9B,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;gBACvD,MAAM,eAAe,GAAG,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;gBACnD,IAAI,iBAAiB,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM,EAAE,CAAC;oBACxD,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,KAAK,EAAE,EAAE,CACzD,YAAY,CAAC,gBAAgB,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CACvD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/core/semantic/type-equivalence.d.ts

@@ -0,0 +1,4 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const areIrTypesEquivalent: (left: IrType, right: IrType, context: EmitterContext, visitedPairs?: Set<string>) => boolean;
+//# sourceMappingURL=type-equivalence.d.ts.map

package/dist/core/semantic/type-equivalence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-equivalence.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-equivalence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA+DrD,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,OAAO,MAAM,EACb,SAAS,cAAc,EACvB,eAAc,GAAG,CAAC,MAAM,CAAqB,KAC5C,OAkQF,CAAC"}

package/dist/core/semantic/type-equivalence.js

@@ -0,0 +1,255 @@
+import { resolveComparableType } from "./comparable-types.js";
+import { getReferenceDeterministicIdentityKey, typesHaveDeterministicIdentityConflict, typesShareDirectClrIdentity, } from "./clr-type-identity.js";
+import { referenceTypesHaveNominalIdentity, referenceTypesShareNominalIdentity, } from "./reference-type-identity.js";
+const referenceTypeIdentity = (type) => getReferenceDeterministicIdentityKey(type);
+const buildTypePairKey = (leftKey, rightKey) => leftKey <= rightKey
+    ? `${leftKey}=>${rightKey}`
+    : `${rightKey}=>${leftKey}`;
+const coarseTypeEquivalenceIdentity = (type) => {
+    switch (type.kind) {
+        case "primitiveType":
+            return `prim:${type.name}`;
+        case "literalType":
+            return `lit:${JSON.stringify(type.value)}`;
+        case "typeParameterType":
+            return `tp:${type.name}`;
+        case "anyType":
+            return "any";
+        case "unknownType":
+            return "unknown";
+        case "voidType":
+            return "void";
+        case "neverType":
+            return "never";
+        case "referenceType":
+            return `ref:${referenceTypeIdentity(type) ?? "unidentified"}:${type.typeArguments?.length ?? 0}`;
+        case "arrayType":
+            return "arr";
+        case "dictionaryType":
+            return "dict";
+        case "tupleType":
+            return `tuple:${type.elementTypes.length}`;
+        case "functionType":
+            return `fn:${type.parameters.length}`;
+        case "unionType":
+            return `union:${type.types.length}`;
+        case "intersectionType":
+            return `inter:${type.types.length}`;
+        case "objectType":
+            return `obj:${type.members
+                .map((member) => member.kind === "propertySignature"
+                ? `prop:${member.name}`
+                : `method:${member.name}:${member.parameters.length}`)
+                .sort()
+                .join("|")}`;
+    }
+};
+export const areIrTypesEquivalent = (left, right, context, visitedPairs = new Set()) => {
+    if (left === right) {
+        return true;
+    }
+    if (typesHaveDeterministicIdentityConflict(left, right)) {
+        return false;
+    }
+    if (typesShareDirectClrIdentity(left, right)) {
+        return true;
+    }
+    const rawPairKey = buildTypePairKey(coarseTypeEquivalenceIdentity(left), coarseTypeEquivalenceIdentity(right));
+    if (visitedPairs.has(rawPairKey)) {
+        return true;
+    }
+    visitedPairs.add(rawPairKey);
+    if (left.kind === "referenceType" &&
+        right.kind === "referenceType") {
+        if (referenceTypesShareNominalIdentity(left, right, context)) {
+            const leftArgs = left.typeArguments ?? [];
+            const rightArgs = right.typeArguments ?? [];
+            if (leftArgs.length !== rightArgs.length) {
+                return false;
+            }
+            return leftArgs.every((leftArg, index) => {
+                const rightArg = rightArgs[index];
+                return (rightArg !== undefined &&
+                    areIrTypesEquivalent(leftArg, rightArg, context, visitedPairs));
+            });
+        }
+        if (referenceTypesHaveNominalIdentity(left, right, context)) {
+            return false;
+        }
+    }
+    const a = resolveComparableType(left, context);
+    const b = resolveComparableType(right, context);
+    if (a === b) {
+        return true;
+    }
+    const comparablePairKey = buildTypePairKey(coarseTypeEquivalenceIdentity(a), coarseTypeEquivalenceIdentity(b));
+    if (comparablePairKey !== rawPairKey && visitedPairs.has(comparablePairKey)) {
+        return true;
+    }
+    if (comparablePairKey !== rawPairKey) {
+        visitedPairs.add(comparablePairKey);
+    }
+    if (a.kind !== b.kind) {
+        return false;
+    }
+    switch (a.kind) {
+        case "primitiveType":
+            return a.name === b.name;
+        case "literalType":
+            return a.value === b.value;
+        case "referenceType": {
+            const rb = b;
+            if (!referenceTypesShareNominalIdentity(a, rb, context)) {
+                return false;
+            }
+            const aArgs = a.typeArguments ?? [];
+            const bArgs = rb.typeArguments ?? [];
+            if (aArgs.length !== bArgs.length) {
+                return false;
+            }
+            for (let i = 0; i < aArgs.length; i++) {
+                const aa = aArgs[i];
+                const bb = bArgs[i];
+                if (!aa || !bb || !areIrTypesEquivalent(aa, bb, context, visitedPairs)) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        case "arrayType":
+            return areIrTypesEquivalent(a.elementType, b.elementType, context, visitedPairs);
+        case "dictionaryType":
+            return (areIrTypesEquivalent(a.keyType, b.keyType, context, visitedPairs) &&
+                areIrTypesEquivalent(a.valueType, b.valueType, context, visitedPairs));
+        case "tupleType": {
+            const rb = b;
+            if (a.elementTypes.length !== rb.elementTypes.length) {
+                return false;
+            }
+            for (let i = 0; i < a.elementTypes.length; i++) {
+                const ae = a.elementTypes[i];
+                const be = rb.elementTypes[i];
+                if (!ae || !be || !areIrTypesEquivalent(ae, be, context, visitedPairs)) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        case "functionType": {
+            const rb = b;
+            if (a.parameters.length !== rb.parameters.length) {
+                return false;
+            }
+            for (let i = 0; i < a.parameters.length; i++) {
+                const ap = a.parameters[i];
+                const bp = rb.parameters[i];
+                if (!ap || !bp) {
+                    return false;
+                }
+                if (!ap.type && !bp.type) {
+                    continue;
+                }
+                if (!ap.type || !bp.type) {
+                    return false;
+                }
+                if (!areIrTypesEquivalent(ap.type, bp.type, context, visitedPairs)) {
+                    return false;
+                }
+            }
+            return areIrTypesEquivalent(a.returnType, rb.returnType, context, visitedPairs);
+        }
+        case "unionType":
+        case "intersectionType": {
+            const rb = b;
+            if (a.types.length !== rb.types.length) {
+                return false;
+            }
+            const used = new Set();
+            for (const at of a.types) {
+                if (!at) {
+                    return false;
+                }
+                let matched = false;
+                for (let i = 0; i < rb.types.length; i++) {
+                    if (used.has(i)) {
+                        continue;
+                    }
+                    const bt = rb.types[i];
+                    if (!bt) {
+                        continue;
+                    }
+                    if (areIrTypesEquivalent(at, bt, context, visitedPairs)) {
+                        used.add(i);
+                        matched = true;
+                        break;
+                    }
+                }
+                if (!matched) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        case "typeParameterType":
+            return a.name === b.name;
+        case "voidType":
+        case "anyType":
+        case "unknownType":
+        case "neverType":
+            return true;
+        case "objectType": {
+            const rb = b;
+            if (a.members.length !== rb.members.length) {
+                return false;
+            }
+            for (let i = 0; i < a.members.length; i++) {
+                const am = a.members[i];
+                const bm = rb.members[i];
+                if (!am || !bm || am.kind !== bm.kind) {
+                    return false;
+                }
+                if (am.kind === "propertySignature" &&
+                    bm.kind === "propertySignature") {
+                    if (am.name !== bm.name) {
+                        return false;
+                    }
+                    if (!areIrTypesEquivalent(am.type, bm.type, context, visitedPairs)) {
+                        return false;
+                    }
+                    continue;
+                }
+                if (am.kind === "methodSignature" && bm.kind === "methodSignature") {
+                    if (am.name !== bm.name) {
+                        return false;
+                    }
+                    if (am.parameters.length !== bm.parameters.length) {
+                        return false;
+                    }
+                    for (let j = 0; j < am.parameters.length; j++) {
+                        const ap = am.parameters[j];
+                        const bp = bm.parameters[j];
+                        if (!ap || !bp) {
+                            return false;
+                        }
+                        if (!ap.type || !bp.type) {
+                            return false;
+                        }
+                        if (!areIrTypesEquivalent(ap.type, bp.type, context, visitedPairs)) {
+                            return false;
+                        }
+                    }
+                    if (!am.returnType || !bm.returnType) {
+                        return false;
+                    }
+                    if (!areIrTypesEquivalent(am.returnType, bm.returnType, context, visitedPairs)) {
+                        return false;
+                    }
+                    continue;
+                }
+                return false;
+            }
+            return true;
+        }
+    }
+};
+//# sourceMappingURL=type-equivalence.js.map

package/dist/core/semantic/type-equivalence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-equivalence.js","sourceRoot":"","sources":["../../../src/core/semantic/type-equivalence.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EACL,oCAAoC,EACpC,sCAAsC,EACtC,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AAEtC,MAAM,qBAAqB,GAAG,CAC5B,IAAgD,EAC5B,EAAE,CAAC,oCAAoC,CAAC,IAAI,CAAC,CAAC;AAEpE,MAAM,gBAAgB,GAAG,CAAC,OAAe,EAAE,QAAgB,EAAU,EAAE,CACrE,OAAO,IAAI,QAAQ;IACjB,CAAC,CAAC,GAAG,OAAO,KAAK,QAAQ,EAAE;IAC3B,CAAC,CAAC,GAAG,QAAQ,KAAK,OAAO,EAAE,CAAC;AAEhC,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7D,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;QACjB,KAAK,eAAe;YAClB,OAAO,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,cAAc,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACnG,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;QACf,KAAK,gBAAgB;YACnB,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,cAAc;YACjB,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACxC,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,KAAK,kBAAkB;YACrB,OAAO,SAAS,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,KAAK,YAAY;YACf,OAAO,OAAO,IAAI,CAAC,OAAO;iBACvB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACd,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBACjC,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,EAAE;gBACvB,CAAC,CAAC,UAAU,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CACxD;iBACA,IAAI,EAAE;iBACN,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAY,EACZ,KAAa,EACb,OAAuB,EACvB,eAA4B,IAAI,GAAG,EAAU,EACpC,EAAE;IACX,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,sCAAsC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,gBAAgB,CACjC,6BAA6B,CAAC,IAAI,CAAC,EACnC,6BAA6B,CAAC,KAAK,CAAC,CACrC,CAAC;IACF,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAE7B,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,KAAK,CAAC,IAAI,KAAK,eAAe,EAC9B,CAAC;QACD,IAAI,kCAAkC,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;YAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;gBAClC,OAAO,CACL,QAAQ,KAAK,SAAS;oBACtB,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAC/D,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,iCAAiC,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,CAAC,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,6BAA6B,CAAC,CAAC,CAAC,EAChC,6BAA6B,CAAC,CAAC,CAAC,CACjC,CAAC;IACF,IAAI,iBAAiB,KAAK,UAAU,IAAI,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,iBAAiB,KAAK,UAAU,EAAE,CAAC;QACrC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC,IAAI,KAAM,CAAc,CAAC,IAAI,CAAC;QACzC,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,KAAK,KAAM,CAAc,CAAC,KAAK,CAAC;QAC3C,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,IAAI,CAAC,kCAAkC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBAClC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;oBACvE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,WAAW;YACd,OAAO,oBAAoB,CACzB,CAAC,CAAC,WAAW,EACZ,CAAc,CAAC,WAAW,EAC3B,OAAO,EACP,YAAY,CACb,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,oBAAoB,CAClB,CAAC,CAAC,OAAO,EACR,CAAc,CAAC,OAAO,EACvB,OAAO,EACP,YAAY,CACb;gBACD,oBAAoB,CAClB,CAAC,CAAC,SAAS,EACV,CAAc,CAAC,SAAS,EACzB,OAAO,EACP,YAAY,CACb,CACF,CAAC;QACJ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBACrD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;oBACvE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;gBACjD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;oBACf,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;oBACzB,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;oBACzB,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;oBACnE,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,oBAAoB,CACzB,CAAC,CAAC,UAAU,EACZ,EAAE,CAAC,UAAU,EACb,OAAO,EACP,YAAY,CACb,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,EAAE,EAAE,CAAC;oBACR,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAChB,SAAS;oBACX,CAAC;oBACD,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,CAAC,EAAE,EAAE,CAAC;wBACR,SAAS;oBACX,CAAC;oBACD,IAAI,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;wBACxD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACZ,OAAO,GAAG,IAAI,CAAC;wBACf,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,IAAI,KAAM,CAAc,CAAC,IAAI,CAAC;QACzC,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC3C,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;oBACtC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IACE,EAAE,CAAC,IAAI,KAAK,mBAAmB;oBAC/B,EAAE,CAAC,IAAI,KAAK,mBAAmB,EAC/B,CAAC;oBACD,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;wBACxB,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;wBACnE,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACnE,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;wBACxB,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;wBAClD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;4BACf,OAAO,KAAK,CAAC;wBACf,CAAC;wBACD,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;4BACzB,OAAO,KAAK,CAAC;wBACf,CAAC;wBACD,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;4BACnE,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;wBACrC,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IACE,CAAC,oBAAoB,CACnB,EAAE,CAAC,UAAU,EACb,EAAE,CAAC,UAAU,EACb,OAAO,EACP,YAAY,CACb,EACD,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/type-equivalence.test.d.ts

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

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

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