@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-references.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/anonymous-type-lowering-regressions-cases/structural-references.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,4BAA4B,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAOhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE,QAAQ,CAAC,qEAAqE,EAAE,GAAG,EAAE;IACnF,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,UAAU,GAAG;YACjB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE;gBACN,QAAQ,EAAE,aAAa;gBACvB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,aAAa;aACvB;YACD,iBAAiB,EAAE,EAAE;SACQ,CAAC;QAEhC,MAAM,cAAc,GAAG;YACrB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;SAIV,CAAC;QAEF,MAAM,eAAe,GAAG;YACtB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc;SAClB,CAAC;QAGV,UAGD,CAAC,iBAAiB,GAAG;YACpB;gBACE,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,KAAK;gBACX,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,WAAW;wBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE;wBACxD,IAAI,EAAE,cAAc;wBACpB,WAAW,EAAE,SAAS;wBACtB,UAAU,EAAE,KAAK;wBACjB,MAAM,EAAE,IAAI;wBACZ,OAAO,EAAE,OAAO;qBACjB;iBACF;gBACD,UAAU,EAAE,UAAU;aACvB;SACF,CAAC;QAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;QAEvD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,QAAQ;YAClB,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,WAAW,EAAE;gCACX,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE,EAAE;gCACd,YAAY,EAAE;oCACZ,IAAI,EAAE,YAAY;oCAClB,OAAO,EAAE;wCACP;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,OAAO;4CACb,IAAI,EAAE,UAAU;4CAChB,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;wCACD;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,UAAU;4CAChB,IAAI,EAAE,cAAuB;4CAC7B,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;qCACF;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACtE,KAAK,CACN,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;SACpB,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,QAAQ;YAClB,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,SAAS;iBACtB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,WAAW,EAAE;gCACX,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE,EAAE;gCACd,YAAY,EAAE;oCACZ,IAAI,EAAE,YAAY;oCAClB,OAAO,EAAE;wCACP;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,OAAO;4CACb,IAAI,EAAE,eAAe;4CACrB,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;wCACD;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,MAAM;4CACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4CAC/C,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;qCACF;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACtE,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;SACpB,CAAC;QAEF,MAAM,OAAO,GAAa;YACxB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,gBAAgB;YAC1B,SAAS,EAAE,kBAAkB;YAC7B,SAAS,EAAE,mBAAmB;YAC9B,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,SAAS;iBACtB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,WAAW,EAAE;gCACX,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE,EAAE;gCACd,YAAY,EAAE;oCACZ,IAAI,EAAE,YAAY;oCAClB,OAAO,EAAE;wCACP;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,OAAO;4CACb,IAAI,EAAE,eAAe;4CACrB,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;qCACF;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAa;YACxB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,UAAU;YACpB,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,EAAE;SACT,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACtE,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;QAC3G,MAAM,eAAe,GAAG;YACtB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,kBAAkB;aAC5B;YACD,iBAAiB,EAAE,EAAE;SACQ,CAAC;QAEhC,MAAM,eAAe,GAAG;YACtB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,kBAAkB;aAC5B;YACD,iBAAiB,EAAE,EAAE;SACQ,CAAC;QAEhC,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,eAAe;SAC7B,CAAC;QAGA,eAGD,CAAC,iBAAiB,GAAG;YACpB;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;QAGA,eAGD,CAAC,iBAAiB,GAAG;YACpB;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;YACD;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;4BACjD,WAAW,EAAE;gCACX,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE,EAAE;gCACd,YAAY,EAAE;oCACZ,IAAI,EAAE,YAAY;oCAClB,OAAO,EAAE;wCACP;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,MAAM;4CACZ,IAAI,EAAE,eAAe;4CACrB,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;wCACD;4CACE,IAAI,EAAE,mBAAmB;4CACzB,IAAI,EAAE,MAAM;4CACZ,IAAI,EAAE,eAAe;4CACrB,UAAU,EAAE,KAAK;4CACjB,UAAU,EAAE,KAAK;yCAClB;qCACF;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,eAAe,GAAW;YAC9B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC/C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,QAAQ;YAClB,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,aAAa;oBACnB,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;iBAChB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,iBAAiB;oBACvB,cAAc,EAAE,SAAS;oBACzB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,eAAe;4BACrB,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CACvC,CAAC;QACF,MAAM,YAAY,GAAG,aAAa,EAAE,IAAI,CAAC,IAAI,CAC3C,CAAC,IAAI,EAAiE,EAAE,CACtE,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,CACzE,CAAC;QACF,MAAM,aAAa,GAAG,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAExD,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACtD,IAAI,aAAa,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACnD,eAAe,CAAC,OAAO,CACxB,CAAC;QACF,MAAM,CACJ,OAAO,CAAC,OAAO,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,wCAAwC,CACvE,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oBAChD,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,OAAO;YACjB,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,IAAI;YACf,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,cAAc;oBACpB,cAAc,EAAE,SAAS;oBACzB,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,WAAW;4BACjB,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oCAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iCAC7C;6BACF;4BACD,WAAW,EAAE,SAAS;4BACtB,kBAAkB,EAAE,IAAI;4BACxB,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;4BACvB,UAAU,EAAE,KAAK;yBAClB;wBACD;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oCACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iCAC7C;6BACF;4BACD,WAAW,EAAE,SAAS;4BACtB,kBAAkB,EAAE,IAAI;4BACxB,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;4BACvB,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;iBAChB;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,SAAS;oBACzB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;4BACpD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;4BACvD,IAAI,EAAE,gBAAgB;4BACtB,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CACtC,CAAC;QACF,MAAM,YAAY,GAAG,aAAa,EAAE,IAAI,CAAC,IAAI,CAC3C,CAAC,IAAI,EAAiE,EAAE,CACtE,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CACnE,CAAC;QACF,MAAM,aAAa,GAAG,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAExD,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACtD,IAAI,aAAa,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,CACJ,OAAO,CAAC,OAAO,CAAC,IAAI,CAClB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,wCAAwC,CACvE,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oBAChD,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC;YAC9D,IAAI,EAAE,kBAA2B;YACjC,IAAI;YACJ,cAAc,EAAE,SAAS;YACzB,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,qBAA8B;oBACpC,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAoB;wBAC1B,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,SAAS,EAAE;4BACnD,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAW,EAAE;yBACtD;qBACF;oBACD,WAAW,EAAE,SAAS;oBACtB,kBAAkB,EAAE,IAAI;oBACxB,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,KAAK;oBACjB,aAAa,EAAE,QAAiB;oBAChC,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,qBAA8B;oBACpC,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAoB;wBAC1B,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAK,EAAE;4BAC/C,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAW,EAAE;yBACtD;qBACF;oBACD,WAAW,EAAE,SAAS;oBACtB,kBAAkB,EAAE,IAAI;oBACxB,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,KAAK;oBACjB,aAAa,EAAE,QAAiB;oBAChC,UAAU,EAAE,KAAK;iBAClB;aACF;YACD,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,OAAO;YACjB,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,IAAI;YACf,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ,gBAAgB,CAAC,qBAAqB,CAAC;gBACvC,gBAAgB,CAAC,cAAc,CAAC;gBAChC;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,WAAW;oBACjB,cAAc,EAAE,SAAS;oBACzB,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;4BACpD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;4BACvD,IAAI,EAAE,gBAAgB;4BACtB,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;SACF,CAAC;QAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CACtC,CAAC;QACF,MAAM,YAAY,GAAG,aAAa,EAAE,IAAI,CAAC,IAAI,CAC3C,CAAC,IAAI,EAAiE,EAAE,CACtE,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CACnE,CAAC;QACF,MAAM,aAAa,GAAG,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAExD,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACtD,IAAI,aAAa,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACxD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QACF,MAAM,sBAAsB,GAAW;YACrC,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE;wBACJ,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,qBAAqB,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnD,qBAAqB,CAAC,sBAAsB,CAAC,CAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACrE,MAAM,WAAW,GAAW;YAC1B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,aAAa;oBACnB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,aAAa;oBACnB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QACF,MAAM,aAAa,GAAW;YAC5B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oBAC5C,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF;SACF,CAAC;QAEF,MAAM,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACjD,qBAAqB,CAAC,aAAa,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.d.ts

