npm - @tsonic/emitter - Versions diffs - 0.0.73 → 0.0.75 - Mend

@tsonic/emitter 0.0.73 → 0.0.75

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1545) hide show

package/dist/core/semantic/type-resolution.test.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"type-resolution.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,iCAAiC,EACjC,YAAY,EACZ,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAG9B,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAE9D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAE1D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAE/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;iBACzC;aACF,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC9D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC1D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAExE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;aACxD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACjE,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;YAElE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,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,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,OAAO,GAAwB;gBACnC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO;wBACP,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEjE,uCAAuC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,OAAO,GAAwB;gBACnC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,SAAS;oBACT;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,OAAO;wBACP,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,OAAO,GAAwB;gBACnC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO;wBACP,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAEnE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;YAEpD,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,cAAc;aACrB,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,OAAO,GAAwB;gBACnC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO;wBACP,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,4CAA4C;aAC7C,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEjE,0BAA0B;YAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,OAAO,GAAwB;gBACnC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAwB;gBAChD;oBACE,SAAS;oBACT;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;gBACD;oBACE,QAAQ;oBACR;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,OAAO;wBACP,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC;YAEF,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAEhE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,gBAAgB,GAAwB;gBAC5C;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAwB;gBACzD;oBACE,eAAe;oBACf;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,gBAAgB;wBACzB,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,OAAO,GAAmB;gBAC9B,WAAW,EAAE,CAAC;gBACd,OAAO,EAAE;oBACP,GAAG,cAAc;oBACjB,SAAS,EAAE,IAAI,GAAG,CAAC;wBACjB;4BACE,wCAAwC;4BACxC;gCACE,SAAS,EAAE,MAAM;gCACjB,SAAS,EAAE,0BAA0B;gCACrC,QAAQ,EAAE,wCAAwC;gCAClD,mBAAmB,EAAE,KAAK;gCAC1B,gBAAgB,EAAE,KAAK;gCACvB,UAAU,EAAE,mBAAmB;6BAChC;yBACF;qBACF,CAAC;iBACH;gBACD,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,IAAI,GAAG,EAAyB;gBAC5C,MAAM,EAAE,IAAI,GAAG,EAAU;aAC1B,CAAC;YAEF,MAAM,cAAc,GAAW;gBAC7B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,eAAe,EAAE,oBAAoB;aACtC,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;aACvD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,aAAa,GAAwB;gBACzC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACvD;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,YAAY,GAAwB;gBACxC;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,CAAC;YAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAwB;gBACzD;oBACE,eAAe;oBACf;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,aAAa;wBACtB,OAAO,EAAE,EAAE;qBACZ;iBACF;gBACD;oBACE,cAAc;oBACd;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,YAAY;wBACrB,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,OAAO,GAAmB;gBAC9B,WAAW,EAAE,CAAC;gBACd,OAAO,EAAE;oBACP,aAAa,EAAE,MAAM;oBACrB,MAAM,EAAE,CAAC;oBACT,SAAS,EAAE,IAAI,GAAG,CAAC;wBACjB;4BACE,wCAAwC;4BACxC;gCACE,SAAS,EAAE,MAAM;gCACjB,SAAS,EAAE,0BAA0B;gCACrC,QAAQ,EAAE,wCAAwC;gCAClD,mBAAmB,EAAE,KAAK;gCAC1B,gBAAgB,EAAE,KAAK;gCACvB,UAAU,EAAE,mBAAmB;6BAChC;yBACF;qBACF,CAAC;iBACH;gBACD,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,IAAI,GAAG,EAAyB;gBAC5C,MAAM,EAAE,IAAI,GAAG,EAAU;aAC1B,CAAC;YAEF,MAAM,SAAS,GAA2C;gBACxD,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,eAAe;wBACrB,eAAe,EAAE,oBAAoB;qBACtC;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,cAAc;wBACpB,eAAe,EAAE,mBAAmB;qBACrC;iBACF;aACF,CAAC;YAEF,MAAM,QAAQ,GAAG,iCAAiC,CAChD,SAAS,EACT,CAAC,QAAQ,CAAC,EACV,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YACF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;qBAC1D;oBACD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;oBACvC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YACF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,4DAA4D;YAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAChE,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC9D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAChE,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;gBAChB,eAAe,EAAE,yBAAyB;aAC3C,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,aAAa;aAC/B,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
1	+ {"version":3,"file":"type-resolution.test.js","sourceRoot":"","sources":["../../../src/core/semantic/type-resolution.test.ts"],"names":[],"mappings":"AAAA,OAAO,+CAA+C,CAAC;AACvD,OAAO,yDAAyD,CAAC;AACjE,OAAO,uDAAuD,CAAC;AAC/D,OAAO,sDAAsD,CAAC;AAC9D,OAAO,+CAA+C,CAAC;AACvD,OAAO,oDAAoD,CAAC;AAC5D,OAAO,iEAAiE,CAAC;AACzE,OAAO,wDAAwD,CAAC;AAChE,OAAO,mDAAmD,CAAC;AAC3D,OAAO,oDAAoD,CAAC"}

