@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/expressions/calls/call-site-analysis-argument-passing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-argument-passing.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-argument-passing.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAInE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAmB,EAInB,EAAE;IACF,2CAA2C;IAC3C,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAEtE,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;IACrC,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACzD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,yDAAyD;IACzD,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAExC,MAAM,QAAQ,GACZ,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAsB,CAAC;IACpD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAA6D,EAC7D,SAAuD,EACvD,QAAgB,EAChB,GAAmB,EACnB,IAA0C,EACe,EAAE;IAC3D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC5D,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,OAAO,GACX,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC5B,8EAA8E;QAC9E,kFAAkF;QAClF,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAChD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,QAAQ,kDAAkD,QAAQ,iBAAiB,CAAC,IAAI,EACvH,aAAa,CAAC,IAAI,CAAC,EACnB,sFAAsF,CACvF,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;IACxB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA0C,EAC1C,GAAmB,EACsC,EAAE;IAC3D,qBAAqB;IACrB,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAElC,+CAA+C;IAC/C,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACxC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,sDAAsD;IACtD,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;QACtC,KAAK;QACL,aAAa,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM;YACvB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC;KAClC,CAAC,CAAC;IAEH,yEAAyE;IACzE,OAAO,QAAQ,CAAC,cAAc,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4CAA4C,GAAG,CAC1D,SAGG,EACH,QAAgB,EACyC,EAAE;IAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,MAA4C,EAC5C,QAAgB,EAChB,GAAmB,EACnB,cAA2D,EAC3D,QAAqD,EACI,EAAE;IAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAE9E,uFAAuF;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC;IAC3D,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,4CAA4C,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,kDAAkD;IAClD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,qBAAqB,CACrD,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,CACf,CAAC;IACF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEjE,MAAM,UAAU,GACd,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,SAAS,GAAG,UAAU;QAC1B,CAAC,CAAC,YAAY,CAAC,MAAM,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CACvD;QACH,CAAC,CAAC,YAAY,CAAC;IACjB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,MAAM,UAAU,GAAG,cAAc,IAAI,QAAQ,CAAC;IAC9C,MAAM,aAAa,GAAG,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAE5E,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAY,EAAE;QACvD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,EAAE,CAAC;QAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5B,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAAC,GAAuB,EAAqB,EAAE;QACzE,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC;QACpB,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC1B,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE;QACxD,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,OAAO,IAAI,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpE,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,SAAS,CAAC;YACnB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,QAAQ,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,OAAO,CAAC;YACjB,KAAK,OAAO;gBACV,OAAO,QAAQ,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,QAAQ,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,CAAS,EAAqB,EAAE;QACzD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACjE,OAAO;oBACL,MAAM;yBACH,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;yBAC1B,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;yBAClB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;iBAC3B,CAAC;YACJ,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,KAAK,CAAC,IAAI,CACf,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CACtD,CAAC;YACJ,KAAK,kBAAkB;gBACrB,OAAO,KAAK,CAAC,IAAI,CACf,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CACtD,CAAC;YACJ;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,CAAgB,EAAU,EAAE;QAChD,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,IAAI,CAAC;aACb,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;aAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,CAAgB,EAAU,EAAE;QAClD,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC;QAC7B,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEzC,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;YAElD,IAAI,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,KAAK,IAAI,EAAE,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,yFAAyF;IACzF,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtD,OAAO,CAAC,CAAC,cAAc,IAAI,QAAQ,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;IACzC,IAAI,IAAI,GAAoB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;YACtB,SAAS,GAAG,KAAK,CAAC;YAClB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAExC,yEAAyE;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,kBAAkB,CAAC;IAC5C,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,4CAA4C,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC,CAAC"}

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Call-site analysis — Type template unification & substitution
+ *
+ * Type template unification, expected-return derivation, and type parameter
+ * substitution for call/new expression converters. Split from
+ * call-site-analysis.ts for file-size compliance.
+ */
+import { IrType } from "../../../types.js";
+export type CallSiteArgModifier = "ref" | "out" | "in";
+export declare const unifyTypeTemplate: (template: IrType, actual: IrType, substitutions: Map<string, IrType>) => boolean;
+export declare const deriveSubstitutionsFromExpectedReturn: (returnTemplate: IrType | undefined, expectedCandidates: readonly IrType[] | undefined) => Map<string, IrType> | undefined;
+export declare const substituteTypeParameters: (type: IrType | undefined, substitutions: ReadonlyMap<string, IrType>) => IrType | undefined;
+//# sourceMappingURL=call-site-analysis-unification.d.ts.map

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-unification.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-unification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAM3C,MAAM,MAAM,mBAAmB,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAEvD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,EAChB,QAAQ,MAAM,EACd,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAuKF,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,gBAAgB,MAAM,GAAG,SAAS,EAClC,oBAAoB,SAAS,MAAM,EAAE,GAAG,SAAS,KAChD,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAqBxB,CAAC;AAQF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,EACxB,eAAe,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACzC,MAAM,GAAG,SAuFX,CAAC"}

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.js