@@ -0,0 +1,4 @@
+export declare const createTestModule: (source: string) => import("../soundness-gate-shared.js").IrModule;
+export declare const hasArrayInferredObjectElementType: (value: unknown) => boolean;
+export declare const hasNonEmptyObjectTypeInExpressionMetadata: (value: unknown) => boolean;
+//# sourceMappingURL=test-helpers.d.ts.map

package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,mDAoD9C,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAAI,OAAO,OAAO,KAAG,OAmBlE,CAAC;AAEF,eAAO,MAAM,yCAAyC,GACpD,OAAO,OAAO,KACb,OA2BF,CAAC"}

package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.js

@@ -0,0 +1,85 @@
+/* eslint-disable @typescript-eslint/explicit-module-boundary-types */
+import * as ts from "typescript";
+import { buildIrModule } from "../../builder.js";
+import { createProgramContext } from "../../program-context.js";
+import { DotnetMetadataRegistry } from "../../../dotnet-metadata.js";
+import { BindingRegistry } from "../../../program/bindings.js";
+import { createClrBindingsResolver } from "../../../resolver/clr-bindings-resolver.js";
+import { createBinding } from "../../binding/index.js";
+export const createTestModule = (source) => {
+    const fileName = "/test/input.ts";
+    const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+    const program = ts.createProgram([fileName], { target: ts.ScriptTarget.ES2022, module: ts.ModuleKind.ES2022 }, {
+        getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
+        writeFile: () => { },
+        getCurrentDirectory: () => "/test",
+        getDirectories: () => [],
+        fileExists: () => true,
+        readFile: () => source,
+        getCanonicalFileName: (f) => f,
+        useCaseSensitiveFileNames: () => true,
+        getNewLine: () => "\n",
+        getDefaultLibFileName: () => "lib.d.ts",
+    });
+    const checker = program.getTypeChecker();
+    const testProgram = {
+        program,
+        checker,
+        options: {
+            projectRoot: "/test",
+            sourceRoot: "/test",
+            rootNamespace: "TestApp",
+            strict: true,
+        },
+        sourceFiles: [sourceFile],
+        declarationSourceFiles: [],
+        metadata: new DotnetMetadataRegistry(),
+        bindings: new BindingRegistry(),
+        clrResolver: createClrBindingsResolver("/test"),
+        binding: createBinding(checker),
+    };
+    const options = { sourceRoot: "/test", rootNamespace: "TestApp" };
+    const ctx = createProgramContext(testProgram, options);
+    const irResult = buildIrModule(sourceFile, testProgram, options, ctx);
+    if (!irResult.ok) {
+        throw new Error(`IR build failed: ${irResult.error.message}`);
+    }
+    return irResult.value;
+};
+export const hasArrayInferredObjectElementType = (value) => {
+    if (!value || typeof value !== "object")
+        return false;
+    const record = value;
+    if (record.kind === "array" &&
+        record.inferredType &&
+        typeof record.inferredType === "object" &&
+        record.inferredType.kind === "arrayType") {
+        const elementType = record.inferredType.elementType;
+        if (elementType?.kind === "objectType")
+            return true;
+    }
+    return Object.values(record).some((entry) => hasArrayInferredObjectElementType(entry));
+};
+export const hasNonEmptyObjectTypeInExpressionMetadata = (value) => {
+    if (!value || typeof value !== "object")
+        return false;
+    const record = value;
+    const inferredType = record.inferredType;
+    if (inferredType &&
+        typeof inferredType === "object" &&
+        inferredType.kind === "objectType") {
+        const members = inferredType.members;
+        if (Array.isArray(members) && members.length > 0)
+            return true;
+    }
+    const contextualType = record.contextualType;
+    if (contextualType &&
+        typeof contextualType === "object" &&
+        contextualType.kind === "objectType") {
+        const members = contextualType.members;
+        if (Array.isArray(members) && members.length > 0)
+            return true;
+    }
+    return Object.values(record).some((entry) => hasNonEmptyObjectTypeInExpressionMetadata(entry));
+};
+//# sourceMappingURL=test-helpers.js.map