package/dist/core/semantic/type-substitution.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Type argument substitution for type alias resolution.
+ *
+ * Provides recursive type-parameter substitution across all IR type forms
+ * (reference, array, dictionary, union, tuple, intersection, function, object).
+ * Used internally by resolveTypeAlias to expand parameterized type aliases.
+ */
+import type { IrType } from "@tsonic/frontend";
+export declare const substituteTypeArgs: (type: IrType, typeParamNames: readonly string[], typeArgs: readonly IrType[]) => IrType;
+//# sourceMappingURL=type-substitution.d.ts.map

package/dist/core/semantic/type-substitution.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"type-substitution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EASP,MAAM,kBAAkB,CAAC;AAyL1B,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,EACZ,gBAAgB,SAAS,MAAM,EAAE,EACjC,UAAU,SAAS,MAAM,EAAE,KAC1B,MAYF,CAAC"}

package/dist/core/semantic/type-substitution.js ADDED Viewed

@@ -0,0 +1,167 @@
+/**
+ * Type argument substitution for type alias resolution.
+ *
+ * Provides recursive type-parameter substitution across all IR type forms
+ * (reference, array, dictionary, union, tuple, intersection, function, object).
+ * Used internally by resolveTypeAlias to expand parameterized type aliases.
+ */
+/**
+ * Internal helper for type substitution
+ */
+const substituteType = (type, mapping, visited = new Map()) => {
+    const existing = visited.get(type);
+    if (existing) {
+        return existing;
+    }
+    switch (type.kind) {
+        case "typeParameterType": {
+            const substitution = mapping.get(type.name);
+            return substitution ?? type;
+        }
+        case "referenceType": {
+            if (!type.typeArguments && !type.structuralMembers) {
+                return type;
+            }
+            const clone = { ...type };
+            visited.set(type, clone);
+            const substitutedTypeArguments = type.typeArguments?.map((arg) => substituteType(arg, mapping, visited));
+            const substitutedStructuralMembers = type.structuralMembers?.map((m) => {
+                if (m.kind === "propertySignature") {
+                    return { ...m, type: substituteType(m.type, mapping, visited) };
+                }
+                if (m.kind === "methodSignature") {
+                    return {
+                        ...m,
+                        returnType: m.returnType
+                            ? substituteType(m.returnType, mapping, visited)
+                            : undefined,
+                        parameters: m.parameters.map((p) => p.type
+                            ? { ...p, type: substituteType(p.type, mapping, visited) }
+                            : p),
+                    };
+                }
+                return m;
+            });
+            if (substitutedTypeArguments) {
+                clone.typeArguments = substitutedTypeArguments;
+            }
+            if (substitutedStructuralMembers) {
+                clone.structuralMembers = substitutedStructuralMembers;
+            }
+            return clone;
+        }
+        case "arrayType": {
+            const clone = {
+                ...type,
+                elementType: type.elementType,
+            };
+            visited.set(type, clone);
+            clone.elementType = substituteType(type.elementType, mapping, visited);
+            return clone;
+        }
+        case "dictionaryType": {
+            const clone = {
+                ...type,
+                keyType: type.keyType,
+                valueType: type.valueType,
+            };
+            visited.set(type, clone);
+            clone.keyType = substituteType(type.keyType, mapping, visited);
+            clone.valueType = substituteType(type.valueType, mapping, visited);
+            return clone;
+        }
+        case "unionType": {
+            const clone = {
+                ...type,
+                types: [],
+            };
+            visited.set(type, clone);
+            const substitutedRuntimeCarrierTypeArguments = type.runtimeCarrierTypeArguments?.map((arg) => substituteType(arg, mapping, visited)) ??
+                type.runtimeCarrierTypeParameters?.map((name) => substituteType({ kind: "typeParameterType", name }, mapping, visited));
+            clone.types = type.types.map((t) => substituteType(t, mapping, visited));
+            if (substitutedRuntimeCarrierTypeArguments) {
+                clone.runtimeCarrierTypeArguments = substitutedRuntimeCarrierTypeArguments;
+            }
+            return clone;
+        }
+        case "tupleType": {
+            const clone = {
+                ...type,
+                elementTypes: [],
+            };
+            visited.set(type, clone);
+            clone.elementTypes = type.elementTypes.map((t) => substituteType(t, mapping, visited));
+            return clone;
+        }
+        case "intersectionType": {
+            const clone = {
+                ...type,
+                types: [],
+            };
+            visited.set(type, clone);
+            clone.types = type.types.map((t) => substituteType(t, mapping, visited));
+            return clone;
+        }
+        case "functionType": {
+            const clone = {
+                ...type,
+                returnType: type.returnType,
+                parameters: [],
+            };
+            visited.set(type, clone);
+            clone.returnType = substituteType(type.returnType, mapping, visited);
+            clone.parameters = type.parameters.map((p) => p.type ? { ...p, type: substituteType(p.type, mapping, visited) } : p);
+            return clone;
+        }
+        case "objectType": {
+            const clone = {
+                ...type,
+                members: [],
+            };
+            visited.set(type, clone);
+            clone.members = type.members.map((m) => {
+                if (m.kind === "propertySignature") {
+                    return { ...m, type: substituteType(m.type, mapping, visited) };
+                }
+                if (m.kind === "methodSignature") {
+                    return {
+                        ...m,
+                        returnType: m.returnType
+                            ? substituteType(m.returnType, mapping, visited)
+                            : undefined,
+                        parameters: m.parameters.map((p) => p.type
+                            ? { ...p, type: substituteType(p.type, mapping, visited) }
+                            : p),
+                    };
+                }
+                return m;
+            });
+            return clone;
+        }
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return type;
+        default: {
+            const exhaustive = type;
+            void exhaustive;
+            return type;
+        }
+    }
+};
+export const substituteTypeArgs = (type, typeParamNames, typeArgs) => {
+    // Build mapping from name to type
+    const mapping = new Map();
+    for (let i = 0; i < typeParamNames.length && i < typeArgs.length; i++) {
+        const name = typeParamNames[i];
+        const arg = typeArgs[i];
+        if (name !== undefined && arg !== undefined) {
+            mapping.set(name, arg);
+        }
+    }
+    return substituteType(type, mapping);
+};
+//# sourceMappingURL=type-substitution.js.map

