@tsonic/emitter 0.0.76 → 0.0.78

package/dist/expressions/runtime-union-adaptation-projection.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-union-adaptation-projection.js","sourceRoot":"","sources":["../../src/expressions/runtime-union-adaptation-projection.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAC1C,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,oCAAoC,CAAC;AAG5C,MAAM,iCAAiC,GAAG,CACxC,QAA6B,EACpB,EAAE;IACX,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,sBAAsB;QACtC,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACnD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AACF,OAAO,EAAE,mCAAmC,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,EAAE,uCAAuC,EAAE,MAAM,iDAAiD,CAAC;AAC1G,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yCAAyC,CAAC;QAC/C,QAAQ,EAAE,GAAG;QACb,YAAY,EAAE,YAAY;QAC1B,YAAY,EAAE,cAAc;QAC5B,OAAO,EAAE,qBAAqB;QAC9B,sBAAsB;QACtB,sBAAsB,EAAE,CAAC,EACvB,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE,CACH,mCAAmC,CACjC,aAAa,EACb,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,OAAO,CACR,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC;KACpC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,qEAAqE;IACrE,IACE,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACrC,CAAC,eAAe,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yCAAyC,CAAC;QAC/C,QAAQ,EAAE,GAAG;QACb,YAAY,EAAE,YAAY;QAC1B,YAAY,EAAE,cAAc;QAC5B,OAAO,EAAE,qBAAqB;QAC9B,sBAAsB;QACtB,sBAAsB,EAAE,CAAC,EACvB,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE,CACH,mCAAmC,CACjC,aAAa,EACb,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,OAAO,CACR,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC;QACnC,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;QACpE,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;KACrE,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,MAAM,sBAAsB,GAC1B,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACtE,MAAM,kBAAkB,GAAG,qBAAqB,CAC9C,sBAAsB,EACtB,OAAO,CACR,CAAC;IACF,IAAI,kBAAkB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,uCAAuC,CAC/D,GAAG,EACH,YAAY,CAAC,cAAc,CAC5B,CAAC;IACF,MAAM,gBAAgB,GAAG,iBAAiB;QACxC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,CAAC,CAAC;QACJ,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC;IACzB,MAAM,iBAAiB,GAAG,iBAAiB,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAEvE,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,sBAAsB,EACtB,mBAAmB,CACpB,CAAC;IAEF,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;IAE9C,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,cAAc,GAAG,iBAAiB,CAAC;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,aAAa;SAC1B,CAAC;QAEF,IAAI,IAAI,GAAwB,sCAAsC,CACpE,YAAY,EACZ,sBAAsB,CACvB,CAAC;QAEF,IACE,sBAAsB;YACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EACpE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBACrC,IAAI;aACL,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IACE,gCAAgC,CAC9B,YAAY,EACZ,sBAAsB,EACtB,cAAc,CACf,EACD,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IACL,oBAAoB,CAAC,YAAY,EAAE,sBAAsB,EAAE,cAAc,CAAC,EAC1E,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IACL,qBAAqB,CAAC,sBAAsB,EAAE,cAAc,CAAC;YAC7D,4BAA4B,CAAC,YAAY,EAAE,cAAc,CAAC,EAC1D,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,qBAAqB,CAAC,sBAAsB,EAAE,cAAc,CAAC,EAAE,CAAC;YACzE,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAC1C,2BAA2B,CACzB,aAAa,EACb,SAAS,EACT,YAAY,EACZ,cAAc,EACd,sBAAsB,CACvB,CAAC;YACJ,IAAI,eAAe,KAAK,aAAa,EAAE,CAAC;gBACtC,IAAI,GAAG,eAAe,CAAC;gBACvB,cAAc,GAAG,mBAAmB,CAAC;gBACrC,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,mCAAmC,CAChD,aAAa,EACb,YAAY,EACZ,cAAc,EACd,sBAAsB,EACtB,OAAO,CACR,CAAC;gBACF,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBACjB,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3B,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,mCAAmC,CAChD,aAAa,EACb,YAAY,EACZ,cAAc,EACd,sBAAsB,EACtB,OAAO,CACR,CAAC;YACF,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACjB,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3B,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACrC,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,iCAAiC,CAAC,GAAG,CAAC;oBAChD,CAAC,CAAC;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,GAAG;qBAChB;oBACH,CAAC,CAAC,GAAG;gBACP,UAAU,EAAE,OAAO;aACpB;YACD,aAAa,EAAE,CAAC,eAAe,CAAC;YAChC,SAAS,EAAE,UAAU;SACtB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"runtime-union-adaptation-projection.js","sourceRoot":"","sources":["../../src/expressions/runtime-union-adaptation-projection.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAC1C,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,yCAAyC,EACzC,qBAAqB,EACrB,4BAA4B,GAC7B,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,MAAM,iCAAiC,GAAG,CACxC,QAA6B,EACpB,EAAE;IACX,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,sBAAsB;QACtC,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACnD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AACF,OAAO,EAAE,mCAAmC,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,EAAE,uCAAuC,EAAE,MAAM,iDAAiD,CAAC;AAC1G,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAE5E,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yCAAyC,CAAC;QAC/C,QAAQ,EAAE,GAAG;QACb,YAAY,EAAE,YAAY;QAC1B,YAAY,EAAE,cAAc;QAC5B,OAAO,EAAE,qBAAqB;QAC9B,sBAAsB;QACtB,sBAAsB,EAAE,CAAC,EACvB,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE,CACH,mCAAmC,CACjC,aAAa,EACb,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,OAAO,CACR,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC;KACpC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,qEAAqE;IACrE,IACE,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACrC,CAAC,eAAe,CAAC,YAAY,EAAE,OAAO,CAAC,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yCAAyC,CAAC;QAC/C,QAAQ,EAAE,GAAG;QACb,YAAY,EAAE,YAAY;QAC1B,YAAY,EAAE,cAAc;QAC5B,OAAO,EAAE,qBAAqB;QAC9B,sBAAsB;QACtB,sBAAsB,EAAE,CAAC,EACvB,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,OAAO,EAAE,WAAW,GACrB,EAAE,EAAE,CACH,mCAAmC,CACjC,aAAa,EACb,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,OAAO,CACR,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC;QACnC,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;QACpE,uBAAuB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAC5C,sCAAsC,CAAC,YAAY,EAAE,YAAY,CAAC;KACrE,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2CAA2C,GAAG,CACzD,GAAwB,EACxB,UAAkB,EAClB,OAAuB,EACvB,YAAoB,EACpB,OAA4B,EAC5B,sBAA4C,EACO,EAAE;IACrD,MAAM,sBAAsB,GAC1B,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACtE,MAAM,kBAAkB,GAAG,qBAAqB,CAC9C,sBAAsB,EACtB,OAAO,CACR,CAAC;IACF,MAAM,0BAA0B,GAC9B,sBAAsB,CAAC,IAAI,KAAK,WAAW;QAC3C,OAAO,sBAAsB,CAAC,uBAAuB,KAAK,QAAQ;QAClE,sBAAsB,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5D,IACE,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW;QAC1C,CAAC,0BAA0B,CAAC;QAC9B,CAAC,kBAAkB,CAAC,IAAI,KAAK,WAAW;YACtC,sBAAsB,CAAC,IAAI,KAAK,eAAe;YAC/C,CAAC,0BAA0B,CAAC,EAC9B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,sBAAsB,EACtB,mBAAmB,EACnB,WAAW,CACZ,CAAC;IACF,IACE,cAAc;QACd,YAAY,CAAC,eAAe,KAAK,cAAc,CAAC,eAAe;QAC/D,YAAY,CAAC,uBAAuB,CAAC,MAAM;YACzC,cAAc,CAAC,uBAAuB,CAAC,MAAM;QAC/C,YAAY,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;YACjE,MAAM,oBAAoB,GACxB,cAAc,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAChD,OAAO,CACL,oBAAoB,KAAK,SAAS;gBAClC,oBAAoB,CAAC,YAAY,CAAC;oBAChC,oBAAoB,CAAC,oBAAoB,CAAC,CAC7C,CAAC;QACJ,CAAC,CAAC,EACF,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,iBAAiB,GAAG,uCAAuC,CAC/D,GAAG,EACH,YAAY,CAAC,cAAc,CAC5B,CAAC;IACF,MAAM,gBAAgB,GAAG,iBAAiB;QACxC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC3C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChC,CAAC,CAAC;QACJ,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC;IACzB,MAAM,iBAAiB,GAAG,iBAAiB,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAEvE,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,sBAAsB,EACtB,qBAAqB,CACtB,CAAC;IAEF,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;IAE9C,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,cAAc,GAAG,iBAAiB,CAAC;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,aAAa;SAC1B,CAAC;QAEF,IAAI,IAAI,GAAwB,sCAAsC,CACpE,YAAY,EACZ,sBAAsB,CACvB,CAAC;QAEF,IACE,sBAAsB;YACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EACpE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBACrC,IAAI;aACL,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IACE,gCAAgC,CAC9B,YAAY,EACZ,sBAAsB,EACtB,cAAc,CACf,EACD,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IACL,oBAAoB,CAAC,YAAY,EAAE,sBAAsB,EAAE,cAAc,CAAC,EAC1E,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IACL,qBAAqB,CAAC,sBAAsB,EAAE,cAAc,CAAC;YAC7D,yCAAyC,CAAC,YAAY,EAAE,cAAc,CAAC,EACvE,CAAC;YACD,IAAI,GAAG,aAAa,CAAC;YACrB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,qBAAqB,CAAC,sBAAsB,EAAE,cAAc,CAAC,EAAE,CAAC;YACzE,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAC1C,2BAA2B,CACzB,aAAa,EACb,SAAS,EACT,YAAY,EACZ,cAAc,EACd,sBAAsB,CACvB,CAAC;YACJ,IAAI,eAAe,KAAK,aAAa,EAAE,CAAC;gBACtC,IAAI,GAAG,eAAe,CAAC;gBACvB,cAAc,GAAG,mBAAmB,CAAC;gBACrC,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,mCAAmC,CAChD,aAAa,EACb,YAAY,EACZ,cAAc,EACd,sBAAsB,EACtB,OAAO,CACR,CAAC;gBACF,IAAI,MAAM,EAAE,CAAC;oBACX,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBACjB,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3B,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,mCAAmC,CAChD,aAAa,EACb,YAAY,EACZ,cAAc,EACd,sBAAsB,EACtB,OAAO,CACR,CAAC;YACF,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBACjB,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3B,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QAED,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACrC,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,iCAAiC,CAAC,GAAG,CAAC;oBAChD,CAAC,CAAC;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,GAAG;qBAChB;oBACH,CAAC,CAAC,GAAG;gBACP,UAAU,EAAE,OAAO;aACpB;YACD,aAAa,EAAE,CAAC,eAAe,CAAC;YAChC,SAAS,EAAE,UAAU;SACtB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/runtime-union-adaptation-upcast.d.ts

@@ -3,7 +3,7 @@
  * Handles the main runtime-union adaptation entry point and dictionary
  * union-value lifting.
  */
-import type { IrExpression, IrType } from "@tsonic/frontend";
+import { type IrExpression, type IrType } from "@tsonic/frontend";
 import type { EmitterContext } from "../types.js";
 import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
 export declare const maybeAdaptDictionaryUnionValueAst: (expr: IrExpression, ast: CSharpExpressionAst, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];

package/dist/expressions/runtime-union-adaptation-upcast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-union-adaptation-upcast.d.ts","sourceRoot":"","sources":["../../src/expressions/runtime-union-adaptation-upcast.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAqClD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAuZ7C,eAAO,MAAM,iCAAiC,GAC5C,MAAM,YAAY,EAClB,KAAK,mBAAmB,EACxB,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAiFtC,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,KAAK,mBAAmB,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,EAChC,UAAS,WAAW,CAAC,MAAM,CAAqB,EAChD,yBAAyB,WAAW,CAAC,MAAM,CAAC,KAC3C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAswB1C,CAAC"}
+{"version":3,"file":"runtime-union-adaptation-upcast.d.ts","sourceRoot":"","sources":["../../src/expressions/runtime-union-adaptation-upcast.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAoClD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAgtB7C,eAAO,MAAM,iCAAiC,GAC5C,MAAM,YAAY,EAClB,KAAK,mBAAmB,EACxB,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAiFtC,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,KAAK,mBAAmB,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,EAChC,UAAS,WAAW,CAAC,MAAM,CAAqB,EAChD,yBAAyB,WAAW,CAAC,MAAM,CAAC,KAC3C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA4zB1C,CAAC"}

package/dist/expressions/runtime-union-adaptation-upcast.js

@@ -7,24 +7,160 @@ import { emitTypeAst } from "../type-emitter.js";
 import { buildRuntimeUnionLayout, buildRuntimeUnionTypeAst, findExactRuntimeUnionMemberIndices, findRuntimeUnionAssignableMemberIndices, findRuntimeUnionMemberIndices, findRuntimeUnionMemberIndex, } from "../core/semantic/runtime-unions.js";
 import { runtimeUnionMemberCanAcceptValue } from "../core/semantic/runtime-union-matching.js";
 import { tryBuildRuntimeMaterializationAst, tryBuildRuntimeReificationPlan, } from "../core/semantic/runtime-reification.js";
+import { resolveEmittableMaterializationType } from "../core/semantic/materialized-narrowing.js";
 import { resolveEffectiveExpressionType } from "../core/semantic/narrowed-expression-types.js";
 import { tryResolveRuntimeUnionMemberType } from "../core/semantic/narrowed-expression-types.js";
 import { buildRuntimeUnionFactoryCallAst } from "../core/semantic/runtime-union-projection.js";
 import { resolveComparableType, unwrapComparableType, } from "../core/semantic/comparable-types.js";
 import { resolveDirectRuntimeCarrierType, resolveDirectValueSurfaceType, } from "../core/semantic/direct-value-surfaces.js";
 import { areIrTypesEquivalent } from "../core/semantic/type-equivalence.js";
-import { matchesExpectedEmissionType, } from "../core/semantic/expected-type-matching.js";
-import { isBroadObjectSlotType } from "../core/semantic/js-value-types.js";
-import { isDefinitelyValueType, normalizeStructuralEmissionType, splitRuntimeNullishUnionMembers, stripNullish, } from "../core/semantic/type-resolution.js";
+import { matchesExpectedEmissionType } from "../core/semantic/expected-type-matching.js";
+import { isBroadObjectSlotType } from "../core/semantic/broad-object-types.js";
+import { isDefinitelyValueType, resolveStructuralReferenceType, splitRuntimeNullishUnionMembers, stripNullish, } from "../core/semantic/type-resolution.js";
 import { getIdentifierTypeName, stableTypeKeyFromAst, stripNullableTypeAst, sameTypeAstSurface, } from "../core/format/backend-ast/utils.js";
 import { identifierExpression, identifierType, nullLiteral, } from "../core/format/backend-ast/builders.js";
 import { collectStructuralProperties, tryAdaptStructuralExpressionAst, } from "./structural-adaptation.js";
 import { isExactExpressionToType, isExactArrayCreationToType, isExactNullableValueAccessToType, tryEmitExactComparisonTargetAst, canUseImplicitOptionalSurfaceConversion, } from "./exact-comparison.js";
 import { isNumericSourceIrType, maybeCastNumericToExpectedIntegralAst, } from "./post-emission-adaptation.js";
 import { maybeWidenRuntimeUnionExpressionAst, maybeProjectRuntimeUnionMemberExpressionAst, } from "./runtime-union-adaptation-projection.js";
+import { resolveAnonymousStructuralReferenceType } from "./structural-anonymous-targets.js";
 import { willCarryAsRuntimeUnion } from "../core/semantic/union-semantics.js";
 import { resolveDirectStorageCompatibleExpressionType } from "./expected-type-adaptation.js";
 import { getContextualTypeVisitKey } from "../core/semantic/deterministic-type-keys.js";
+import { rebuildUnionTypePreservingCarrierFamily } from "../core/semantic/runtime-union-family-preservation.js";
+import { getRuntimeUnionAliasReferenceKey, runtimeUnionAliasReferencesMatch, } from "../core/semantic/runtime-union-alias-identity.js";
+import { referenceTypesShareClrIdentity } from "../core/semantic/clr-type-identity.js";
+import { tryAdaptAwaitableValueAst } from "./awaitable-adaptation.js";
+const normalizeRuntimeUnionEmissionType = (type, context) => {
+    const cache = new Map();
+    const active = new Set();
+    const normalize = (current) => {
+        const cached = cache.get(current);
+        if (cached) {
+            return cached;
+        }
+        if (active.has(current)) {
+            return current;
+        }
+        if (current.kind !== "referenceType") {
+            const anonymousReference = resolveAnonymousStructuralReferenceType(current, context);
+            if (anonymousReference) {
+                cache.set(current, anonymousReference);
+                return anonymousReference;
+            }
+        }
+        const structuralReference = resolveStructuralReferenceType(current, context);
+        if (structuralReference) {
+            cache.set(current, structuralReference);
+            return structuralReference;
+        }
+        active.add(current);
+        const normalized = (() => {
+            switch (current.kind) {
+                case "arrayType": {
+                    const elementType = normalize(current.elementType);
+                    const tuplePrefixElementTypes = current.tuplePrefixElementTypes?.map(normalize);
+                    const tupleRestElementType = current.tupleRestElementType
+                        ? normalize(current.tupleRestElementType)
+                        : undefined;
+                    const changed = elementType !== current.elementType ||
+                        (!!tuplePrefixElementTypes &&
+                            tuplePrefixElementTypes.some((member, index) => member !== current.tuplePrefixElementTypes?.[index])) ||
+                        tupleRestElementType !== current.tupleRestElementType;
+                    return changed
+                        ? {
+                            ...current,
+                            elementType,
+                            ...(tuplePrefixElementTypes ? { tuplePrefixElementTypes } : {}),
+                            ...(tupleRestElementType ? { tupleRestElementType } : {}),
+                        }
+                        : current;
+                }
+                case "dictionaryType": {
+                    const keyType = normalize(current.keyType);
+                    const valueType = normalize(current.valueType);
+                    return keyType === current.keyType && valueType === current.valueType
+                        ? current
+                        : { ...current, keyType, valueType };
+                }
+                case "tupleType": {
+                    const elementTypes = current.elementTypes.map(normalize);
+                    return elementTypes.every((member, index) => member === current.elementTypes[index])
+                        ? current
+                        : { ...current, elementTypes };
+                }
+                case "functionType": {
+                    const parameters = current.parameters.map((parameter) => parameter.type
+                        ? { ...parameter, type: normalize(parameter.type) }
+                        : parameter);
+                    const returnType = normalize(current.returnType);
+                    return returnType === current.returnType &&
+                        parameters.every((parameter, index) => parameter === current.parameters[index])
+                        ? current
+                        : { ...current, parameters, returnType };
+                }
+                case "objectType": {
+                    const members = current.members.map((member) => {
+                        if (member.kind === "propertySignature") {
+                            const memberType = normalize(member.type);
+                            return memberType === member.type
+                                ? member
+                                : { ...member, type: memberType };
+                        }
+                        const parameters = member.parameters.map((parameter) => parameter.type
+                            ? { ...parameter, type: normalize(parameter.type) }
+                            : parameter);
+                        const returnType = member.returnType
+                            ? normalize(member.returnType)
+                            : undefined;
+                        return returnType === member.returnType &&
+                            parameters.every((parameter, index) => parameter === member.parameters[index])
+                            ? member
+                            : {
+                                ...member,
+                                parameters,
+                                ...(returnType ? { returnType } : {}),
+                            };
+                    });
+                    return members.every((member, index) => member === current.members[index])
+                        ? current
+                        : { ...current, members };
+                }
+                case "unionType": {
+                    const types = current.types.map(normalize);
+                    return types.every((member, index) => member === current.types[index])
+                        ? current
+                        : rebuildUnionTypePreservingCarrierFamily(current, types);
+                }
+                case "intersectionType": {
+                    const types = current.types.map(normalize);
+                    return types.every((member, index) => member === current.types[index])
+                        ? current
+                        : { ...current, types };
+                }
+                case "referenceType": {
+                    const typeArguments = current.typeArguments?.map(normalize);
+                    return typeArguments &&
+                        typeArguments.some((member, index) => member !== current.typeArguments?.[index])
+                        ? { ...current, typeArguments }
+                        : current;
+                }
+                case "primitiveType":
+                case "typeParameterType":
+                case "literalType":
+                case "anyType":
+                case "unknownType":
+                case "voidType":
+                case "neverType":
+                    return current;
+            }
+        })();
+        active.delete(current);
+        cache.set(current, normalized);
+        return normalized;
+    };
+    return normalize(type);
+};
 const isValueTypeStructuralObjectEmissionOnlyMatch = (actualType, memberType, context) => isDefinitelyValueType(actualType) &&
     resolveComparableType(memberType, context).kind === "objectType";
 const structuralObjectEmissionCompatibility = (actualType, memberType, context) => {
@@ -58,7 +194,8 @@ const runtimeUnionMemberIsEmissionCompatible = (actualType, memberType, context)
     if (isValueTypeStructuralObjectEmissionOnlyMatch(actualType, memberType, context)) {
         return false;
     }
-    return (structuralObjectEmissionCompatibility(actualType, memberType, context) !== false);
+    return (structuralObjectEmissionCompatibility(actualType, memberType, context) !==
+        false);
 };
 const isObjectLikeTypeAst = (type) => {
     if (!type)
@@ -121,13 +258,80 @@ const maybeCastNumericToExpectedJsNumberAst = (ast, actualType, memberTypeAst, c
         context,
     ];
 };
+const runtimeUnionCarrierSurfaceDiffers = (carrierType, expectedType, context) => {
+    if (!carrierType) {
+        return false;
+    }
+    const [carrierLayout, carrierLayoutContext] = buildRuntimeUnionLayout(carrierType, context, emitTypeAst);
+    const [expectedLayout] = buildRuntimeUnionLayout(expectedType, carrierLayoutContext, emitTypeAst);
+    if (!carrierLayout || !expectedLayout) {
+        return false;
+    }
+    return !sameTypeAstSurface(buildRuntimeUnionTypeAst(carrierLayout), buildRuntimeUnionTypeAst(expectedLayout));
+};
+const unwrapComparableTypeForEmission = (type, context) => willCarryAsRuntimeUnion(type, context) ? type : unwrapComparableType(type);
+const referenceTypesHaveSameNominalIdentity = (actualType, memberType, context) => {
+    const actual = stripNullish(actualType);
+    const member = stripNullish(memberType);
+    if (actual.kind !== "referenceType" || member.kind !== "referenceType") {
+        return false;
+    }
+    if (!referenceTypesShareClrIdentity(actual, member)) {
+        return false;
+    }
+    const actualArgs = actual.typeArguments ?? [];
+    const memberArgs = member.typeArguments ?? [];
+    return (actualArgs.length === memberArgs.length &&
+        actualArgs.every((actualArg, index) => {
+            const memberArg = memberArgs[index];
+            return !!memberArg && areIrTypesEquivalent(actualArg, memberArg, context);
+        }));
+};
 const tryAdaptRuntimeUnionMemberValueAst = (opts) => {
     const { ast, actualType, memberType, memberTypeAst, context, visited } = opts;
+    const actualAliasKey = getRuntimeUnionAliasReferenceKey(actualType, context);
+    if (actualAliasKey !== undefined &&
+        !runtimeUnionAliasReferencesMatch(actualType, memberType, context)) {
+        return undefined;
+    }
     const nestedRuntimeUnionAdaptation = maybeAdaptRuntimeUnionExpressionAst(ast, actualType, context, memberType, visited);
     if (nestedRuntimeUnionAdaptation) {
         return nestedRuntimeUnionAdaptation;
     }
-    const structuralAdaptation = tryAdaptStructuralExpressionAst(ast, actualType, context, memberType, maybeAdaptRuntimeUnionExpressionAst);
+    const exactActualSurface = (() => {
+        try {
+            return emitTypeAst(actualType, context);
+        }
+        catch {
+            return undefined;
+        }
+    })();
+    if (exactActualSurface) {
+        const [actualTypeAst, actualTypeContext] = exactActualSurface;
+        if (stableTypeKeyFromAst(stripNullableTypeAst(actualTypeAst)) ===
+            stableTypeKeyFromAst(stripNullableTypeAst(memberTypeAst))) {
+            return [ast, actualTypeContext];
+        }
+    }
+    if (referenceTypesHaveSameNominalIdentity(actualType, memberType, context)) {
+        return [ast, context];
+    }
+    const awaitableAdaptation = tryAdaptAwaitableValueAst({
+        ast,
+        actualType,
+        expectedType: memberType,
+        expectedTypeAst: memberTypeAst,
+        context,
+        visited,
+        adaptAwaitedValueAst: maybeAdaptRuntimeUnionExpressionAst,
+    });
+    if (awaitableAdaptation) {
+        return awaitableAdaptation;
+    }
+    const upcastWithVisited = (nestedAst, nestedActualType, nestedContext, nestedExpectedType, nestedVisited) => maybeAdaptRuntimeUnionExpressionAst(nestedAst, nestedActualType, nestedContext, nestedExpectedType, nestedVisited && nestedVisited.size > 0
+        ? new Set([...visited, ...nestedVisited])
+        : visited);
+    const structuralAdaptation = tryAdaptStructuralExpressionAst(ast, actualType, context, memberType, upcastWithVisited);
     if (structuralAdaptation) {
         return structuralAdaptation;
     }
@@ -139,16 +343,35 @@ const tryAdaptRuntimeUnionMemberValueAst = (opts) => {
     if (numericJsNumberAdjusted) {
         return numericJsNumberAdjusted;
     }
-    const [actualTypeAst, actualTypeContext] = emitTypeAst(actualType, context);
-    const actualSurfaceMatches = stableTypeKeyFromAst(stripNullableTypeAst(actualTypeAst)) ===
-        stableTypeKeyFromAst(stripNullableTypeAst(memberTypeAst));
-    if (actualSurfaceMatches ||
-        isExactExpressionToType(ast, stripNullableTypeAst(memberTypeAst)) ||
+    if (isExactExpressionToType(ast, stripNullableTypeAst(memberTypeAst)) ||
         isExactArrayCreationToType(ast, memberTypeAst)) {
-        return [ast, actualTypeContext];
+        return [ast, context];
+    }
+    const emittableActualType = resolveEmittableMaterializationType(actualType, context);
+    const memberEmissionCompatible = runtimeUnionMemberIsEmissionCompatible(emittableActualType, memberType, context);
+    if (!memberEmissionCompatible) {
+        if (canUseRuntimeUnionMemberCast(actualType, context)) {
+            return [
+                {
+                    kind: "castExpression",
+                    type: memberTypeAst,
+                    expression: ast,
+                },
+                context,
+            ];
+        }
+        return undefined;
+    }
+    if (resolveComparableType(emittableActualType, context).kind === "objectType") {
+        return undefined;
+    }
+    const [emittableActualTypeAst, emittableActualTypeContext] = emitTypeAst(emittableActualType, context);
+    const emittableActualSurfaceMatches = stableTypeKeyFromAst(stripNullableTypeAst(emittableActualTypeAst)) ===
+        stableTypeKeyFromAst(stripNullableTypeAst(memberTypeAst));
+    if (emittableActualSurfaceMatches) {
+        return [ast, emittableActualTypeContext];
     }
-    if (runtimeUnionMemberIsEmissionCompatible(actualType, memberType, context) &&
-        resolveComparableType(actualType, context).kind !== "objectType") {
+    if (memberEmissionCompatible) {
         return [ast, context];
     }
     if (canUseRuntimeUnionMemberCast(actualType, context)) {
@@ -296,7 +519,16 @@ export const maybeAdaptDictionaryUnionValueAst = (expr, ast, context, expectedTy
 export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, expectedType, visited = new Set(), selectedSourceMemberNs) => {
     if (!actualType || !expectedType)
         return undefined;
-    const topLevelNullishOptionalUnion = maybeAdaptTopLevelNullishOptionalUnionAst(ast, actualType, context, expectedType, visited, selectedSourceMemberNs);
+    const selectedSourceMemberKey = selectedSourceMemberNs
+        ? Array.from(selectedSourceMemberNs).join(",")
+        : "*";
+    const rawVisitKey = `${getContextualTypeVisitKey(actualType, context)}=>${getContextualTypeVisitKey(expectedType, context)}=>${selectedSourceMemberKey}`;
+    if (visited.has(rawVisitKey)) {
+        return undefined;
+    }
+    const earlyVisited = new Set(visited);
+    earlyVisited.add(rawVisitKey);
+    const topLevelNullishOptionalUnion = maybeAdaptTopLevelNullishOptionalUnionAst(ast, actualType, context, expectedType, earlyVisited, selectedSourceMemberNs);
     if (topLevelNullishOptionalUnion) {
         return topLevelNullishOptionalUnion;
     }
@@ -306,7 +538,7 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         !actualNullishSplit?.hasRuntimeNullish) {
         const nonNullishExpectedType = stripNullish(expectedType);
         if (!areIrTypesEquivalent(nonNullishExpectedType, expectedType, context)) {
-            const adaptedNonNullishOptional = maybeAdaptRuntimeUnionExpressionAst(ast, actualType, context, nonNullishExpectedType, visited, selectedSourceMemberNs);
+            const adaptedNonNullishOptional = maybeAdaptRuntimeUnionExpressionAst(ast, actualType, context, nonNullishExpectedType, earlyVisited, selectedSourceMemberNs);
             if (adaptedNonNullishOptional) {
                 return adaptedNonNullishOptional;
             }
@@ -317,6 +549,11 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         return undefined;
     }
     const extractedMemberType = tryResolveRuntimeUnionMemberType(actualType, ast, context) ?? actualType;
+    if (willCarryAsRuntimeUnion(extractedMemberType, context) &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        runtimeUnionAliasReferencesMatch(extractedMemberType, expectedType, context)) {
+        return [ast, context];
+    }
     const exactComparisonTargetAst = tryEmitExactComparisonTargetAst(expectedType, context);
     if (exactComparisonTargetAst &&
         (isExactExpressionToType(ast, stripNullableTypeAst(exactComparisonTargetAst[0])) ||
@@ -330,8 +567,22 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         if (!directValueSurfaceType) {
             return extractedMemberType;
         }
-        const emissionDirectValueSurfaceType = normalizeStructuralEmissionType(directValueSurfaceType, context);
-        const emissionExtractedMemberType = normalizeStructuralEmissionType(extractedMemberType, context);
+        const emissionDirectRuntimeCarrierType = directRuntimeCarrierType
+            ? normalizeRuntimeUnionEmissionType(directRuntimeCarrierType, context)
+            : undefined;
+        if (emissionDirectRuntimeCarrierType &&
+            runtimeUnionCarrierSurfaceDiffers(emissionDirectRuntimeCarrierType, expectedType, context)) {
+            return emissionDirectRuntimeCarrierType;
+        }
+        const emissionDirectValueSurfaceType = normalizeRuntimeUnionEmissionType(directValueSurfaceType, context);
+        const emissionExtractedMemberType = normalizeRuntimeUnionEmissionType(extractedMemberType, context);
+        const comparableDirectValueSurfaceType = resolveComparableType(emissionDirectValueSurfaceType, context);
+        if (!willCarryAsRuntimeUnion(emissionDirectValueSurfaceType, context) &&
+            comparableDirectValueSurfaceType.kind !== "anyType" &&
+            comparableDirectValueSurfaceType.kind !== "unknownType" &&
+            !isBroadObjectSlotType(comparableDirectValueSurfaceType, context)) {
+            return emissionDirectValueSurfaceType;
+        }
         const [directLayout, directLayoutContext] = buildRuntimeUnionLayout(emissionDirectValueSurfaceType, context, emitTypeAst);
         const [actualLayout] = buildRuntimeUnionLayout(emissionExtractedMemberType, directLayoutContext, emitTypeAst);
         const layoutsDiffer = (() => {
@@ -355,8 +606,8 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         }
         return emissionExtractedMemberType;
     })();
-    const emissionActualType = normalizeStructuralEmissionType(unwrapComparableType(preferredActualType), context);
-    const emissionExpectedType = normalizeStructuralEmissionType(unwrapComparableType(expectedType), context);
+    const emissionActualType = normalizeRuntimeUnionEmissionType(unwrapComparableTypeForEmission(preferredActualType, context), context);
+    const emissionExpectedType = normalizeRuntimeUnionEmissionType(unwrapComparableTypeForEmission(expectedType, context), context);
     const normalizedActualType = resolveComparableType(emissionActualType, context);
     const normalizedExpectedType = resolveComparableType(emissionExpectedType, context);
     const runtimeUnionLayoutComparison = (() => {
@@ -422,7 +673,10 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
             sameTypeAstSurface(buildRuntimeUnionTypeAst(directSurfaceLayout), expectedUnionTypeAst));
     })();
     const requiresEquivalentRuntimeUnionMaterialization = equivalentRuntimeUnionLayouts && !canReuseEquivalentRuntimeUnionAst;
-    const adapted = tryAdaptStructuralExpressionAst(ast, emissionActualType, context, emissionExpectedType, maybeAdaptRuntimeUnionExpressionAst);
+    const structuralUpcastWithVisited = (nestedAst, nestedActualType, nestedContext, nestedExpectedType, nestedVisited) => maybeAdaptRuntimeUnionExpressionAst(nestedAst, nestedActualType, nestedContext, nestedExpectedType, nestedVisited && nestedVisited.size > 0
+        ? new Set([...earlyVisited, ...nestedVisited])
+        : earlyVisited);
+    const adapted = tryAdaptStructuralExpressionAst(ast, emissionActualType, context, emissionExpectedType, structuralUpcastWithVisited);
     if (adapted && normalizedExpectedType.kind !== "unionType") {
         return adapted;
     }
@@ -447,11 +701,11 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         }
     }
     const normalizedExpected = normalizedExpectedType;
-    const visitKey = `${getContextualTypeVisitKey(normalizedActualType, context)}=>${getContextualTypeVisitKey(normalizedExpected, context)}=>${selectedSourceMemberNs ? Array.from(selectedSourceMemberNs).join(",") : "*"}`;
+    const visitKey = `${getContextualTypeVisitKey(normalizedActualType, context)}=>${getContextualTypeVisitKey(normalizedExpected, context)}=>${selectedSourceMemberKey}`;
     if (visited.has(visitKey)) {
         return undefined;
     }
-    const nextVisited = new Set(visited);
+    const nextVisited = new Set(earlyVisited);
     nextVisited.add(visitKey);
     const projectedUnion = maybeProjectRuntimeUnionMemberExpressionAst(ast, emissionActualType, context, emissionExpectedType, nextVisited, selectedSourceMemberNs);
     if (projectedUnion) {
@@ -462,7 +716,8 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         const [expectedRuntimeLayout, expectedRuntimeLayoutContext] = buildRuntimeUnionLayout(emissionExpectedType, context, emitTypeAst);
         if (expectedRuntimeLayout) {
             const actualRuntimeTypeAst = buildRuntimeUnionTypeAst(actualRuntimeLayout);
-            const exactRuntimeCarrierMemberIndices = expectedRuntimeLayout.memberTypeAsts.flatMap((memberTypeAst, index) => memberTypeAst && sameTypeAstSurface(memberTypeAst, actualRuntimeTypeAst)
+            const exactRuntimeCarrierMemberIndices = expectedRuntimeLayout.memberTypeAsts.flatMap((memberTypeAst, index) => memberTypeAst &&
+                sameTypeAstSurface(memberTypeAst, actualRuntimeTypeAst)
                 ? [index]
                 : []);
             const exactRuntimeCarrierMemberIndex = exactRuntimeCarrierMemberIndices.length === 1
@@ -530,8 +785,7 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
                 visited: nextVisited,
             });
             const selectedValueAst = selectedValue?.[0] ??
-                (isExactExpressionToType(ast, stripNullableTypeAst(selectedMemberTypeAst)) ||
-                    isExactArrayCreationToType(ast, selectedMemberTypeAst)
+                (isExactExpressionToType(ast, stripNullableTypeAst(selectedMemberTypeAst)) || isExactArrayCreationToType(ast, selectedMemberTypeAst)
                     ? ast
                     : undefined);
             if (selectedValueAst) {
@@ -555,9 +809,7 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
             context: layoutContext,
             visited: nextVisited,
         });
-        return memberValue
-            ? [{ index, value: memberValue }]
-            : [];
+        return memberValue ? [{ index, value: memberValue }] : [];
     });
     if (materializedMemberCandidates.length === 1) {
         const [candidate] = materializedMemberCandidates;
@@ -583,9 +835,7 @@ export const maybeAdaptRuntimeUnionExpressionAst = (ast, actualType, context, ex
         }
     }
     const directMatchingMemberIndices = findExactRuntimeUnionMemberIndices(runtimeLayout.members, emissionActualType, layoutContext);
-    const deterministicDirectMatchingMemberIndices = directMatchingMemberIndices.length === 1
-        ? directMatchingMemberIndices
-        : [];
+    const deterministicDirectMatchingMemberIndices = directMatchingMemberIndices.length === 1 ? directMatchingMemberIndices : [];
     if (deterministicDirectMatchingMemberIndices.length === 1) {
         const [directIndex] = deterministicDirectMatchingMemberIndices;
         if (directIndex !== undefined) {