package/dist/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.js","sourceRoot":"","sources":["../../../../src/ir/validation/anonymous-type-lowering-regressions-cases/test-helpers.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,EAAE;IACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC;IAClC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,EAChE;QACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;QACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;QAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;QACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;QACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,qBAAqB,EAAE,GAAG,EAAE,CAAC,UAAU;KACxC,CACF,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,MAAM,WAAW,GAAG;QAClB,OAAO;QACP,OAAO;QACP,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,IAAI;SACb;QACD,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;QAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;KAChC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,KAAc,EAAW,EAAE;IAC3E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IACE,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,YAAY;QACnB,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;QACtC,MAAM,CAAC,YAAkC,CAAC,IAAI,KAAK,WAAW,EAC/D,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,YAGR,CAAC,WAAW,CAAC;QACd,IAAI,WAAW,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,iCAAiC,CAAC,KAAK,CAAC,CACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,CACvD,KAAc,EACL,EAAE;IACX,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAEhD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACzC,IACE,YAAY;QACZ,OAAO,YAAY,KAAK,QAAQ;QAC/B,YAAkC,CAAC,IAAI,KAAK,YAAY,EACzD,CAAC;QACD,MAAM,OAAO,GAAI,YAAwC,CAAC,OAAO,CAAC;QAClE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;IAC7C,IACE,cAAc;QACd,OAAO,cAAc,KAAK,QAAQ;QACjC,cAAoC,CAAC,IAAI,KAAK,YAAY,EAC3D,CAAC;QACD,MAAM,OAAO,GAAI,cAA0C,CAAC,OAAO,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,yCAAyC,CAAC,KAAK,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts

@@ -1,2 +1,4 @@
-export {};
+import "./anonymous-type-lowering-regressions-cases/basic-lowering.test.js";
+import "./anonymous-type-lowering-regressions-cases/cross-module-reuse.test.js";
+import "./anonymous-type-lowering-regressions-cases/structural-references.test.js";
 //# sourceMappingURL=anonymous-type-lowering-regressions.test.d.ts.map

package/dist/ir/validation/anonymous-type-lowering-regressions.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"anonymous-type-lowering-regressions.test.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-regressions.test.ts"],"names":[],"mappings":""}
+{"version":3,"file":"anonymous-type-lowering-regressions.test.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-regressions.test.ts"],"names":[],"mappings":"AAAA,OAAO,oEAAoE,CAAC;AAC5E,OAAO,wEAAwE,CAAC;AAChF,OAAO,2EAA2E,CAAC"}

package/dist/ir/validation/anonymous-type-lowering-regressions.test.js

@@ -1,121 +1,4 @@
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import * as ts from "typescript";
-import { buildIrModule } from "../builder.js";
-import { createProgramContext } from "../program-context.js";
-import { DotnetMetadataRegistry } from "../../dotnet-metadata.js";
-import { BindingRegistry } from "../../program/bindings.js";
-import { createClrBindingsResolver } from "../../resolver/clr-bindings-resolver.js";
-import { createBinding } from "../binding/index.js";
-import { runAnonymousTypeLoweringPass, validateIrSoundness } from "./index.js";
-const createTestModule = (source) => {
-    const fileName = "/test/input.ts";
-    const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
-    const program = ts.createProgram([fileName], { target: ts.ScriptTarget.ES2022, module: ts.ModuleKind.ES2022 }, {
-        getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
-        writeFile: () => { },
-        getCurrentDirectory: () => "/test",
-        getDirectories: () => [],
-        fileExists: () => true,
-        readFile: () => source,
-        getCanonicalFileName: (f) => f,
-        useCaseSensitiveFileNames: () => true,
-        getNewLine: () => "\n",
-        getDefaultLibFileName: () => "lib.d.ts",
-    });
-    const checker = program.getTypeChecker();
-    const testProgram = {
-        program,
-        checker,
-        options: {
-            projectRoot: "/test",
-            sourceRoot: "/test",
-            rootNamespace: "TestApp",
-            strict: true,
-        },
-        sourceFiles: [sourceFile],
-        declarationSourceFiles: [],
-        metadata: new DotnetMetadataRegistry(),
-        bindings: new BindingRegistry(),
-        clrResolver: createClrBindingsResolver("/test"),
-        binding: createBinding(checker),
-    };
-    const options = { sourceRoot: "/test", rootNamespace: "TestApp" };
-    const ctx = createProgramContext(testProgram, options);
-    const irResult = buildIrModule(sourceFile, testProgram, options, ctx);
-    if (!irResult.ok) {
-        throw new Error(`IR build failed: ${irResult.error.message}`);
-    }
-    return irResult.value;
-};
-const hasArrayInferredObjectElementType = (value) => {
-    if (!value || typeof value !== "object")
-        return false;
-    const record = value;
-    if (record.kind === "array" &&
-        record.inferredType &&
-        typeof record.inferredType === "object" &&
-        record.inferredType.kind === "arrayType") {
-        const elementType = record.inferredType.elementType;
-        if (elementType?.kind === "objectType")
-            return true;
-    }
-    return Object.values(record).some((entry) => hasArrayInferredObjectElementType(entry));
-};
-const hasNonEmptyObjectTypeInExpressionMetadata = (value) => {
-    if (!value || typeof value !== "object")
-        return false;
-    const record = value;
-    const inferredType = record.inferredType;
-    if (inferredType &&
-        typeof inferredType === "object" &&
-        inferredType.kind === "objectType") {
-        const members = inferredType.members;
-        if (Array.isArray(members) && members.length > 0)
-            return true;
-    }
-    const contextualType = record.contextualType;
-    if (contextualType &&
-        typeof contextualType === "object" &&
-        contextualType.kind === "objectType") {
-        const members = contextualType.members;
-        if (Array.isArray(members) && members.length > 0)
-            return true;
-    }
-    return Object.values(record).some((entry) => hasNonEmptyObjectTypeInExpressionMetadata(entry));
-};
-describe("Anonymous Type Lowering Regression Coverage", () => {
-    it("lowers array inferredType metadata for contextual empty arrays", () => {
-        const module = createTestModule(`
-      export function collect(
-        map: Record<string, { clientName: string; status: string; timestamp: number }[]>,
-        id: string
-      ): Record<string, { clientName: string; status: string; timestamp: number }[]> {
-        if (map[id] === undefined) {
-          map[id] = [];
-        }
-        return map;
-      }
-    `);
-        const lowered = runAnonymousTypeLoweringPass([module]);
-        const soundness = validateIrSoundness(lowered.modules);
-        expect(soundness.diagnostics.some((d) => d.code === "TSN7421")).to.equal(false);
-        expect(hasArrayInferredObjectElementType(lowered.modules)).to.equal(false);
-    });
-    it("lowers call/member inferred metadata object shapes to synthetic references", () => {
-        const module = createTestModule(`
-      const makePayload = () => ({ ok: true, code: 200 });
-
-      export function readCode(): number {
-        const result = makePayload();
-        const code = makePayload().code;
-        return result.code + code;
-      }
-    `);
-        const lowered = runAnonymousTypeLoweringPass([module]);
-        const soundness = validateIrSoundness(lowered.modules);
-        expect(soundness.diagnostics.some((d) => d.code === "TSN7421")).to.equal(false);
-        expect(hasNonEmptyObjectTypeInExpressionMetadata(lowered.modules)).to.equal(false);
-    });
-});
+import "./anonymous-type-lowering-regressions-cases/basic-lowering.test.js";
+import "./anonymous-type-lowering-regressions-cases/cross-module-reuse.test.js";
+import "./anonymous-type-lowering-regressions-cases/structural-references.test.js";
 //# sourceMappingURL=anonymous-type-lowering-regressions.test.js.map

