@tsonic/emitter 0.0.76 → 0.0.77

package/dist/core/semantic/truthiness-evaluation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAqBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAuCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}
+{"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAoBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAwCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}

package/dist/core/semantic/truthiness-evaluation.js

@@ -62,8 +62,7 @@ export const isInherentlyBooleanExpression = (expr) => {
             expr.operator === ">" ||
             expr.operator === "<=" ||
             expr.operator === ">=" ||
-            expr.operator === "instanceof" ||
-            expr.operator === "in");
+            expr.operator === "instanceof");
     }
     if (expr.kind === "unary") {
         return expr.operator === "!";
@@ -197,7 +196,8 @@ export const buildTruthySwitchAst = (tmp) => {
 export const emitRuntimeTruthinessConditionAst = (emittedAst, context) => {
     // Use a pattern variable to evaluate the operand exactly once, then apply JS-like truthiness.
     //
-    // This is the airplane-grade fallback when we cannot trust inferredType:
+    // This is the deterministic runtime-truthiness path when inferredType is not
+    // specific enough for compile-time truthiness:
     // - Never emit `x != null` for unknowns (silently miscompiles boxed value types like bool/int).
     // - Use runtime type checks to preserve semantics deterministically.
     const nextId = (context.tempVarId ?? 0) + 1;

package/dist/core/semantic/truthiness-evaluation.js.map

@@ -1 +1 @@
-{"version":3,"file":"truthiness-evaluation.js","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,cAAc,IAAI,mBAAmB,EACrC,cAAc,GACf,MAAM,mCAAmC,CAAC;AAQ3C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACxD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAY,EACQ,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY;YAC9B,IAAI,CAAC,QAAQ,KAAK,IAAI,CACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,oGAAoG;AACpG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAwB,EAAuB,EAAE;IACzE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC9D,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,mEAAmE;YACnE,QAAQ,GAAG,CAAC,aAAa,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI;oBACP,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;gBAC9D;oBACE,OAAO,GAAG,CAAC;YACf,CAAC;QACH,CAAC;QACD;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACE,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAoC,EACrB,EAAE,CAAC,CAAC;IACnB,IAAI,EAAE,gBAAgB;IACtB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAiB,EAAE,CAC5D,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAmB,EACnB,UAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,gBAAgB;IACtB,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAoB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,aAAa;IACnB,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAA4B,EAAuB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,uBAAuB;IAC7B,aAAa,EAAE,GAAG;IAClB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAA6B,EAC7B,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,wBAAwB;IAC9B,UAAU,EAAE,QAAQ;IACpB,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA2B,EAC3B,IAAoC,EACf,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,MAAM;IAClB,SAAS,EAAE,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAyB,EACzB,UAA+B,EAI/B,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAuB,EAAE;IACvE,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAEpC,MAAM,eAAe,GAAG,CACtB,IAAmB,EACnB,QAA6B,EAI7B,EAAE,CACF,aAAa,CACX,WAAW,CAAC,IAAI,CAAC,EACjB,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CACjD,CAAC;IAEJ,MAAM,YAAY,GAAG,CACnB,IAAmB,EACnB,mBAA2B,EAC3B,QAA6B,EAI7B,EAAE;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,QAAQ,CACxB,gBAAgB,CACd,iBAAiB,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC,EACtD,OAAO,CACR,EACD,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAC1B,CAAC;QACF,OAAO,aAAa,CAClB,WAAW,CAAC,IAAI,CAAC,EACjB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,mBAAmB,EAAE,OAAO;QAC5B,IAAI,EAAE;YACJ,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EACnC,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAC1C;YACD,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EACrC,aAAa,CACX;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;gBACvD,UAAU,EAAE,QAAQ;aACrB,EACD,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACnE,eAAe,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAChE,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,OAAO,CAAC,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAClE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CACb,cAAc,CAAC,uBAAuB,CAAC,EACvC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,eAAe,CACb,cAAc,CAAC,wBAAwB,CAAC,EACxC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,YAAY,CACV,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,EACrB,QAAQ,CACN,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,YAAY,CACV,cAAc,CAAC,OAAO,CAAC,EACvB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,YAAY,CACV,cAAc,CAAC,QAAQ,CAAC,EACxB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,SAAS,CAAC,EACzB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAC1D,aAAa,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;SAChE;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,UAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,8FAA8F;IAC9F,EAAE;IACF,yEAAyE;IACzE,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,YAAY,GAAwB;QACxC,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,WAAW,EAAE,GAAG;SACjB;KACF,CAAC;IAEF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC;KACtC,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,UAAU;aAClB;SACF;QACD,KAAK,CAAC,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CACL,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAC5E,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"truthiness-evaluation.js","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,cAAc,IAAI,mBAAmB,EACrC,cAAc,GACf,MAAM,mCAAmC,CAAC;AAQ3C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACxD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAY,EACQ,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY,CAC/B,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,oGAAoG;AACpG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAwB,EAAuB,EAAE;IACzE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC9D,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,mEAAmE;YACnE,QAAQ,GAAG,CAAC,aAAa,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI;oBACP,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;gBAC9D;oBACE,OAAO,GAAG,CAAC;YACf,CAAC;QACH,CAAC;QACD;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACE,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAoC,EACrB,EAAE,CAAC,CAAC;IACnB,IAAI,EAAE,gBAAgB;IACtB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAiB,EAAE,CAC5D,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAmB,EACnB,UAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,gBAAgB;IACtB,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAoB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,aAAa;IACnB,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAA4B,EAAuB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,uBAAuB;IAC7B,aAAa,EAAE,GAAG;IAClB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAA6B,EAC7B,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,wBAAwB;IAC9B,UAAU,EAAE,QAAQ;IACpB,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA2B,EAC3B,IAAoC,EACf,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,MAAM;IAClB,SAAS,EAAE,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAyB,EACzB,UAA+B,EAI/B,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAuB,EAAE;IACvE,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAEpC,MAAM,eAAe,GAAG,CACtB,IAAmB,EACnB,QAA6B,EAI7B,EAAE,CACF,aAAa,CACX,WAAW,CAAC,IAAI,CAAC,EACjB,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CACjD,CAAC;IAEJ,MAAM,YAAY,GAAG,CACnB,IAAmB,EACnB,mBAA2B,EAC3B,QAA6B,EAI7B,EAAE;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,QAAQ,CACxB,gBAAgB,CACd,iBAAiB,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC,EACtD,OAAO,CACR,EACD,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAC1B,CAAC;QACF,OAAO,aAAa,CAClB,WAAW,CAAC,IAAI,CAAC,EACjB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,mBAAmB,EAAE,OAAO;QAC5B,IAAI,EAAE;YACJ,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EACnC,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAC1C;YACD,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EACrC,aAAa,CACX;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;gBACvD,UAAU,EAAE,QAAQ;aACrB,EACD,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACnE,eAAe,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAChE,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,OAAO,CAAC,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAClE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CACb,cAAc,CAAC,uBAAuB,CAAC,EACvC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,eAAe,CACb,cAAc,CAAC,wBAAwB,CAAC,EACxC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,YAAY,CACV,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,EACrB,QAAQ,CACN,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,YAAY,CACV,cAAc,CAAC,OAAO,CAAC,EACvB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,YAAY,CACV,cAAc,CAAC,QAAQ,CAAC,EACxB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,SAAS,CAAC,EACzB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAC1D,aAAa,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;SAChE;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,UAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,8FAA8F;IAC9F,EAAE;IACF,6EAA6E;IAC7E,+CAA+C;IAC/C,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,YAAY,GAAwB;QACxC,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,WAAW,EAAE,GAAG;SACjB;KACF,CAAC;IAEF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC;KACtC,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,UAAU;aAClB;SACF;QACD,KAAK,CAAC,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CACL,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAC5E,CAAC;AACJ,CAAC,CAAC"}

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

@@ -11,6 +11,7 @@
  * These are distinct primitive types in the IR, not decorated versions of each other.
  */
 import { type IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
 /**
  * Check if an IR type represents an integer type
  *
@@ -20,12 +21,13 @@ export declare const isIntegerType: (type: IrType | undefined) => boolean;
 /**
  * Check if a source type is assignable to a target type without requiring a cast.
  *
- * This implements Alice's invariant: "No cosmetic casts" - we only emit casts
- * when the types are genuinely incompatible, not when they happen to match.
+ * Casts are emitted only when the source and target are genuinely
+ * incompatible, not when their emitted surfaces already match.
  *
  * @param fromType - The source type (what we have)
  * @param toType - The target type (what we need)
  * @returns true if fromType can be assigned to toType without a cast
  */
 export declare const isAssignable: (fromType: IrType | undefined, toType: IrType | undefined) => boolean;
+export declare const isAssignableToType: (fromType: IrType | undefined, toType: IrType | undefined, context: EmitterContext, visited?: Set<string>) => boolean;
 //# sourceMappingURL=type-compatibility.d.ts.map

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,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"}
+{"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;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAyErD;;;;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;AAwEF,eAAO,MAAM,kBAAkB,GAC7B,UAAU,MAAM,GAAG,SAAS,EAC5B,QAAQ,MAAM,GAAG,SAAS,EAC1B,SAAS,cAAc,EACvB,UAAS,GAAG,CAAC,MAAM,CAAqB,KACvC,OAmCF,CAAC"}

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

@@ -11,6 +11,8 @@
  * These are distinct primitive types in the IR, not decorated versions of each other.
  */
 import { getReferenceDeterministicIdentityKey, referenceTypeHasClrIdentity, typesShareDirectClrIdentity, } from "./clr-type-identity.js";
+import { referenceTypesShareNominalIdentity } from "./reference-type-identity.js";
+import { resolveLocalTypeInfo, substituteTypeArgs } from "./type-resolution.js";
 /**
  * Integer type names that map to C# integer types
  * Includes both primitiveType names and referenceType names from .NET interop
@@ -86,8 +88,8 @@ export const isIntegerType = (type) => {
 /**
  * Check if a source type is assignable to a target type without requiring a cast.
  *
- * This implements Alice's invariant: "No cosmetic casts" - we only emit casts
- * when the types are genuinely incompatible, not when they happen to match.
+ * Casts are emitted only when the source and target are genuinely
+ * incompatible, not when their emitted surfaces already match.
  *
  * @param fromType - The source type (what we have)
  * @param toType - The target type (what we need)
@@ -156,4 +158,62 @@ export const isAssignable = (fromType, toType) => {
     }
     return false;
 };
+const buildAssignablePairKey = (fromType, toType, context) => {
+    const typeKey = (type) => {
+        if (type.kind === "referenceType") {
+            return (getReferenceDeterministicIdentityKey(type) ??
+                `${type.name}/${type.typeArguments?.length ?? 0}`);
+        }
+        return type.kind;
+    };
+    return `${typeKey(fromType)}=>${typeKey(toType)}@${context.moduleNamespace ?? context.options.rootNamespace}`;
+};
+const substituteHeritageType = (heritageType, ownerType, ownerTypeParameters) => {
+    const typeArguments = ownerType.typeArguments ?? [];
+    return ownerTypeParameters.length > 0 && typeArguments.length > 0
+        ? substituteTypeArgs(heritageType, ownerTypeParameters, typeArguments)
+        : heritageType;
+};
+const isReferenceAssignableThroughHeritage = (fromType, toType, context, visited) => {
+    if (referenceTypesShareNominalIdentity(fromType, toType, context)) {
+        return true;
+    }
+    const localInfo = resolveLocalTypeInfo(fromType, context)?.info;
+    if (!localInfo) {
+        return false;
+    }
+    const heritageTypes = localInfo.kind === "class"
+        ? [
+            ...(localInfo.superClass ? [localInfo.superClass] : []),
+            ...localInfo.implements,
+        ]
+        : localInfo.kind === "interface"
+            ? localInfo.extends
+            : [];
+    return heritageTypes.some((heritageType) => isAssignableToType(substituteHeritageType(heritageType, fromType, localInfo.kind === "class" || localInfo.kind === "interface"
+        ? localInfo.typeParameters
+        : []), toType, context, visited));
+};
+export const isAssignableToType = (fromType, toType, context, visited = new Set()) => {
+    if (!fromType || !toType)
+        return false;
+    if (isAssignable(fromType, toType)) {
+        return true;
+    }
+    const pairKey = buildAssignablePairKey(fromType, toType, context);
+    if (visited.has(pairKey)) {
+        return false;
+    }
+    visited.add(pairKey);
+    if (toType.kind === "unionType") {
+        return toType.types.some((member) => isAssignableToType(fromType, member, context, visited));
+    }
+    if (fromType.kind === "unionType") {
+        return fromType.types.every((member) => isAssignableToType(member, toType, context, visited));
+    }
+    if (fromType.kind === "referenceType" && toType.kind === "referenceType") {
+        return isReferenceAssignableThroughHeritage(fromType, toType, context, visited);
+    }
+    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;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"}
+{"version":3,"file":"type-compatibility.js","sourceRoot":"","sources":["../../../src/core/semantic/type-compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EACL,oCAAoC,EACpC,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAEhF;;;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;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAgB,EAChB,MAAc,EACd,OAAuB,EACf,EAAE;IACV,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,CACL,oCAAoC,CAAC,IAAI,CAAC;gBAC1C,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,EAAE,CAClD,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC,CAAC;IAEF,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;AAChH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,YAAoB,EACpB,SAAqD,EACrD,mBAAsC,EAC9B,EAAE;IACV,MAAM,aAAa,GAAG,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC;IACpD,OAAO,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAC/D,CAAC,CAAC,kBAAkB,CAAC,YAAY,EAAE,mBAAmB,EAAE,aAAa,CAAC;QACtE,CAAC,CAAC,YAAY,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,QAAoD,EACpD,MAAkD,EAClD,OAAuB,EACvB,OAAoB,EACX,EAAE;IACX,IAAI,kCAAkC,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IAChE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,aAAa,GACjB,SAAS,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC;YACE,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,SAAS,CAAC,UAAU;SACxB;QACH,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW;YAC9B,CAAC,CAAC,SAAS,CAAC,OAAO;YACnB,CAAC,CAAC,EAAE,CAAC;IAEX,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACzC,kBAAkB,CAChB,sBAAsB,CACpB,YAAY,EACZ,QAAQ,EACR,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW;QAC1D,CAAC,CAAC,SAAS,CAAC,cAAc;QAC1B,CAAC,CAAC,EAAE,CACP,EACD,MAAM,EACN,OAAO,EACP,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAA4B,EAC5B,MAA0B,EAC1B,OAAuB,EACvB,UAAuB,IAAI,GAAG,EAAU,EAC/B,EAAE;IACX,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEvC,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAErB,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAClC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CACvD,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACrC,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CACrD,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACzE,OAAO,oCAAoC,CACzC,QAAQ,EACR,MAAM,EACN,OAAO,EACP,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,17 @@
+import type { IrType } from "@tsonic/frontend";
+declare const semanticTypeBrand: unique symbol;
+declare const storageCarrierBrand: unique symbol;
+export type SemanticType = IrType & {
+    readonly [semanticTypeBrand]: "semantic";
+};
+export type StorageCarrier = IrType & {
+    readonly [storageCarrierBrand]: "storage";
+};
+export declare const semanticType: (type: IrType) => SemanticType;
+export declare const storageCarrier: (type: IrType) => StorageCarrier;
+export declare const semanticTypeOrUndefined: (type: IrType | undefined) => SemanticType | undefined;
+export declare const storageCarrierOrUndefined: (type: IrType | undefined) => StorageCarrier | undefined;
+export declare const semanticTypeMap: (entries: Iterable<readonly [string, IrType]>) => ReadonlyMap<string, SemanticType>;
+export declare const storageCarrierMap: (entries: Iterable<readonly [string, IrType]>) => ReadonlyMap<string, StorageCarrier>;
+export {};
+//# sourceMappingURL=type-domains.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-domains.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAC/C,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAC;AAEjD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAClC,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,UAAU,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG;IACpC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC;CAC3C,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,KAAG,YACtB,CAAC;AAEvB,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,cACtB,CAAC;AAEzB,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,GAAG,SAAS,KACvB,YAAY,GAAG,SAAoD,CAAC;AAEvE,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,GAAG,SAAS,KACvB,cAAc,GAAG,SAAsD,CAAC;AAE3E,eAAO,MAAM,eAAe,GAC1B,SAAS,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAC3C,WAAW,CAAC,MAAM,EAAE,YAAY,CAGhC,CAAC;AAEJ,eAAO,MAAM,iBAAiB,GAC5B,SAAS,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAC3C,WAAW,CAAC,MAAM,EAAE,cAAc,CAGlC,CAAC"}

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

@@ -0,0 +1,7 @@
+export const semanticType = (type) => type;
+export const storageCarrier = (type) => type;
+export const semanticTypeOrUndefined = (type) => (type ? semanticType(type) : undefined);
+export const storageCarrierOrUndefined = (type) => (type ? storageCarrier(type) : undefined);
+export const semanticTypeMap = (entries) => new Map(Array.from(entries, ([name, type]) => [name, semanticType(type)]));
+export const storageCarrierMap = (entries) => new Map(Array.from(entries, ([name, type]) => [name, storageCarrier(type)]));
+//# sourceMappingURL=type-domains.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-domains.js","sourceRoot":"","sources":["../../../src/core/semantic/type-domains.ts"],"names":[],"mappings":"AAaA,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAgB,EAAE,CACzD,IAAoB,CAAC;AAEvB,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAkB,EAAE,CAC7D,IAAsB,CAAC;AAEzB,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAwB,EACE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAA4C,EACT,EAAE,CACrC,IAAI,GAAG,CACL,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAU,CAAC,CAC3E,CAAC;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAA4C,EACP,EAAE,CACvC,IAAI,GAAG,CACL,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAAU,CAAC,CAC7E,CAAC"}

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

@@ -1 +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"}
+{"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;AA8DrD,eAAO,MAAM,oBAAoB,GAC/B,MAAM,MAAM,EACZ,OAAO,MAAM,EACb,SAAS,cAAc,EACvB,eAAc,GAAG,CAAC,MAAM,CAAqB,KAC5C,OA6QF,CAAC"}

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

@@ -1,10 +1,9 @@
 import { resolveComparableType } from "./comparable-types.js";
 import { getReferenceDeterministicIdentityKey, typesHaveDeterministicIdentityConflict, typesShareDirectClrIdentity, } from "./clr-type-identity.js";
 import { referenceTypesHaveNominalIdentity, referenceTypesShareNominalIdentity, } from "./reference-type-identity.js";
+import { runtimeUnionAliasReferencesMatch } from "./runtime-union-alias-identity.js";
 const referenceTypeIdentity = (type) => getReferenceDeterministicIdentityKey(type);
-const buildTypePairKey = (leftKey, rightKey) => leftKey <= rightKey
-    ? `${leftKey}=>${rightKey}`
-    : `${rightKey}=>${leftKey}`;
+const buildTypePairKey = (leftKey, rightKey) => leftKey <= rightKey ? `${leftKey}=>${rightKey}` : `${rightKey}=>${leftKey}`;
 const coarseTypeEquivalenceIdentity = (type) => {
     switch (type.kind) {
         case "primitiveType":
@@ -54,13 +53,15 @@ export const areIrTypesEquivalent = (left, right, context, visitedPairs = new Se
     if (typesShareDirectClrIdentity(left, right)) {
         return true;
     }
+    if (runtimeUnionAliasReferencesMatch(left, right, context)) {
+        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 (left.kind === "referenceType" && right.kind === "referenceType") {
         if (referenceTypesShareNominalIdentity(left, right, context)) {
             const leftArgs = left.typeArguments ?? [];
             const rightArgs = right.typeArguments ?? [];
@@ -110,7 +111,9 @@ export const areIrTypesEquivalent = (left, right, context, visitedPairs = new Se
             for (let i = 0; i < aArgs.length; i++) {
                 const aa = aArgs[i];
                 const bb = bArgs[i];
-                if (!aa || !bb || !areIrTypesEquivalent(aa, bb, context, visitedPairs)) {
+                if (!aa ||
+                    !bb ||
+                    !areIrTypesEquivalent(aa, bb, context, visitedPairs)) {
                     return false;
                 }
             }
@@ -129,7 +132,9 @@ export const areIrTypesEquivalent = (left, right, context, visitedPairs = new Se
             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)) {
+                if (!ae ||
+                    !be ||
+                    !areIrTypesEquivalent(ae, be, context, visitedPairs)) {
                     return false;
                 }
             }

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

@@ -1 +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"}
+{"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;AACtC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAErF,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,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,OAAO,EAAE,CAAC;AAE9E,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,IAAI,gCAAgC,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,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,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACpE,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,IACE,CAAC,EAAE;oBACH,CAAC,EAAE;oBACH,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EACpD,CAAC;oBACD,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,IACE,CAAC,EAAE;oBACH,CAAC,EAAE;oBACH,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,EACpD,CAAC;oBACD,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,IACE,CAAC,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,EAC9D,CAAC;4BACD,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.js

@@ -376,5 +376,39 @@ describe("type-equivalence", () => {
         expect(() => areIrTypesEquivalent(left, right, recursiveContext)).to.not.throw();
         expect(areIrTypesEquivalent(left, right, recursiveContext)).to.equal(true);
     });
+    it("compares runtime-union alias references against their carrier union by deterministic carrier identity", () => {
+        const aliasTarget = {
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "number" },
+            ],
+            runtimeUnionLayout: "carrierSlotOrder",
+            runtimeCarrierFamilyKey: "Test.Result",
+            runtimeCarrierName: "Result",
+            runtimeCarrierNamespace: "Test",
+            runtimeCarrierTypeParameters: ["T"],
+            runtimeCarrierTypeArguments: [{ kind: "primitiveType", name: "boolean" }],
+        };
+        const aliasContext = {
+            ...createContext({ rootNamespace: "Test" }),
+            localTypes: new Map([
+                [
+                    "Result",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: ["T"],
+                        type: aliasTarget,
+                    },
+                ],
+            ]),
+        };
+        const aliasRef = {
+            kind: "referenceType",
+            name: "Result",
+            typeArguments: [{ kind: "primitiveType", name: "boolean" }],
+        };
+        expect(areIrTypesEquivalent(aliasRef, aliasTarget, aliasContext)).to.equal(true);
+    });
 });
 //# sourceMappingURL=type-equivalence.test.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-equivalence.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-equivalence.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,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,OAAO,GAAmB,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAEzE,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC1D,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;YACZ,eAAe,EAAE,qBAAqB;YACtC,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,eAAe;YAChC,MAAM,EAAE;gBACN,QAAQ,EAAE,sCAAsC;gBAChD,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,wBAAwB;gBACtC,MAAM,EAAE,QAAQ;aACjB;YACD,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,4DAA4D;YAC7E,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,eAAe,EAAE,yCAAyC;YAC1D,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,aAAa,GAAG;YACpB,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;SAC5B,CAAC;QACF,MAAM,sBAAsB,GAAW;YACrC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;YAC3B,iBAAiB,EAAE,CAAC,aAAa,CAAC;YAClC,MAAM,EAAE;gBACN,QAAQ,EAAE,qBAAqB;gBAC/B,OAAO,EAAE,UAAU;gBACnB,YAAY,EAAE,YAAY;gBAC1B,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAClB,kBAAkB,EAClB,sBAAsB,EACtB,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,qBAAqB;SAC5B,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,SAAS;YAC1B,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,OAAgB;wBACtB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,YAAY,GAAG;YACnB;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,IAAI;aACjB;YACD;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;QACF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACnC,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,UAAU;oBACV;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;gBACD;oBACE,cAAc;oBACd;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,mBAAmB;gBACpC,MAAM,EAAE;oBACN,QAAQ,EAAE,qCAAqC;oBAC/C,OAAO,EAAE,mBAAmB;oBAC5B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,qBAAqB;gBACtC,MAAM,EAAE;oBACN,QAAQ,EAAE,uCAAuC;oBACjD,OAAO,EAAE,qBAAqB;oBAC9B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,gBAAgB,GAAmB;YACvC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,MAAM;oCACZ,IAAI,EAAE;wCACJ,IAAI,EAAE,WAAW;wCACjB,KAAK,EAAE;4CACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4CAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yCACxC;qCACF;oCACD,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4BAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yBACxC;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACjF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"type-equivalence.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-equivalence.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,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,MAAM,OAAO,GAAmB,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAEzE,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,KAAK;YACX,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;SAC1D,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;YACZ,eAAe,EAAE,qBAAqB;YACtC,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,eAAe;YAChC,MAAM,EAAE;gBACN,QAAQ,EAAE,sCAAsC;gBAChD,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,wBAAwB;gBACtC,MAAM,EAAE,QAAQ;aACjB;YACD,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;SACxD,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EACb,4DAA4D;YAC9D,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,eAAe,EAAE,yCAAyC;YAC1D,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;aACvC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,aAAa,GAAG;YACpB,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;SAC5B,CAAC;QACF,MAAM,sBAAsB,GAAW;YACrC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,OAAO;YACb,eAAe,EAAE,UAAU;YAC3B,iBAAiB,EAAE,CAAC,aAAa,CAAC;YAClC,MAAM,EAAE;gBACN,QAAQ,EAAE,qBAAqB;gBAC/B,OAAO,EAAE,UAAU;gBACnB,YAAY,EAAE,YAAY;gBAC1B,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QAEF,MAAM,CACJ,oBAAoB,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,OAAO,CAAC,CAC1E,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE,aAAa;gBACtB,YAAY,EAAE,UAAU;gBACxB,MAAM,EAAE,QAAQ;aACjB;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,MAAM,SAAS,GAAW;YACxB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,qBAAqB;SAC5B,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,SAAS;YAC1B,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,OAAgB;wBACtB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,YAAY,GAAG;YACnB;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,IAAI;aACjB;YACD;gBACE,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAA4B,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;QACF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI;YACrB,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACnC,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,UAAU;oBACV;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;gBACD;oBACE,cAAc;oBACd;wBACE,IAAI,EAAE,WAAoB;wBAC1B,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,YAAqB,EAAE,OAAO,EAAE,YAAY,EAAE;qBAC7D;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,UAAU;YAChB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,cAAc;YACpB,aAAa,EAAE;gBACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gBACxC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACzC;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,QAAiB,EAAE;YACjE,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,mBAAmB;gBACpC,MAAM,EAAE;oBACN,QAAQ,EAAE,qCAAqC;oBAC/C,OAAO,EAAE,mBAAmB;oBAC5B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE;gBACX,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,qBAAqB;gBACtC,MAAM,EAAE;oBACN,QAAQ,EAAE,uCAAuC;oBACjD,OAAO,EAAE,qBAAqB;oBAC9B,YAAY,EAAE,mBAAmB;oBACjC,MAAM,EAAE,MAAM;iBACf;gBACD,iBAAiB,EAAE,CAAC,QAAQ,CAAC;aAC9B;SACF,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAEhE,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,gBAAgB,GAAmB;YACvC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,MAAM;oBACN;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,YAAY;4BAClB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,MAAM;oCACZ,IAAI,EAAE;wCACJ,IAAI,EAAE,WAAW;wCACjB,KAAK,EAAE;4CACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4CAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yCACxC;qCACF;oCACD,UAAU,EAAE,KAAK;oCACjB,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;qBACF;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAW;YACpB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;4BAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yBACxC;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,GAAG,EAAE,CACV,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CACpD,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uGAAuG,EAAE,GAAG,EAAE;QAC/G,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;YACD,kBAAkB,EAAE,kBAAkB;YACtC,uBAAuB,EAAE,aAAa;YACtC,kBAAkB,EAAE,QAAQ;YAC5B,uBAAuB,EAAE,MAAM;YAC/B,4BAA4B,EAAE,CAAC,GAAG,CAAC;YACnC,2BAA2B,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;SAC1E,CAAC;QACF,MAAM,YAAY,GAAmB;YACnC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,IAAI,EAAE,WAAW;qBAClB;iBACF;aACF,CAAC;SACH,CAAC;QACF,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;SAC5D,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACxE,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/array-like-element.test.js

@@ -5,9 +5,9 @@ describe("type-resolution", () => {
             rootNamespace: "Test",
             indent: 4,
         };
-        const createContext = (localTypes) => ({
+        const createContext = (localTypes, surface) => ({
             indentLevel: 0,
-            options: defaultOptions,
+            options: surface ? { ...defaultOptions, surface } : defaultOptions,
             isStatic: false,
             isAsync: false,
             localTypes,
@@ -34,7 +34,7 @@ describe("type-resolution", () => {
             });
         });
         it("resolves ReadonlyArray element types through generic references", () => {
-            const context = createContext(new Map());
+            const context = createContext(new Map(), "@tsonic/js");
             const result = getArrayLikeElementType({
                 kind: "referenceType",
                 name: "ReadonlyArray",
@@ -46,7 +46,7 @@ describe("type-resolution", () => {
             });
         });
         it("resolves ArrayLike element types through generic references", () => {
-            const context = createContext(new Map());
+            const context = createContext(new Map(), "@tsonic/js");
             const result = getArrayLikeElementType({
                 kind: "referenceType",
                 name: "ArrayLike",
@@ -57,6 +57,15 @@ describe("type-resolution", () => {
                 name: "number",
             });
         });
+        it("does not treat JS array-like references as CLR array-like outside the JS surface", () => {
+            const context = createContext(new Map());
+            const result = getArrayLikeElementType({
+                kind: "referenceType",
+                name: "ReadonlyArray",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            }, context);
+            expect(result).to.equal(undefined);
+        });
         it("does not treat a locally declared Array<T> class as an array-like wrapper", () => {
             const context = createContext(new Map([
                 [

package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"array-like-element.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/array-like-element.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,uBAAuB,GAIxB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,MAAM,cAAc,GAAmB;YACrC,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9B,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,cAAc;YACvB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE;yBAC/D;qBACF;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,EACjD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"array-like-element.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/array-like-element.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,uBAAuB,GAIxB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,MAAM,cAAc,GAAmB;YACrC,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9C,OAAgB,EACA,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,cAAc;YAClE,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE;yBAC/D;qBACF;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,EACjD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,EAAE,YAAY,CAAC,CAAC;YAEvD,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,EAAE,YAAY,CAAC,CAAC;YAEvD,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/helpers.d.ts

@@ -1,8 +1,8 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
-import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex } from "../type-resolution.js";
+import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, findUnionMemberIndex, narrowTypeByTypeofTag } from "../type-resolution.js";
 import { type IrInterfaceMember, type IrType, type TypeBinding as FrontendTypeBinding } from "@tsonic/frontend";
 import type { EmitterContext, LocalTypeInfo, EmitterOptions } from "../../../types.js";
-export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, };
+export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, findUnionMemberIndex, narrowTypeByTypeofTag, };
 export type { EmitterContext, EmitterOptions, FrontendTypeBinding, IrInterfaceMember, IrType, LocalTypeInfo, };
 //# sourceMappingURL=helpers.d.ts.map

package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACX,KAAK,WAAW,IAAI,mBAAmB,EACxC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,CAAC;AACF,YAAY,EACV,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,MAAM,EACN,aAAa,GACd,CAAC"}
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,qBAAqB,EACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACX,KAAK,WAAW,IAAI,mBAAmB,EACxC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,qBAAqB,GACtB,CAAC;AACF,YAAY,EACV,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,MAAM,EACN,aAAa,GACd,CAAC"}

package/dist/core/semantic/type-resolution-cases/helpers.js

@@ -1,5 +1,5 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
-import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, } from "../type-resolution.js";
-export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, };
+import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, findUnionMemberIndex, narrowTypeByTypeofTag, } from "../type-resolution.js";
+export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, findUnionMemberIndex, narrowTypeByTypeofTag, };
 //# sourceMappingURL=helpers.js.map

package/dist/core/semantic/type-resolution-cases/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAY/B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAY/B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,qBAAqB,GACtB,CAAC"}

package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.d.ts.map

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

package/dist/core/semantic/type-resolution-cases/typeof-narrowing.test.js

@@ -0,0 +1,36 @@
+import { describe, expect, it, narrowTypeByTypeofTag, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("narrowTypeByTypeofTag", () => {
+        const defaultOptions = {
+            rootNamespace: "Test",
+            indent: 4,
+        };
+        const context = {
+            indentLevel: 0,
+            options: defaultOptions,
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        };
+        it("treats System.Object carriers as broad typeof boundaries", () => {
+            const objectCarrier = {
+                kind: "referenceType",
+                name: "object",
+                resolvedClrType: "global::System.Object",
+            };
+            expect(narrowTypeByTypeofTag(objectCarrier, "string", context)).to.deep.equal({
+                kind: "primitiveType",
+                name: "string",
+            });
+            expect(narrowTypeByTypeofTag(objectCarrier, "boolean", context)).to.deep.equal({
+                kind: "primitiveType",
+                name: "boolean",
+            });
+            expect(narrowTypeByTypeofTag(objectCarrier, "number", context)).to.deep.equal({
+                kind: "primitiveType",
+                name: "number",
+            });
+        });
+    });
+});
+//# sourceMappingURL=typeof-narrowing.test.js.map