package/dist/core/semantic/type-substitution.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"type-substitution.js","sourceRoot":"","sources":["../../../src/core/semantic/type-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkBH;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,OAAoC,EACpC,UAA+B,IAAI,GAAG,EAAkB,EAChD,EAAE;IACV,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,YAAY,IAAI,IAAI,CAAC;QAC9B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,KAAK,GAA6B,EAAE,GAAG,IAAI,EAAE,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,wBAAwB,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC,CAAC;YACF,MAAM,4BAA4B,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,IAAI,wBAAwB,EAAE,CAAC;gBAC7B,KAAK,CAAC,aAAa,GAAG,wBAAwB,CAAC;YACjD,CAAC;YACD,IAAI,4BAA4B,EAAE,CAAC;gBACjC,KAAK,CAAC,iBAAiB,GAAG,4BAA4B,CAAC;YACzD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAA8B;gBACvC,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC/D,KAAK,CAAC,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACnE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,MAAM,sCAAsC,GAC1C,IAAI,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5C,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CACtC;gBACD,IAAI,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9C,cAAc,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,CACtE,CAAC;YACJ,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,IAAI,sCAAsC,EAAE,CAAC;gBAC3C,KAAK,CAAC,2BAA2B,GAAG,sCAAsC,CAAC;YAC7E,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAyB;gBAClC,GAAG,IAAI;gBACP,YAAY,EAAE,EAAE;aACjB,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CACpC,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAgC;gBACzC,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE;aACV,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAA4B;gBACrC,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,EAAE;aACf,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;YACF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAA0B;gBACnC,GAAG,IAAI;gBACP,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;4BAChD,CAAC,CAAC,SAAS;wBACb,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,IAAI;4BACJ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;4BAC1D,CAAC,CAAC,CAAC,CACN;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,KAAe,CAAC;QACzB,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QAEd,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,KAAK,UAAU,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,cAAiC,EACjC,QAA2B,EACnB,EAAE;IACV,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC,CAAC"}

package/dist/core/semantic/union-member-matching.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Union member matching and selection — facade re-exports.
+ *
+ * Implementations live in:
+ *   - union-typeof-matching.ts
+ *   - union-predicate-matching.ts
+ */
+export { matchesTypeofTag, narrowTypeByNotTypeofTag, narrowTypeByTypeofTag, } from "./union-typeof-matching.js";
+export { selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, findUnionMemberIndex, unionMemberMatchesTarget, } from "./union-predicate-matching.js";
+//# sourceMappingURL=union-member-matching.d.ts.map