package/dist/ir/validation/anonymous-type-lowering-regressions.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"anonymous-type-lowering-regressions.test.js","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-regressions.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAE/E,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,EAAE;IAC1C,MAAM,QAAQ,GAAG,gBAAgB,CAAC;IAClC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,EAChE;QACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;QACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;QAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;QACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;QACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;QACtB,qBAAqB,EAAE,GAAG,EAAE,CAAC,UAAU;KACxC,CACF,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,MAAM,WAAW,GAAG;QAClB,OAAO;QACP,OAAO;QACP,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;YACxB,MAAM,EAAE,IAAI;SACb;QACD,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;QAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;KAChC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CAAC,KAAc,EAAW,EAAE;IACpE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IACE,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,YAAY;QACnB,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;QACtC,MAAM,CAAC,YAAkC,CAAC,IAAI,KAAK,WAAW,EAC/D,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,YAGR,CAAC,WAAW,CAAC;QACd,IAAI,WAAW,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,iCAAiC,CAAC,KAAK,CAAC,CACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAAC,KAAc,EAAW,EAAE;IAC5E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAEhD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACzC,IACE,YAAY;QACZ,OAAO,YAAY,KAAK,QAAQ;QAC/B,YAAkC,CAAC,IAAI,KAAK,YAAY,EACzD,CAAC;QACD,MAAM,OAAO,GAAI,YAAwC,CAAC,OAAO,CAAC;QAClE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;IAC7C,IACE,cAAc;QACd,OAAO,cAAc,KAAK,QAAQ;QACjC,cAAoC,CAAC,IAAI,KAAK,YAAY,EAC3D,CAAC;QACD,MAAM,OAAO,GAAI,cAA0C,CAAC,OAAO,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAChE,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,yCAAyC,CAAC,KAAK,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,gBAAgB,CAAC;;;;;;;;;;KAU/B,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACtE,KAAK,CACN,CAAC;QAEF,MAAM,CAAC,iCAAiC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,MAAM,GAAG,gBAAgB,CAAC;;;;;;;;KAQ/B,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvD,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACtE,KAAK,CACN,CAAC;QACF,MAAM,CAAC,yCAAyC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACzE,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"anonymous-type-lowering-regressions.test.js","sourceRoot":"","sources":["../../../src/ir/validation/anonymous-type-lowering-regressions.test.ts"],"names":[],"mappings":"AAAA,OAAO,oEAAoE,CAAC;AAC5E,OAAO,wEAAwE,CAAC;AAChF,OAAO,2EAA2E,CAAC"}