@@ -0,0 +1,251 @@
+/**
+ * Call-site analysis — Type template unification & substitution
+ *
+ * Type template unification, expected-return derivation, and type parameter
+ * substitution for call/new expression converters. Split from
+ * call-site-analysis.ts for file-size compliance.
+ */
+import { irTypesEqual, referenceTypeIdentity, } from "../../../types/type-ops.js";
+export const unifyTypeTemplate = (template, actual, substitutions) => {
+    if (actual.kind === "unionType") {
+        const nonNullishMembers = actual.types.filter((candidate) => candidate !== undefined &&
+            !(candidate.kind === "primitiveType" &&
+                (candidate.name === "null" || candidate.name === "undefined")));
+        const nullishMembers = actual.types.filter((candidate) => candidate !== undefined &&
+            candidate.kind === "primitiveType" &&
+            (candidate.name === "null" || candidate.name === "undefined"));
+        if (nonNullishMembers.length === 1 &&
+            nonNullishMembers.length + nullishMembers.length === actual.types.length) {
+            const onlyNonNullishMember = nonNullishMembers[0];
+            if (onlyNonNullishMember) {
+                return unifyTypeTemplate(template, onlyNonNullishMember, substitutions);
+            }
+        }
+    }
+    if (template.kind === "typeParameterType") {
+        const existing = substitutions.get(template.name);
+        if (!existing) {
+            substitutions.set(template.name, actual);
+            return true;
+        }
+        return irTypesEqual(existing, actual);
+    }
+    if (template.kind !== actual.kind)
+        return false;
+    switch (template.kind) {
+        case "primitiveType":
+            return template.name === actual.name;
+        case "literalType":
+            return template.value === actual.value;
+        case "voidType":
+        case "unknownType":
+        case "anyType":
+        case "neverType":
+            return true;
+        case "arrayType":
+            return unifyTypeTemplate(template.elementType, actual.elementType, substitutions);
+        case "tupleType": {
+            const rhs = actual;
+            if (template.elementTypes.length !== rhs.elementTypes.length)
+                return false;
+            return template.elementTypes.every((t, i) => {
+                const other = rhs.elementTypes[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "dictionaryType":
+            return (unifyTypeTemplate(template.keyType, actual.keyType, substitutions) &&
+                unifyTypeTemplate(template.valueType, actual.valueType, substitutions));
+        case "referenceType": {
+            const rhs = actual;
+            const templateIdentity = referenceTypeIdentity(template);
+            const rhsIdentity = referenceTypeIdentity(rhs);
+            if (templateIdentity === undefined ||
+                rhsIdentity === undefined ||
+                templateIdentity !== rhsIdentity)
+                return false;
+            const templateArgs = template.typeArguments ?? [];
+            const actualArgs = rhs.typeArguments ?? [];
+            if (templateArgs.length !== actualArgs.length)
+                return false;
+            return templateArgs.every((t, i) => {
+                const other = actualArgs[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "unionType":
+        case "intersectionType": {
+            const rhs = actual;
+            if (template.types.length !== rhs.types.length)
+                return false;
+            return template.types.every((t, i) => {
+                const other = rhs.types[i];
+                return other ? unifyTypeTemplate(t, other, substitutions) : false;
+            });
+        }
+        case "functionType": {
+            const rhs = actual;
+            if (template.parameters.length !== rhs.parameters.length)
+                return false;
+            const paramsMatch = template.parameters.every((p, i) => {
+                const other = rhs.parameters[i];
+                if (!other ||
+                    p.isRest !== other.isRest ||
+                    p.isOptional !== other.isOptional)
+                    return false;
+                if (!p.type || !other.type)
+                    return p.type === other.type;
+                return unifyTypeTemplate(p.type, other.type, substitutions);
+            });
+            return (paramsMatch &&
+                unifyTypeTemplate(template.returnType, rhs.returnType, substitutions));
+        }
+        case "objectType": {
+            const rhs = actual;
+            if (template.members.length !== rhs.members.length)
+                return false;
+            return template.members.every((m, i) => {
+                const other = rhs.members[i];
+                if (!other || m.kind !== other.kind || m.name !== other.name) {
+                    return false;
+                }
+                if (m.kind === "propertySignature") {
+                    return (other.kind === "propertySignature" &&
+                        m.isOptional === other.isOptional &&
+                        m.isReadonly === other.isReadonly &&
+                        unifyTypeTemplate(m.type, other.type, substitutions));
+                }
+                if (other.kind !== "methodSignature")
+                    return false;
+                if ((m.typeParameters?.length ?? 0) !==
+                    (other.typeParameters?.length ?? 0))
+                    return false;
+                if (m.parameters.length !== other.parameters.length)
+                    return false;
+                const paramsMatch = m.parameters.every((p, paramIndex) => {
+                    const otherParam = other.parameters[paramIndex];
+                    if (!otherParam)
+                        return false;
+                    if (p.isRest !== otherParam.isRest ||
+                        p.isOptional !== otherParam.isOptional ||
+                        p.passing !== otherParam.passing) {
+                        return false;
+                    }
+                    if (!p.type || !otherParam.type)
+                        return p.type === otherParam.type;
+                    return unifyTypeTemplate(p.type, otherParam.type, substitutions);
+                });
+                if (!paramsMatch)
+                    return false;
+                if (!m.returnType || !other.returnType) {
+                    return m.returnType === other.returnType;
+                }
+                return unifyTypeTemplate(m.returnType, other.returnType, substitutions);
+            });
+        }
+    }
+};
+export const deriveSubstitutionsFromExpectedReturn = (returnTemplate, expectedCandidates) => {
+    if (!returnTemplate ||
+        !expectedCandidates ||
+        expectedCandidates.length === 0) {
+        return undefined;
+    }
+    let matched;
+    for (const candidate of expectedCandidates) {
+        const attempt = new Map();
+        if (!unifyTypeTemplate(returnTemplate, candidate, attempt))
+            continue;
+        if (attempt.size === 0)
+            continue;
+        if (matched) {
+            return undefined;
+        }
+        matched = attempt;
+    }
+    return matched;
+};
+/** Substitute with non-undefined input guaranteed to produce non-undefined output. */
+const substituteRequired = (type, substitutions) => substituteTypeParameters(type, substitutions) ?? type;
+export const substituteTypeParameters = (type, substitutions) => {
+    if (!type)
+        return undefined;
+    switch (type.kind) {
+        case "typeParameterType":
+            return substitutions.get(type.name) ?? type;
+        case "arrayType":
+            return {
+                ...type,
+                elementType: substituteRequired(type.elementType, substitutions),
+            };
+        case "tupleType":
+            return {
+                ...type,
+                elementTypes: type.elementTypes.map((t) => substituteRequired(t, substitutions)),
+            };
+        case "dictionaryType":
+            return {
+                ...type,
+                keyType: substituteRequired(type.keyType, substitutions),
+                valueType: substituteRequired(type.valueType, substitutions),
+            };
+        case "referenceType":
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                const substituted = substitutions.get(type.name);
+                if (substituted) {
+                    return substituted;
+                }
+            }
+            return {
+                ...type,
+                ...(type.typeArguments
+                    ? {
+                        typeArguments: type.typeArguments.map((t) => substituteRequired(t, substitutions)),
+                    }
+                    : {}),
+            };
+        case "unionType":
+        case "intersectionType":
+            return {
+                ...type,
+                types: type.types.map((t) => substituteRequired(t, substitutions)),
+            };
+        case "functionType":
+            return {
+                ...type,
+                parameters: type.parameters.map((p) => ({
+                    ...p,
+                    type: substituteTypeParameters(p.type, substitutions),
+                })),
+                returnType: substituteRequired(type.returnType, substitutions),
+            };
+        case "objectType":
+            return {
+                ...type,
+                members: type.members.map((m) => {
+                    if (m.kind === "propertySignature") {
+                        return {
+                            ...m,
+                            type: substituteRequired(m.type, substitutions),
+                        };
+                    }
+                    return {
+                        ...m,
+                        typeParameters: m.typeParameters?.map((tp) => ({
+                            ...tp,
+                            constraint: substituteTypeParameters(tp.constraint, substitutions),
+                            default: substituteTypeParameters(tp.default, substitutions),
+                        })),
+                        parameters: m.parameters.map((p) => ({
+                            ...p,
+                            type: substituteTypeParameters(p.type, substitutions),
+                        })),
+                        returnType: substituteTypeParameters(m.returnType, substitutions),
+                    };
+                }),
+            };
+        default:
+            return type;
+    }
+};
+//# sourceMappingURL=call-site-analysis-unification.js.map

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-unification.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-unification.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,YAAY,EACZ,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAIpC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAgB,EAChB,MAAc,EACd,aAAkC,EACzB,EAAE;IACX,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAC3C,CAAC,SAAS,EAAuB,EAAE,CACjC,SAAS,KAAK,SAAS;YACvB,CAAC,CACC,SAAS,CAAC,IAAI,KAAK,eAAe;gBAClC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9D,CACJ,CAAC;QACF,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,KAAK,SAAS;YACvB,SAAS,CAAC,IAAI,KAAK,eAAe;YAClC,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,CAChE,CAAC;QAEF,IACE,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAC9B,iBAAiB,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EACxE,CAAC;YACD,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAClD,IAAI,oBAAoB,EAAE,CAAC;gBACzB,OAAO,iBAAiB,CAAC,QAAQ,EAAE,oBAAoB,EAAE,aAAa,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEhD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,QAAQ,CAAC,IAAI,KAAM,MAA0B,CAAC,IAAI,CAAC;QAC5D,KAAK,aAAa;YAChB,OAAO,QAAQ,CAAC,KAAK,KAAM,MAA0B,CAAC,KAAK,CAAC;QAC9D,KAAK,UAAU,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,iBAAiB,CACtB,QAAQ,CAAC,WAAW,EACnB,MAA0B,CAAC,WAAW,EACvC,aAAa,CACd,CAAC;QACJ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM;gBAC1D,OAAO,KAAK,CAAC;YACf,OAAO,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAClC,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,CACL,iBAAiB,CACf,QAAQ,CAAC,OAAO,EACf,MAA0B,CAAC,OAAO,EACnC,aAAa,CACd;gBACD,iBAAiB,CACf,QAAQ,CAAC,SAAS,EACjB,MAA0B,CAAC,SAAS,EACrC,aAAa,CACd,CACF,CAAC;QACJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;YACzD,MAAM,WAAW,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;YAC/C,IACE,gBAAgB,KAAK,SAAS;gBAC9B,WAAW,KAAK,SAAS;gBACzB,gBAAgB,KAAK,WAAW;gBAEhC,OAAO,KAAK,CAAC;YACf,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;YAC3C,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC5D,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7D,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACvE,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrD,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,IACE,CAAC,KAAK;oBACN,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;oBACzB,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;oBAEjC,OAAO,KAAK,CAAC;gBACf,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI;oBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;gBACzD,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;YACH,OAAO,CACL,WAAW;gBACX,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CACtE,CAAC;QACJ,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,MAAyB,CAAC;YACtC,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACjE,OAAO,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;oBAC7D,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,mBAAmB;wBAClC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;wBACjC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;wBACjC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CACrD,CAAC;gBACJ,CAAC;gBACD,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;oBAAE,OAAO,KAAK,CAAC;gBACnD,IACE,CAAC,CAAC,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;oBAC/B,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC;oBAEnC,OAAO,KAAK,CAAC;gBACf,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClE,MAAM,WAAW,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE;oBACvD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;oBAChD,IAAI,CAAC,UAAU;wBAAE,OAAO,KAAK,CAAC;oBAC9B,IACE,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;wBAC9B,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,UAAU;wBACtC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO,EAChC,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI;wBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC;oBACnE,OAAO,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,WAAW;oBAAE,OAAO,KAAK,CAAC;gBAC/B,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;oBACvC,OAAO,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC;gBAC3C,CAAC;gBACD,OAAO,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAC1E,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,cAAkC,EAClC,kBAAiD,EAChB,EAAE;IACnC,IACE,CAAC,cAAc;QACf,CAAC,kBAAkB;QACnB,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAwC,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,IAAI,CAAC,iBAAiB,CAAC,cAAc,EAAE,SAAS,EAAE,OAAO,CAAC;YAAE,SAAS;QACrE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACjC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC;IACpB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,sFAAsF;AACtF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,aAA0C,EAClC,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC;AAEnE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAwB,EACxB,aAA0C,EACtB,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC9C,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC;aACjE,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CACrC;aACF,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC;gBACxD,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;aAC7D,CAAC;QACJ,KAAK,eAAe;YAClB,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,WAAW,EAAE,CAAC;oBAChB,OAAO,WAAW,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,GAAG,CAAC,IAAI,CAAC,aAAa;oBACpB,CAAC,CAAC;wBACE,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CACrC;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;aACnE,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;iBACtD,CAAC,CAAC;gBACH,UAAU,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;aAC/D,CAAC;QACJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,OAAO;4BACL,GAAG,CAAC;4BACJ,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;yBAChD,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;4BAC7C,GAAG,EAAE;4BACL,UAAU,EAAE,wBAAwB,CAClC,EAAE,CAAC,UAAU,EACb,aAAa,CACd;4BACD,OAAO,EAAE,wBAAwB,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;yBAC7D,CAAC,CAAC;wBACH,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACnC,GAAG,CAAC;4BACJ,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC;yBACtD,CAAC,CAAC;wBACH,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC;qBAClE,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QACJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=call-site-analysis-unification.test.d.ts.map

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-unification.test.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-unification.test.ts"],"names":[],"mappings":""}

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.js

@@ -0,0 +1,18 @@
+import { expect } from "chai";
+import { describe, it } from "mocha";
+import { substituteTypeParameters } from "./call-site-analysis-unification.js";
+describe("call-site-analysis-unification", () => {
+    it("substitutes bare reference placeholders that carry call-site type parameters", () => {
+        const result = substituteTypeParameters({ kind: "referenceType", name: "TEntity" }, new Map([["TEntity", { kind: "referenceType", name: "PostEntity" }]]));
+        expect(result).to.deep.equal({
+            kind: "referenceType",
+            name: "PostEntity",
+        });
+    });
+    it("does not rewrite unrelated concrete reference types", () => {
+        const original = { kind: "referenceType", name: "DbContext" };
+        const result = substituteTypeParameters(original, new Map([["TEntity", { kind: "referenceType", name: "PostEntity" }]]));
+        expect(result).to.deep.equal(original);
+    });
+});
+//# sourceMappingURL=call-site-analysis-unification.test.js.map

package/dist/ir/converters/expressions/calls/call-site-analysis-unification.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-analysis-unification.test.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis-unification.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAE/E,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,wBAAwB,CACrC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,EAC1C,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAW,CAAC;QAEvE,MAAM,MAAM,GAAG,wBAAwB,CACrC,QAAQ,EACR,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts

@@ -1,53 +1,14 @@
 /**
- * Call-site analysis helpers
- *
- * Argument modifiers, binding resolution helpers, parameter mode detection,
- * and type template unification for call/new expression converters.
- */
-import * as ts from "typescript";
-import { IrType } from "../../../types.js";
-import type { ProgramContext } from "../../../program-context.js";
-import { convertExpression } from "../../../expression-converter.js";
-export type CallSiteArgModifier = "ref" | "out" | "in";
-export declare const unifyTypeTemplate: (template: IrType, actual: IrType, substitutions: Map<string, IrType>) => boolean;
-export declare const deriveSubstitutionsFromExpectedReturn: (returnTemplate: IrType | undefined, expectedCandidates: readonly IrType[] | undefined) => Map<string, IrType> | undefined;
-export declare const substituteTypeParameters: (type: IrType | undefined, substitutions: ReadonlyMap<string, IrType>) => IrType | undefined;
-/**
- * Unwrap call-site argument modifier markers.
- *
- * @tsonic/core/lang.js exports compile-time-only intrinsics:
- * - out(x)   → emit `out x` at the call site
- * - ref(x)   → emit `ref x`
- * - inref(x) → emit `in x`
- *
- * These markers must be erased by the compiler and must never reach emission as
- * normal calls.
- */
-export declare const unwrapCallSiteArgumentModifier: (expr: ts.Expression) => {
-    readonly expression: ts.Expression;
-    readonly modifier?: CallSiteArgModifier;
-};
-export declare const applyCallSiteArgumentModifiers: (base: readonly ("value" | "ref" | "out" | "in")[] | undefined, overrides: readonly (CallSiteArgModifier | undefined)[], argCount: number, ctx: ProgramContext, node: ts.CallExpression | ts.NewExpression) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
-/**
- * Extract argument passing modes from resolved signature.
- * Returns array aligned with arguments, indicating ref/out/in/value for each.
- *
- * ALICE'S SPEC: Uses TypeSystem to get parameter modes.
- * Parameter modes were normalized in Binding at registration time.
- */
-export declare const extractArgumentPassing: (node: ts.CallExpression | ts.NewExpression, ctx: ProgramContext) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
-export declare const extractArgumentPassingFromParameterModifiers: (modifiers: readonly {
-    readonly index: number;
-    readonly modifier: "ref" | "out" | "in";
-}[], argCount: number) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
-/**
- * Extract argument passing modes from CLR bindings for the *selected overload*.
- *
- * CRITICAL: Methods can be overloaded, and overloads can differ in ref/out/in modifiers.
- * We must not attach a single overload's modifiers to the member access itself.
- *
- * This resolver selects the best-matching binding overload using the call's argument
- * types, then applies that overload's parameterModifiers.
- */
-export declare const extractArgumentPassingFromBinding: (callee: ReturnType<typeof convertExpression>, argCount: number, ctx: ProgramContext, parameterTypes: readonly (IrType | undefined)[] | undefined, argTypes: readonly (IrType | undefined)[] | undefined) => readonly ("value" | "ref" | "out" | "in")[] | undefined;
+ * Call-site analysis helpers — Facade
+ *
+ * Re-exports from sub-modules:
+ * - call-site-analysis-unification: CallSiteArgModifier, unifyTypeTemplate,
+ *     deriveSubstitutionsFromExpectedReturn, substituteTypeParameters
+ * - call-site-analysis-argument-passing: unwrapCallSiteArgumentModifier,
+ *     applyCallSiteArgumentModifiers, extractArgumentPassing,
+ *     extractArgumentPassingFromParameterModifiers, extractArgumentPassingFromBinding
+ */
+export type { CallSiteArgModifier } from "./call-site-analysis-unification.js";
+export { unifyTypeTemplate, deriveSubstitutionsFromExpectedReturn, substituteTypeParameters, } from "./call-site-analysis-unification.js";
+export { unwrapCallSiteArgumentModifier, applyCallSiteArgumentModifiers, extractArgumentPassing, extractArgumentPassingFromParameterModifiers, extractArgumentPassingFromBinding, } from "./call-site-analysis-argument-passing.js";
 //# sourceMappingURL=call-site-analysis.d.ts.map

package/dist/ir/converters/expressions/calls/call-site-analysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"call-site-analysis.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAGlE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,MAAM,MAAM,mBAAmB,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAEvD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,EAChB,QAAQ,MAAM,EACd,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAsIF,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,gBAAgB,MAAM,GAAG,SAAS,EAClC,oBAAoB,SAAS,MAAM,EAAE,GAAG,SAAS,KAChD,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAiBxB,CAAC;AAQF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,EACxB,eAAe,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACzC,MAAM,GAAG,SAiFX,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,UAAU,KAClB;IACD,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CA8BzC,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EAC7D,WAAW,SAAS,CAAC,mBAAmB,GAAG,SAAS,CAAC,EAAE,EACvD,UAAU,MAAM,EAChB,KAAK,cAAc,EACnB,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,KACzC,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SA+BhD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,KAAK,cAAc,KAClB,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAoBhD,CAAC;AAEF,eAAO,MAAM,4CAA4C,GACvD,WAAW,SAAS;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;CACzC,EAAE,EACH,UAAU,MAAM,KACf,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SAWhD,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iCAAiC,GAC5C,QAAQ,UAAU,CAAC,OAAO,iBAAiB,CAAC,EAC5C,UAAU,MAAM,EAChB,KAAK,cAAc,EACnB,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,EAC3D,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,SAAS,KACpD,SAAS,CAAC,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,SA4MhD,CAAC"}
+{"version":3,"file":"call-site-analysis.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/calls/call-site-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,YAAY,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EACL,iBAAiB,EACjB,qCAAqC,EACrC,wBAAwB,GACzB,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,sBAAsB,EACtB,4CAA4C,EAC5C,iCAAiC,GAClC,MAAM,0CAA0C,CAAC"}