package/dist/core/semantic/union-member-matching.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"union-member-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-member-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,EACjC,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}

package/dist/core/semantic/union-member-matching.js ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Union member matching and selection — facade re-exports.
+ *
+ * Implementations live in:
+ *   - union-typeof-matching.ts
+ *   - union-predicate-matching.ts
+ */
+export { matchesTypeofTag, narrowTypeByNotTypeofTag, narrowTypeByTypeofTag, } from "./union-typeof-matching.js";
+export { selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, findUnionMemberIndex, unionMemberMatchesTarget, } from "./union-predicate-matching.js";
+//# sourceMappingURL=union-member-matching.js.map

package/dist/core/semantic/union-member-matching.js.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"union-member-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-member-matching.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,EACjC,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,+BAA+B,CAAC"}

package/dist/core/semantic/union-predicate-matching.d.ts ADDED Viewed

@@ -0,0 +1,40 @@
+/**
+ * Union member selection by object-literal keys and predicate targets.
+ *
+ * Selects the best-matching union member for object literal instantiation
+ * and finds union member indices by structural/nominal type matching.
+ */
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+/**
+ * Select the best union member type to instantiate for an object literal.
+ *
+ * Example:
+ *   type Result<T,E> = Result__0<T,E> | Result__1<T,E>
+ *   return { ok: true, value }  // keys: ["ok","value"]
+ * → choose Result__0<T,E>
+ *
+ * Matching rules (conservative):
+ * - Only considers union members that are referenceTypes to local interfaces or classes.
+ * - Object literal keys must be a subset of the candidate's property names.
+ * - All *required* (non-optional) candidate properties must be present in the literal.
+ *
+ * Scoring (pick "most specific" deterministically):
+ * 1) Fewer extra properties (candidateProps - literalKeys)
+ * 2) More required properties (prefer tighter required shape)
+ * 3) Fewer total properties
+ * 4) Lexicographic by type name (stable tie-break)
+ */
+export declare const selectObjectLiteralUnionMember: (unionType: Extract<IrType, {
+    kind: "unionType";
+}>, literalKeys: readonly string[], context: EmitterContext) => IrType | undefined;
+export declare const selectUnionMemberForObjectLiteral: (unionType: Extract<IrType, {
+    kind: "unionType";
+}>, literalKeys: readonly string[], context: EmitterContext) => Extract<IrType, {
+    kind: "referenceType";
+}> | undefined;
+export declare const findUnionMemberIndex: (unionType: Extract<IrType, {
+    kind: "unionType";
+}>, target: IrType, context: EmitterContext) => number | undefined;
+export declare const unionMemberMatchesTarget: (member: IrType, candidate: IrType, context: EmitterContext) => boolean;
+//# sourceMappingURL=union-predicate-matching.d.ts.map

package/dist/core/semantic/union-predicate-matching.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"union-predicate-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAsBrD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,8BAA8B,GACzC,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,MAAM,GAAG,SAuKX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,aAAa,SAAS,MAAM,EAAE,EAC9B,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAO/C,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,WAAW,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACjD,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAAM,GAAG,SAkPX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,cAAc,KACtB,OAOF,CAAC"}

package/dist/core/semantic/union-predicate-matching.js ADDED Viewed