package/dist/ir/validation/arrow-return-expression-walk.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Arrow Return Finalization — Expression Walkers
+ *
+ * Expression-level recursive walkers for the arrow return finalization pass.
+ * Handles arrow function return type inference from body expression's
+ * inferredType, plus all other expression kinds.
+ */
+import { IrExpression } from "../types.js";
+/**
+ * Process an expression, handling arrow functions specially
+ */
+export declare const processExpression: (expr: IrExpression) => IrExpression;
+//# sourceMappingURL=arrow-return-expression-walk.d.ts.map

package/dist/ir/validation/arrow-return-expression-walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrow-return-expression-walk.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-expression-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,YAAY,EAIb,MAAM,aAAa,CAAC;AAIrB;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,YAiLtD,CAAC"}

package/dist/ir/validation/arrow-return-expression-walk.js

@@ -0,0 +1,224 @@
+/**
+ * Arrow Return Finalization — Expression Walkers
+ *
+ * Expression-level recursive walkers for the arrow return finalization pass.
+ * Handles arrow function return type inference from body expression's
+ * inferredType, plus all other expression kinds.
+ */
+import { processBlockStatement } from "./arrow-return-statement-walk.js";
+/**
+ * Process an expression, handling arrow functions specially
+ */
+export const processExpression = (expr) => {
+    switch (expr.kind) {
+        case "arrowFunction":
+            return processArrowFunction(expr);
+        case "functionExpression":
+            return processFunctionExpression(expr);
+        case "array":
+            return {
+                ...expr,
+                elements: expr.elements.map((el) => el === undefined ? undefined : processExpression(el)),
+            };
+        case "object":
+            return {
+                ...expr,
+                properties: expr.properties.map((prop) => {
+                    if (prop.kind === "spread") {
+                        return {
+                            ...prop,
+                            expression: processExpression(prop.expression),
+                        };
+                    }
+                    return {
+                        ...prop,
+                        key: typeof prop.key === "string"
+                            ? prop.key
+                            : processExpression(prop.key),
+                        value: processExpression(prop.value),
+                    };
+                }),
+            };
+        case "call":
+            return {
+                ...expr,
+                callee: processExpression(expr.callee),
+                arguments: expr.arguments.map((arg) => arg.kind === "spread"
+                    ? { ...arg, expression: processExpression(arg.expression) }
+                    : processExpression(arg)),
+                dynamicImportNamespace: expr.dynamicImportNamespace
+                    ? processExpression(expr.dynamicImportNamespace)
+                    : undefined,
+            };
+        case "new":
+            return {
+                ...expr,
+                callee: processExpression(expr.callee),
+                arguments: expr.arguments.map((arg) => arg.kind === "spread"
+                    ? { ...arg, expression: processExpression(arg.expression) }
+                    : processExpression(arg)),
+            };
+        case "memberAccess":
+            return {
+                ...expr,
+                object: processExpression(expr.object),
+                property: typeof expr.property === "string"
+                    ? expr.property
+                    : processExpression(expr.property),
+            };
+        case "binary":
+            return {
+                ...expr,
+                left: processExpression(expr.left),
+                right: processExpression(expr.right),
+            };
+        case "logical":
+            return {
+                ...expr,
+                left: processExpression(expr.left),
+                right: processExpression(expr.right),
+            };
+        case "unary":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "update":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "conditional":
+            return {
+                ...expr,
+                condition: processExpression(expr.condition),
+                whenTrue: processExpression(expr.whenTrue),
+                whenFalse: processExpression(expr.whenFalse),
+            };
+        case "assignment":
+            return {
+                ...expr,
+                left: "kind" in expr.left && expr.left.kind !== undefined
+                    ? processExpression(expr.left)
+                    : expr.left,
+                right: processExpression(expr.right),
+            };
+        case "templateLiteral":
+            return {
+                ...expr,
+                expressions: expr.expressions.map(processExpression),
+            };
+        case "spread":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "await":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "yield":
+            return {
+                ...expr,
+                expression: expr.expression
+                    ? processExpression(expr.expression)
+                    : undefined,
+            };
+        case "numericNarrowing":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "typeAssertion":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "trycast":
+            return {
+                ...expr,
+                expression: processExpression(expr.expression),
+            };
+        case "stackalloc":
+            return {
+                ...expr,
+                size: processExpression(expr.size),
+            };
+        // Leaf expressions - no recursion needed
+        case "literal":
+        case "identifier":
+        case "this":
+            return expr;
+        default:
+            return expr;
+    }
+};
+/**
+ * Process arrow function - finalize return type from body if needed
+ */
+const processArrowFunction = (expr) => {
+    // Process nested expressions in parameters (default values)
+    const processedParams = expr.parameters.map(processParameter);
+    // Process the body
+    const processedBody = expr.body.kind === "blockStatement"
+        ? processBlockStatement(expr.body)
+        : processExpression(expr.body);
+    // If returnType is already set (explicit annotation), keep it
+    if (expr.returnType !== undefined) {
+        return {
+            ...expr,
+            parameters: processedParams,
+            body: processedBody,
+        };
+    }
+    // For expression-bodied arrows without explicit return type,
+    // infer return type from body's inferredType
+    if (processedBody.kind !== "blockStatement") {
+        // Prefer the arrow's own inferred function signature when available.
+        //
+        // This is critical for airplane-grade correctness:
+        // - The anonymous-type lowering pass runs before this pass and *does* lower
+        //   `arrow.inferredType.returnType` (when inferredType is a functionType).
+        // - Expression `inferredType` fields (including object literals) are intentionally
+        //   not lowered/validated globally, so using `body.inferredType` here can
+        //   reintroduce IrObjectType into a type position and crash the emitter.
+        const inferredReturnType = expr.inferredType?.kind === "functionType"
+            ? expr.inferredType.returnType
+            : processedBody.inferredType;
+        if (inferredReturnType !== undefined) {
+            return {
+                ...expr,
+                parameters: processedParams,
+                body: processedBody,
+                returnType: inferredReturnType,
+            };
+        }
+    }
+    // Block-bodied arrows without explicit return type:
+    // The escape hatch validation (TSN7430) should have caught this.
+    // If we reach here, just return the processed arrow without returnType.
+    return {
+        ...expr,
+        parameters: processedParams,
+        body: processedBody,
+    };
+};
+/**
+ * Process function expression
+ */
+const processFunctionExpression = (expr) => ({
+    ...expr,
+    parameters: expr.parameters.map(processParameter),
+    body: processBlockStatement(expr.body),
+});
+/**
+ * Process a parameter (handle default values)
+ */
+const processParameter = (param) => ({
+    ...param,
+    initializer: param.initializer
+        ? processExpression(param.initializer)
+        : undefined,
+});
+//# sourceMappingURL=arrow-return-expression-walk.js.map

package/dist/ir/validation/arrow-return-expression-walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrow-return-expression-walk.js","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-expression-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAgB,EAAE;IACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAEpC,KAAK,oBAAoB;YACvB,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAEzC,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACjC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,CACrD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC3B,OAAO;4BACL,GAAG,IAAI;4BACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;yBAC/C,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,IAAI;wBACP,GAAG,EACD,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;4BAC1B,CAAC,CAAC,IAAI,CAAC,GAAG;4BACV,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;wBACjC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;qBACrC,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;gBACD,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;oBACjD,CAAC,CAAE,iBAAiB,CAChB,IAAI,CAAC,sBAAsB,CACW;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;aACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;aACvC,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC1C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;aAC7C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBACjD,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAoB,CAAC;oBAC9C,CAAC,CAAC,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC;aACrD,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;aACnC,CAAC;QAEJ,yCAAyC;QACzC,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAA+B,EACJ,EAAE;IAC7B,4DAA4D;IAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAE9D,mBAAmB;IACnB,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QACjC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEnC,8DAA8D;IAC9D,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EAAE,eAAe;YAC3B,IAAI,EAAE,aAAa;SACpB,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,6CAA6C;IAC7C,IAAI,aAAa,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC5C,qEAAqE;QACrE,EAAE;QACF,mDAAmD;QACnD,4EAA4E;QAC5E,2EAA2E;QAC3E,mFAAmF;QACnF,0EAA0E;QAC1E,yEAAyE;QACzE,MAAM,kBAAkB,GACtB,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;YACxC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU;YAC9B,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC;QAEjC,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe;gBAC3B,IAAI,EAAE,aAAa;gBACnB,UAAU,EAAE,kBAAkB;aAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,iEAAiE;IACjE,wEAAwE;IACxE,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,eAAe;QAC3B,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAA0B,EACJ,EAAE,CAAC,CAAC;IAC1B,GAAG,IAAI;IACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACjD,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;CACvC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC7D,GAAG,KAAK;IACR,WAAW,EAAE,KAAK,CAAC,WAAW;QAC5B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;QACtC,CAAC,CAAC,SAAS;CACd,CAAC,CAAC"}