@@ -0,0 +1,313 @@
+/**
+ * Union member selection by object-literal keys and predicate targets.
+ *
+ * Selects the best-matching union member for object literal instantiation
+ * and finds union member indices by structural/nominal type matching.
+ */
+import { normalizedUnionType } from "@tsonic/frontend";
+import { isAssignable } from "./type-compatibility.js";
+import { resolveTypeAlias, stripNullish, getArrayLikeElementType, } from "./nullish-value-helpers.js";
+import { resolveLocalTypeInfo, getAllPropertySignatures, } from "./property-member-lookup.js";
+import { getRuntimeUnionAliasReferenceKey } from "./runtime-union-alias-identity.js";
+import { typesHaveDeterministicIdentityConflict, } from "./clr-type-identity.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { referenceTypesShareNominalIdentity } from "./reference-type-identity.js";
+import { getContextualTypeVisitKey, tryContextualTypeIdentityKey, } from "./deterministic-type-keys.js";
+/**
+ * Select the best union member type to instantiate for an object literal.
+ *
+ * Example:
+ *   type Result<T,E> = Result__0<T,E> | Result__1<T,E>
+ *   return { ok: true, value }  // keys: ["ok","value"]
+ * → choose Result__0<T,E>
+ *
+ * Matching rules (conservative):
+ * - Only considers union members that are referenceTypes to local interfaces or classes.
+ * - Object literal keys must be a subset of the candidate's property names.
+ * - All *required* (non-optional) candidate properties must be present in the literal.
+ *
+ * Scoring (pick "most specific" deterministically):
+ * 1) Fewer extra properties (candidateProps - literalKeys)
+ * 2) More required properties (prefer tighter required shape)
+ * 3) Fewer total properties
+ * 4) Lexicographic by type name (stable tie-break)
+ */
+export const selectObjectLiteralUnionMember = (unionType, literalKeys, context) => {
+    // Normalize keys (defensive: dedupe)
+    const keySet = new Set(literalKeys.filter((k) => k.length > 0));
+    const keys = [...keySet];
+    const candidates = [];
+    for (const member of unionType.types) {
+        const resolved = resolveTypeAlias(stripNullish(member), context);
+        if (resolved.kind === "dictionaryType") {
+            if (resolved.keyType.kind === "primitiveType" &&
+                resolved.keyType.name === "string") {
+                candidates.push({
+                    type: member,
+                    order: candidates.length,
+                    kind: "dictionary",
+                    allProps: new Set(),
+                    requiredProps: new Set(),
+                });
+            }
+            continue;
+        }
+        if (resolved.kind === "objectType") {
+            const props = resolved.members.filter((candidate) => candidate.kind === "propertySignature");
+            const allProps = new Set(props.map((p) => p.name));
+            const requiredProps = new Set(props.filter((p) => !p.isOptional).map((p) => p.name));
+            candidates.push({
+                type: member,
+                order: candidates.length,
+                kind: "object",
+                allProps,
+                requiredProps,
+            });
+            continue;
+        }
+        if (member.kind !== "referenceType" && resolved.kind !== "referenceType") {
+            continue;
+        }
+        const ref = resolved.kind === "referenceType"
+            ? resolved
+            : member;
+        const infoResult = resolveLocalTypeInfo(ref, context);
+        const info = infoResult?.info;
+        if (!info)
+            continue;
+        // Interface members: use property signatures (includes inherited interfaces).
+        if (info.kind === "interface") {
+            const props = getAllPropertySignatures(ref, context);
+            if (!props)
+                continue;
+            const allProps = new Set(props.map((p) => p.name));
+            const requiredProps = new Set(props.filter((p) => !p.isOptional).map((p) => p.name));
+            candidates.push({
+                type: member,
+                order: candidates.length,
+                kind: "object",
+                allProps,
+                requiredProps,
+            });
+            continue;
+        }
+        // Class members: use property declarations.
+        // Anonymous object literal synthesis (TSN7403) emits DTO-like classes with `required` properties,
+        // so unions over synthesized shapes must be matched here (not only interfaces).
+        if (info.kind === "class") {
+            const props = info.members.filter((m) => m.kind === "propertyDeclaration");
+            const allProps = new Set(props.map((p) => p.name));
+            const requiredProps = new Set(props.filter((p) => p.isRequired).map((p) => p.name));
+            candidates.push({
+                type: member,
+                order: candidates.length,
+                kind: "object",
+                allProps,
+                requiredProps,
+            });
+            continue;
+        }
+    }
+    // Filter by match rules
+    const matches = candidates.filter((c) => {
+        if (c.kind === "dictionary") {
+            return true;
+        }
+        // literal keys must exist on candidate
+        for (const k of keys) {
+            if (!c.allProps.has(k))
+                return false;
+        }
+        // candidate required props must be provided by literal
+        for (const r of c.requiredProps) {
+            if (!keySet.has(r))
+                return false;
+        }
+        return true;
+    });
+    if (matches.length === 0)
+        return undefined;
+    const firstMatch = matches[0];
+    if (matches.length === 1 && firstMatch)
+        return firstMatch.type;
+    // Pick best by score
+    matches.sort((a, b) => {
+        if (a.kind !== b.kind) {
+            return a.kind === "dictionary" ? 1 : -1;
+        }
+        if (a.kind === "dictionary" && b.kind === "dictionary") {
+            const aKey = tryContextualTypeIdentityKey(a.type, context);
+            const bKey = tryContextualTypeIdentityKey(b.type, context);
+            return aKey && bKey ? aKey.localeCompare(bKey) : a.order - b.order;
+        }
+        const aTotal = a.allProps.size;
+        const bTotal = b.allProps.size;
+        const aExtra = aTotal - keySet.size;
+        const bExtra = bTotal - keySet.size;
+        if (aExtra !== bExtra)
+            return aExtra - bExtra; // fewer extras is better
+        const aReq = a.requiredProps.size;
+        const bReq = b.requiredProps.size;
+        if (aReq !== bReq)
+            return bReq - aReq; // more required is better
+        if (aTotal !== bTotal)
+            return aTotal - bTotal; // fewer total props is better
+        const aKey = tryContextualTypeIdentityKey(a.type, context);
+        const bKey = tryContextualTypeIdentityKey(b.type, context);
+        return aKey && bKey ? aKey.localeCompare(bKey) : a.order - b.order;
+    });
+    const best = matches[0];
+    return best?.type;
+};
+export const selectUnionMemberForObjectLiteral = (unionType, literalKeys, context) => {
+    const selected = selectObjectLiteralUnionMember(unionType, literalKeys, context);
+    return selected?.kind === "referenceType" ? selected : undefined;
+};
+export const findUnionMemberIndex = (unionType, target, context) => {
+    const canonicalUnion = normalizedUnionType(unionType.types);
+    const unionMembers = canonicalUnion.kind === "unionType"
+        ? canonicalUnion.types
+        : [canonicalUnion];
+    const resolvedTarget = resolveTypeAlias(stripNullish(target), context);
+    const matchesPredicateTarget = (member, candidate, visited = new Set()) => {
+        const memberAliasKey = getRuntimeUnionAliasReferenceKey(member, context);
+        if (memberAliasKey) {
+            const candidateAliasKey = getRuntimeUnionAliasReferenceKey(candidate, context);
+            if (candidateAliasKey) {
+                return memberAliasKey === candidateAliasKey;
+            }
+        }
+        const resolvedMember = resolveTypeAlias(stripNullish(member), context);
+        const resolvedCandidate = resolveTypeAlias(stripNullish(candidate), context);
+        if (areIrTypesEquivalent(resolvedMember, resolvedCandidate, context)) {
+            return true;
+        }
+        const visitedKey = `${getContextualTypeVisitKey(resolvedMember, context)}=>${getContextualTypeVisitKey(resolvedCandidate, context)}`;
+        if (visited.has(visitedKey)) {
+            return true;
+        }
+        const nextVisited = new Set(visited);
+        nextVisited.add(visitedKey);
+        if (resolvedCandidate.kind === "unionType") {
+            return resolvedCandidate.types.some((candidateMember) => matchesPredicateTarget(resolvedMember, candidateMember, nextVisited));
+        }
+        if (resolvedMember.kind === "unionType") {
+            return resolvedMember.types.some((memberType) => matchesPredicateTarget(memberType, resolvedCandidate, nextVisited));
+        }
+        if (resolvedMember.kind === "anyType" ||
+            resolvedCandidate.kind === "anyType") {
+            return true;
+        }
+        if (resolvedMember.kind === "unknownType" ||
+            resolvedCandidate.kind === "unknownType") {
+            return (resolvedMember.kind === "unknownType" &&
+                resolvedCandidate.kind === "unknownType");
+        }
+        if (resolvedMember.kind === "literalType") {
+            if (resolvedCandidate.kind === "literalType") {
+                return resolvedMember.value === resolvedCandidate.value;
+            }
+            if (resolvedCandidate.kind === "primitiveType") {
+                return ((typeof resolvedMember.value === "string" &&
+                    resolvedCandidate.name === "string") ||
+                    (typeof resolvedMember.value === "number" &&
+                        (resolvedCandidate.name === "number" ||
+                            resolvedCandidate.name === "int")) ||
+                    (typeof resolvedMember.value === "boolean" &&
+                        resolvedCandidate.name === "boolean"));
+            }
+        }
+        if (resolvedMember.kind === "primitiveType") {
+            if (isAssignable(resolvedCandidate, resolvedMember)) {
+                return true;
+            }
+            if (resolvedCandidate.kind === "primitiveType") {
+                return (resolvedMember.name === resolvedCandidate.name ||
+                    isAssignable(resolvedMember, resolvedCandidate));
+            }
+            if (resolvedCandidate.kind === "literalType") {
+                return matchesPredicateTarget(resolvedCandidate, resolvedMember);
+            }
+        }
+        if (resolvedMember.kind === "arrayType" &&
+            resolvedCandidate.kind === "arrayType") {
+            if (resolvedMember.elementType.kind === "unknownType" ||
+                resolvedCandidate.elementType.kind === "unknownType") {
+                return true;
+            }
+            return matchesPredicateTarget(resolvedMember.elementType, resolvedCandidate.elementType, nextVisited);
+        }
+        const memberArrayLikeElement = getArrayLikeElementType(resolvedMember, context);
+        const candidateArrayLikeElement = getArrayLikeElementType(resolvedCandidate, context);
+        if (memberArrayLikeElement && candidateArrayLikeElement) {
+            if (memberArrayLikeElement.kind === "unknownType" ||
+                candidateArrayLikeElement.kind === "unknownType") {
+                return true;
+            }
+            return matchesPredicateTarget(memberArrayLikeElement, candidateArrayLikeElement, nextVisited);
+        }
+        if (resolvedMember.kind === "tupleType" &&
+            resolvedCandidate.kind === "tupleType") {
+            if (resolvedMember.elementTypes.length !==
+                resolvedCandidate.elementTypes.length) {
+                return false;
+            }
+            return resolvedMember.elementTypes.every((elementType, index) => {
+                const other = resolvedCandidate.elementTypes[index];
+                return other
+                    ? matchesPredicateTarget(elementType, other, nextVisited)
+                    : false;
+            });
+        }
+        if (resolvedMember.kind === "functionType" &&
+            resolvedCandidate.kind === "functionType") {
+            if (resolvedMember.parameters.length !== resolvedCandidate.parameters.length) {
+                return false;
+            }
+            for (let index = 0; index < resolvedMember.parameters.length; index += 1) {
+                const memberParam = resolvedMember.parameters[index];
+                const candidateParam = resolvedCandidate.parameters[index];
+                if (!memberParam || !candidateParam) {
+                    return false;
+                }
+                if (!memberParam.type && !candidateParam.type) {
+                    continue;
+                }
+                if (!memberParam.type || !candidateParam.type) {
+                    return false;
+                }
+                if (!matchesPredicateTarget(memberParam.type, candidateParam.type, nextVisited)) {
+                    return false;
+                }
+            }
+            return matchesPredicateTarget(resolvedMember.returnType, resolvedCandidate.returnType, nextVisited);
+        }
+        if (resolvedMember.kind === "referenceType" &&
+            resolvedCandidate.kind === "referenceType") {
+            if (typesHaveDeterministicIdentityConflict(resolvedMember, resolvedCandidate)) {
+                return false;
+            }
+            if (referenceTypesShareNominalIdentity(resolvedMember, resolvedCandidate, context)) {
+                return true;
+            }
+            return false;
+        }
+        return false;
+    };
+    for (let i = 0; i < unionMembers.length; i++) {
+        const m = unionMembers[i];
+        if (m && matchesPredicateTarget(m, resolvedTarget)) {
+            return i;
+        }
+    }
+    return undefined;
+};
+export const unionMemberMatchesTarget = (member, candidate, context) => {
+    const resolvedCandidate = resolveTypeAlias(stripNullish(candidate), context);
+    const wrapper = {
+        kind: "unionType",
+        types: [member],
+    };
+    return findUnionMemberIndex(wrapper, resolvedCandidate, context) === 0;
+};
+//# sourceMappingURL=union-predicate-matching.js.map