package/dist/ir/validation/arrow-return-finalization-pass.d.ts

@@ -7,22 +7,8 @@
  * This pass runs AFTER numeric proof pass, so that the body expression's
  * inferredType has been finalized with proper numeric kinds.
  *
- * Example:
- *   xs.map(x => x + 1)
- *   - x is inferred as number from contextual type
- *   - x + 1 has inferredType: primitiveType("number")
- *   - Arrow's returnType is set to primitiveType("number")
+ * FACADE: re-exports from arrow-return-statement-walk and arrow-return-expression-walk.
  */
-import { IrModule } from "../types.js";
-/**
- * Result of arrow return finalization pass
- */
-export type ArrowReturnFinalizationResult = {
-    readonly ok: true;
-    readonly modules: readonly IrModule[];
-};
-/**
- * Run arrow return finalization pass on modules
- */
-export declare const runArrowReturnFinalizationPass: (modules: readonly IrModule[]) => ArrowReturnFinalizationResult;
+export type { ArrowReturnFinalizationResult } from "./arrow-return-statement-walk.js";
+export { runArrowReturnFinalizationPass } from "./arrow-return-statement-walk.js";
 //# sourceMappingURL=arrow-return-finalization-pass.d.ts.map

package/dist/ir/validation/arrow-return-finalization-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arrow-return-finalization-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-finalization-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,QAAQ,EAAE,KAC3B,6BAGF,CAAC"}
+{"version":3,"file":"arrow-return-finalization-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-finalization-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAEtF,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC"}