package/dist/core/semantic/union-predicate-matching.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"union-predicate-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/union-predicate-matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,uBAAuB,GACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EACL,sCAAsC,GACvC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAEtC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACH,EAAE;IACtB,qCAAqC;IACrC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAUzB,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACvC,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;gBACzC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;oBACxB,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,IAAI,GAAG,EAAU;oBAC3B,aAAa,EAAE,IAAI,GAAG,EAAU;iBACjC,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CACnC,CACE,SAAS,EAIT,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,mBAAmB,CAC5C,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YACF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzE,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GACP,QAAQ,CAAC,IAAI,KAAK,eAAe;YAC/B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAE,MAAqD,CAAC;QAE7D,MAAM,UAAU,GAAG,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,EAAE,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,8EAA8E;QAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,wBAAwB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,4CAA4C;QAC5C,kGAAkG;QAClG,gFAAgF;QAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,UAAU,CAAC,MAAM;gBACxB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,aAAa;aACd,CAAC,CAAC;YACH,SAAS;QACX,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACtC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACvC,CAAC;QACD,uDAAuD;QACvD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IAE/D,qBAAqB;IACrB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACrE,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAE/B,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QAEpC,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,yBAAyB;QAExE,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;QAClC,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,0BAA0B;QAEjE,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,8BAA8B;QAE7E,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,4BAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,EAAE,IAAI,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,SAAiD,EACjD,WAA8B,EAC9B,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,8BAA8B,CAC7C,SAAS,EACT,WAAW,EACX,OAAO,CACR,CAAC;IACF,OAAO,QAAQ,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,SAAiD,EACjD,MAAc,EACd,OAAuB,EACH,EAAE;IACtB,MAAM,cAAc,GAAG,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,WAAW;QACjC,CAAC,CAAC,cAAc,CAAC,KAAK;QACtB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IACvB,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,sBAAsB,GAAG,CAC7B,MAAc,EACd,SAAiB,EACjB,UAAuB,IAAI,GAAG,EAAU,EAC/B,EAAE;QACX,MAAM,cAAc,GAAG,gCAAgC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,iBAAiB,GAAG,gCAAgC,CACxD,SAAS,EACT,OAAO,CACR,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,OAAO,cAAc,KAAK,iBAAiB,CAAC;YAC9C,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,iBAAiB,GAAG,gBAAgB,CACxC,YAAY,CAAC,SAAS,CAAC,EACvB,OAAO,CACR,CAAC;QACF,IAAI,oBAAoB,CAAC,cAAc,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,yBAAyB,CAC7C,cAAc,EACd,OAAO,CACR,KAAK,yBAAyB,CAAC,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE5B,IAAI,iBAAiB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3C,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,EAAE,CACtD,sBAAsB,CAAC,cAAc,EAAE,eAAe,EAAE,WAAW,CAAC,CACrE,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9C,sBAAsB,CAAC,UAAU,EAAE,iBAAiB,EAAE,WAAW,CAAC,CACnE,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,SAAS;YACjC,iBAAiB,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,aAAa;YACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,EACxC,CAAC;YACD,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,aAAa;gBACrC,iBAAiB,CAAC,IAAI,KAAK,aAAa,CACzC,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1C,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,cAAc,CAAC,KAAK,KAAK,iBAAiB,CAAC,KAAK,CAAC;YAC1D,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;oBACvC,iBAAiB,CAAC,IAAI,KAAK,QAAQ,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,QAAQ;wBACvC,CAAC,iBAAiB,CAAC,IAAI,KAAK,QAAQ;4BAClC,iBAAiB,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;oBACtC,CAAC,OAAO,cAAc,CAAC,KAAK,KAAK,SAAS;wBACxC,iBAAiB,CAAC,IAAI,KAAK,SAAS,CAAC,CACxC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,IAAI,YAAY,CAAC,iBAAiB,EAAE,cAAc,CAAC,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/C,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,iBAAiB,CAAC,IAAI;oBAC9C,YAAY,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAChD,CAAC;YACJ,CAAC;YACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7C,OAAO,sBAAsB,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa;gBACjD,iBAAiB,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EACpD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,cAAc,CAAC,WAAW,EAC1B,iBAAiB,CAAC,WAAW,EAC7B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,MAAM,sBAAsB,GAAG,uBAAuB,CACpD,cAAc,EACd,OAAO,CACR,CAAC;QACF,MAAM,yBAAyB,GAAG,uBAAuB,CACvD,iBAAiB,EACjB,OAAO,CACR,CAAC;QACF,IAAI,sBAAsB,IAAI,yBAAyB,EAAE,CAAC;YACxD,IACE,sBAAsB,CAAC,IAAI,KAAK,aAAa;gBAC7C,yBAAyB,CAAC,IAAI,KAAK,aAAa,EAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,sBAAsB,CAC3B,sBAAsB,EACtB,yBAAyB,EACzB,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,WAAW;YACnC,iBAAiB,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,IACE,cAAc,CAAC,YAAY,CAAC,MAAM;gBAClC,iBAAiB,CAAC,YAAY,CAAC,MAAM,EACrC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,cAAc,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;gBAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK;oBACV,CAAC,CAAC,sBAAsB,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,CAAC;oBACzD,CAAC,CAAC,KAAK,CAAC;YACZ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,cAAc;YACtC,iBAAiB,CAAC,IAAI,KAAK,cAAc,EACzC,CAAC;YACD,IACE,cAAc,CAAC,UAAU,CAAC,MAAM,KAAK,iBAAiB,CAAC,UAAU,CAAC,MAAM,EACxE,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EACxC,KAAK,IAAI,CAAC,EACV,CAAC;gBACD,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,cAAc,GAAG,iBAAiB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,CAAC,WAAW,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpC,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBAC9C,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IACE,CAAC,sBAAsB,CACrB,WAAW,CAAC,IAAI,EAChB,cAAc,CAAC,IAAI,EACnB,WAAW,CACZ,EACD,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,sBAAsB,CAC3B,cAAc,CAAC,UAAU,EACzB,iBAAiB,CAAC,UAAU,EAC5B,WAAW,CACZ,CAAC;QACJ,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;YACvC,iBAAiB,CAAC,IAAI,KAAK,eAAe,EAC1C,CAAC;YACD,IACE,sCAAsC,CACpC,cAAc,EACd,iBAAiB,CAClB,EACD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IACE,kCAAkC,CAChC,cAAc,EACd,iBAAiB,EACjB,OAAO,CACR,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAAc,EACd,SAAiB,EACjB,OAAuB,EACd,EAAE;IACX,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG;QACd,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,MAAM,CAAC;KAC0C,CAAC;IAC5D,OAAO,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC,CAAC"}