@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/lowering/expressions/nullish-assignment.js.map

@@ -1 +1 @@
-{"version":3,"file":"nullish-assignment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/nullish-assignment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,EACJ,UAAU,EACV,UAAU,GAIX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAEL,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAElC,sEAAsE;AACtE,MAAM,oBAAoB,GAAgC,IAAI,GAAG,CAAC;IAChE,KAAK;IACL,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH;oFACoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,OAAgB,EAAE,IAAyB;IACrF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;IACtF,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC;IACpF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CACxC,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACzE,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACxE,IAAI,IAAY,CAAC;IACjB,IAAI,OAAe,CAAC;IACpB,gEAAgE;IAChE,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,KAAgC,CAAC;IACrC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO;YACV,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,oDAAoD,CAAC,CAAC;QACzF,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;QACvB,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzF,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACrF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,+DAA+D,CAChE,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpD,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,kBAAkB,CAAC;YACxE,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;YAChD,OAAO,GAAG,GAAG,CAAC;YACd,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACnF,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzF,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC7F,8DAA8D;YAC9D,sCAAsC;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACrF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;YACf,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACvD,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YAC9D,sEAAsE;YACtE,qDAAqD;YACrD,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;gBACvD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACnF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;wBAC5B,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC1C,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;oBACrD,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC1D,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC;oBAC1B,MAAM,KAAK,GAAG,MAAM,CAAC;oBACrB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACpE,CAAC;qBAAM,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjF,8DAA8D;oBAC9D,gEAAgE;oBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,CAAC;oBACtF,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oBACnF,OAAO,GAAG,GAAG,CAAC;oBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAClB,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,YAAY;4BAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;4BAC5B,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,GAAG;qBACJ,CAAC,CAAC;gBACL,CAAC;;oBACC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,qDAAqD,CACtD,CAAC;YACN,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACrF,IAAI,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACvD,IAAI,KAAK,GAA4B,IAAI,CAAC;YAC1C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,GAAG,GAAG,IAAI,CACR;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,iBAAiB;oBACrB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC/D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,EACD,kBAAkB,CACnB,CAAC;gBACF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,oBAAoB;wBACxB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;wBAC5B,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;gBACpC,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7B,MAAM,OAAO,GAAG,OAAO,CAAC;gBACxB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;gBAChF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,OAAO,IAAI,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,+DAA+D;oBAC/D,4DAA4D;oBAC5D,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;oBACtD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;wBAC3E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;wBAC9C,MAAM,OAAO,GAAW;4BACtB,IAAI,EAAE,KAAK;4BACX,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;4BACnF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;4BAC/D,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,UAAU;yBAChB,CAAC;wBACF,OAAO,MAAM,CAAC;4BACZ,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE;4BACrF,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;gCAC9E,MAAM,EAAE,GAAG;gCACX,IAAI,EAAE,OAAO;gCACb,GAAG;6BACJ;4BACD,IAAI,EAAE,OAAO;4BACb,GAAG;yBACJ,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,oEAAoE;gBACpE,yDAAyD;gBACzD,IAAI;oBACF,CAAC,OAAO,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;wBACxC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC;wBAC5C,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YACpE,CAAC;iBAAM,IACL,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC1B,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EACzD,CAAC;gBACD,4DAA4D;gBAC5D,kEAAkE;gBAClE,iEAAiE;gBACjE,kEAAkE;gBAClE,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAE,CAAC;gBACvD,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;gBACpC,MAAM,QAAQ,GACZ,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;gBAClF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,wDAAwD,CACzD,CAAC;gBACJ,CAAC;gBACD,OAAO,GAAG,UAAU,CAAC;gBACrB,IAAI,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;gBAClF,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,cAAc;oBACpB,GAAG,EAAE,QAAQ;oBACb,OAAO;oBACP,GAAG;oBACH,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;oBAClD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC/B,CAAC,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAC1E,CAAC;gBACD,iEAAiE;gBACjE,gEAAgE;gBAChE,MAAM,KAAK,GAAG,KAAK,CAAC;gBACpB,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC/B,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC;gBAC1B,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1D,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACrE,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,wDAAwD,CACzD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,4CAA4C,CAAC,CAAC;IACtF,CAAC;IACD,IACE,OAAO;QACP,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAC7F,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAChF,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,sEAAsE;QACtE,qEAAqE;QACrE,wCAAwC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YACxB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED;oCACoC;AACpC,SAAS,gBAAgB,CAAC,OAAgB,EAAE,OAAe;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACvF,OAAO,KAAK,CAAC,UAAU,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"nullish-assignment.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/nullish-assignment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,EACJ,UAAU,EACV,UAAU,GAIX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EACL,eAAe,EACf,cAAc,EACd,eAAe,EACf,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAEL,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAElC,sEAAsE;AACtE,MAAM,oBAAoB,GAAgC,IAAI,GAAG,CAAC;IAChE,KAAK;IACL,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH;oFACoF;AACpF,MAAM,UAAU,2BAA2B,CAAC,OAAgB,EAAE,IAAyB;IACrF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;IACtF,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC;IACpF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CACxC,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACzE,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,OAAO,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IACxE,IAAI,IAAY,CAAC;IACjB,IAAI,OAAe,CAAC;IACpB,gEAAgE;IAChE,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,KAAgC,CAAC;IACrC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO;YACV,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,oDAAoD,CAAC,CAAC;QACzF,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;QACvB,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACvD,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzF,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YACrF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,+DAA+D,CAChE,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpD,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,kBAAkB,CAAC;YACxE,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;YAChD,OAAO,GAAG,GAAG,CAAC;YACd,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACnF,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACzF,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC7F,8DAA8D;YAC9D,sCAAsC;YACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACrF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;YACf,IAAI,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACvD,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;aAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YAC9D,sEAAsE;YACtE,qDAAqD;YACrD,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;gBACvD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBACnF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;wBAC5B,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC1C,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;oBACrD,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;oBAC1D,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC;oBAC1B,MAAM,KAAK,GAAG,MAAM,CAAC;oBACrB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACpE,CAAC;qBAAM,IAAI,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjF,8DAA8D;oBAC9D,gEAAgE;oBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,CAAC;oBACtF,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oBACnF,OAAO,GAAG,GAAG,CAAC;oBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;oBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;wBAClB,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,YAAY;4BAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;4BAC5B,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,GAAG;qBACJ,CAAC,CAAC;gBACL,CAAC;;oBACC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,qDAAqD,CACtD,CAAC;YACN,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,CAAC;YACrF,IAAI,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACvD,IAAI,KAAK,GAA4B,IAAI,CAAC;YAC1C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACjC,GAAG,GAAG,IAAI,CACR;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,iBAAiB;oBACrB,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,kBAAkB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBAC/D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,EACD,kBAAkB,CACnB,CAAC;gBACF,OAAO,GAAG,GAAG,CAAC;gBACd,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,oBAAoB;wBACxB,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC;wBAC5B,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACrE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;gBACpC,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7B,MAAM,OAAO,GAAG,OAAO,CAAC;gBACxB,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;gBAChF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBACjC,sDAAsD;gBACtD,IACE,OAAO;oBACP,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;oBACtC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,EACtC,CAAC;oBACD,+DAA+D;oBAC/D,4DAA4D;oBAC5D,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;oBACtD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;wBAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;wBAC3E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;wBAC9C,MAAM,OAAO,GAAW;4BACtB,IAAI,EAAE,KAAK;4BACX,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;4BACnF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;4BAC/D,IAAI,EAAE,IAAI;4BACV,GAAG,EAAE,UAAU;yBAChB,CAAC;wBACF,OAAO,MAAM,CAAC;4BACZ,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE;4BACrF,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;gCAC9E,MAAM,EAAE,GAAG;gCACX,IAAI,EAAE,OAAO;gCACb,GAAG;6BACJ;4BACD,IAAI,EAAE,OAAO;4BACb,GAAG;yBACJ,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,oEAAoE;gBACpE,yDAAyD;gBACzD,IAAI;oBACF,CAAC,OAAO,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;wBACxC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC;wBAC5C,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YACpE,CAAC;iBAAM,IACL,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC1B,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EACzD,CAAC;gBACD,4DAA4D;gBAC5D,kEAAkE;gBAClE,iEAAiE;gBACjE,kEAAkE;gBAClE,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAE,CAAC;gBACvD,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;gBACpC,MAAM,QAAQ,GACZ,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;gBAClF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,wDAAwD,CACzD,CAAC;gBACJ,CAAC;gBACD,OAAO,GAAG,UAAU,CAAC;gBACrB,IAAI,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;gBAClF,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,cAAc;oBACpB,GAAG,EAAE,QAAQ;oBACb,OAAO;oBACP,GAAG;oBACH,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;oBAClD,GAAG;iBACJ,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAC/B,CAAC,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAC1E,CAAC;gBACD,iEAAiE;gBACjE,gEAAgE;gBAChE,MAAM,KAAK,GAAG,KAAK,CAAC;gBACpB,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC/B,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC;gBAC1B,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC1D,KAAK,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACrE,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,wDAAwD,CACzD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,4CAA4C,CAAC,CAAC;IACtF,CAAC;IACD,IACE,OAAO;QACP,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACxB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAC7F,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,IAAI,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAChF,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,sEAAsE;QACtE,qEAAqE;QACrE,wCAAwC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;YACxB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED;oCACoC;AACpC,SAAS,gBAAgB,CAAC,OAAgB,EAAE,OAAe;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACvF,OAAO,KAAK,CAAC,UAAU,CAAC;AAC1B,CAAC"}

package/dist/frontend/lowering/expressions/object-literals.d.ts

@@ -13,7 +13,7 @@ export declare function foldedStringKeyOf(lowerer: Lowerer, expr: ts.Expression)
  * (dynFrom's domain, functions box); a value with no dyn representation
  * fences per property. Spreads create own data properties in source order;
  * accessors retain their captured getter and setter closures. */
-export declare function lowerDynObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression, boxValue?: (node: ts.Expression, value: IrExpr) => IrExpr): IrExpr;
+export declare function lowerDynObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression, boxValue?: (node: ts.Expression, value: IrExpr) => IrExpr, conditionalArms?: boolean): IrExpr;
 export declare function lowerObjectLiteral(lowerer: Lowerer, expr: ts.ObjectLiteralExpression, expected?: IrType & {
     kind: "record";
 }): IrExpr;

package/dist/frontend/lowering/expressions/object-literals.js

@@ -1,19 +1,19 @@
 import { keyedHelperName } from "../stable-names.js";
 import { dateJsonType, isDateJsonSource } from "../builtins/dates.js";
 import { dynUndefinedExpr, numLit, strLit, varRef } from "../../../ir/build.js";
-import { pathModuleValue } from "../lower-builtin-values.js";
+import { pathModuleSpreadSource } from "../lower-builtin-values.js";
 import { InternalCompilerError } from "../../../errors.js";
 import * as ts from "../../ts7/adapter.js";
 import { BOOL, DYN, F64, STRING, UNDEFINED_T, VOID, arrayOf, canDynCheckTo, isUnitType, shapeHasAccessorSlots, typeEquals, } from "../../../ir/ir.js";
 import { isCjsExportTableLiteral, isJsSourceFile, locOf } from "../../program.js";
 import { NARROW_FIRST } from "../surfaces.js";
-import { recordShapeMismatchDiag } from "../../../diagnostics/diagnostic.js";
+import { recordShapeMismatchDiag, unionLiteralMismatchDiag, } from "../../../diagnostics/diagnostic.js";
 import { PoisonError, jsFuncNameOf, neverTaintedJsType } from "../lowerer.js";
 import { lowerIndexMergeHelper } from "../containers/indexed-objects.js";
 import { PERF_ENTRY_MARKER, X509_PUBLIC_KEY_FIELD, isGenericCallableMemberType, jsOpenObjectType, } from "../../type-mapper.js";
 import { isSafeToRepeat } from "./evaluation-safety.js";
 import { tryLowerExpression } from "./try-lower-expression.js";
-import { fenceSymbolFieldCopy } from "../symbol-fields.js";
+import { classSymbolKeyOf, fenceSymbolFieldCopy, symbolFieldDisplayName, } from "../symbol-fields.js";
 import { planUnionRetag } from "../union-retag.js";
 import { jsHoldsDynObject, runtimeOptionalStorageOperand } from "../lower-exprs.js";
 import { builtinGlobalValue } from "./property-access.js";
@@ -174,8 +174,22 @@ function propNameText(lowerer, name) {
  * (NamedEvaluation): an identifier, string or numeric key, or a computed
  * key that folds to one string. Null for other keys. */
 function propertyFunctionName(lowerer, name) {
-    if (ts.isComputedPropertyName(name))
-        return literalComputedKey(lowerer, name);
+    if (ts.isComputedPropertyName(name)) {
+        const literal = literalComputedKey(lowerer, name);
+        if (literal !== null)
+            return literal;
+        // A symbol key names the function `[description]`.
+        let key = name.expression;
+        while (ts.isParenthesizedExpression(key))
+            key = key.expression;
+        const symbol = classSymbolKeyOf(lowerer, key);
+        if (symbol)
+            return `[${symbolFieldDisplayName(symbol.fieldName).slice("Symbol(".length, -1)}]`;
+        const wellKnown = ts.isPropertyAccessExpression(key)
+            ? lowerer.stdlibGlobalMember(key, "Symbol")
+            : null;
+        return wellKnown ? `[Symbol.${wellKnown}]` : null;
+    }
     if (ts.isNumericLiteral(name))
         return String(Number(name.text));
     if (ts.isIdentifier(name) || ts.isStringLiteral(name))
@@ -193,7 +207,7 @@ function propertyFunctionName(lowerer, name) {
  * (dynFrom's domain, functions box); a value with no dyn representation
  * fences per property. Spreads create own data properties in source order;
  * accessors retain their captured getter and setter closures. */
-export function lowerDynObjectLiteral(lowerer, expr, boxValue) {
+export function lowerDynObjectLiteral(lowerer, expr, boxValue, conditionalArms = false) {
     const loc = locOf(expr);
     let fields = [];
     let acc = null;
@@ -259,10 +273,15 @@ export function lowerDynObjectLiteral(lowerer, expr, boxValue) {
             flushFields();
             const builtin = lowerer.builtinNamespaceModuleOf(prop.expression);
             const raw = builtin === "path" || builtin === "path/posix" || builtin === "path/win32"
-                ? pathModuleValue(lowerer, builtin === "path" ? "path/posix" : builtin, locOf(prop))
-                : isJsSourceFile(ts.getSourceFileOfNode(expr))
-                    ? lowerer.lowerExprExpecting(prop.expression, DYN)
-                    : lowerer.lowerExpr(prop.expression);
+                ? pathModuleSpreadSource(lowerer, builtin === "path" ? "path/posix" : builtin, isNamespaceImport(lowerer, prop.expression), locOf(prop))
+                : !boxValue &&
+                    conditionalArms &&
+                    (conditionalSpreadOf(prop.expression) !== null ||
+                        andSpreadOf(lowerer, prop.expression) !== null)
+                    ? lowerConditionalDynSource(lowerer, prop.expression)
+                    : isJsSourceFile(ts.getSourceFileOfNode(expr))
+                        ? lowerer.lowerExprExpecting(prop.expression, DYN)
+                        : lowerer.lowerExpr(prop.expression);
             fenceSymbolFieldCopy(lowerer, prop.expression, raw.type);
             const source = boxValue ? boxValue(prop.expression, raw) : lowerer.coerceToExpected(raw, DYN);
             if (source.type.kind !== "dyn") {
@@ -368,7 +387,12 @@ export function lowerDynObjectLiteral(lowerer, expr, boxValue) {
                     : !boxValue &&
                         (ts.isObjectLiteralExpression(valueExpr) ||
                             (ts.isArrayLiteralExpression(valueExpr) &&
-                                holdsEvolvingArray(lowerer, valueExpr)))
+                                // An empty literal takes whatever the object's users
+                                // store into it (`{ [kChildren]: [] }`), so it is a
+                                // checked-dynamic array rather than its `never[]` layout.
+                                (valueExpr.elements.nodes.length === 0 ||
+                                    holdsEvolvingArray(lowerer, valueExpr) ||
+                                    lowerer.untypedLiteralContext(valueExpr))))
                         ? lowerer.lowerExprExpecting(valueExpr, DYN)
                         : lowerer.lowerExpr(valueExpr);
             raw = fenceClosureProbe(lowerer, valueExpr, undefined, lowerValue) ?? lowerValue();
@@ -858,6 +882,11 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
     // message even when they also make the literal's type unmappable
     // (a getter or a `this`-returning method would otherwise surface as an
     // opaque type fence on the whole literal).
+    // A conditional spread the field desugar cannot express is only DEFERRED
+    // here: the checked-dynamic copy below (`...(c ? a : b)` is one
+    // copyDataProperties of whichever arm runs) may still lower the whole
+    // literal, and the fence's message fires where that declines.
+    let deferredConditionalSpread = null;
     for (const prop of expr.properties.nodes) {
         if (ts.isSpreadAssignment(prop)) {
             // Supported shapes: FULL spreads of known record shapes read as
@@ -870,7 +899,7 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             // name, collision-fenced below). Everything else stays fenced.
             const cs = conditionalSpreadOf(prop.expression) ?? andSpreadOf(lowerer, prop.expression);
             if (cs === "unsupported" && conditionalRecordSpreadOf(lowerer, prop.expression) === null) {
-                lowerer.unsupported("SC1090", prop, "conditional spreads beyond `...(c ? { field: v } : {})` and `...(c ? record : {})` (one arm must be empty — spell other shapes as optional fields)");
+                deferredConditionalSpread ??= prop;
             }
             // Spread ORDER is fenced in the field-by-field desugar below, not
             // here: the index-signature merge path supports any order (keyed
@@ -1153,8 +1182,32 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             jsOpenObjectType(expr, mapped, lowerer.shapes, lowerer.unions).kind === "dyn")) {
         return lowerDynObjectLiteral(lowerer, expr);
     }
-    if (!mapped || mapped.kind !== "record")
+    if (deferredConditionalSpread) {
+        // The checked-dynamic build copies whichever arm the conditional picks,
+        // in Node's own-key order, so a shape the field desugar cannot express
+        // still lands — copy then validate into the record. When the target has
+        // no checked extraction the fence's own message fires.
+        const fallback = mapped && mapped.kind === "record" ? dynSpreadLiteral(lowerer, expr, mapped, true) : null;
+        if (fallback)
+            return fallback;
+        lowerer.unsupported("SC1090", deferredConditionalSpread, CONDITIONAL_SPREAD_FENCE);
+    }
+    if (!mapped || mapped.kind !== "record") {
+        // A spread merge over UNION-typed sources (`{ ...base, ...override }`
+        // with `base`, `override` of arm-union types) has one field set per
+        // combination of source arms, so its own type is a union of records.
+        // No single arm of the contextual union can hold that value without
+        // dropping the fields the other arms contributed (Node keeps them
+        // all), and a runtime tag would be a guess about which arm the value
+        // "is". Refuse, naming the candidate arms.
+        if (mapped?.kind === "union") {
+            const members = tsType.isUnionType() ? ts.constituentTypes(tsType) : [tsType];
+            const arms = [...new Set(members.map((m) => lowerer.checker.typeToString(m)))];
+            lowerer.pushDiag(unionLiteralMismatchDiag(lowerer.checker.typeToString(tsType), arms, locOf(expr)));
+            throw new PoisonError();
+        }
         lowerer.badType(expr, tsType);
+    }
     let type = mapped;
     // A fresh, plain literal can construct its fields directly for a known
     // destination with the same field set. This matters for inferred
@@ -1239,6 +1292,13 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             return lowerDynObjectLiteral(lowerer, expr);
         }
     }
+    /** A conditional spread's own-key presence is runtime state: which arm
+     * runs — and whether it writes the key at all — outruns the desugar's one
+     * entry per name (a later conditional over an earlier contributor, an
+     * index-signature slot, a required field's empty arm). Those refusals
+     * retry the whole literal as Node's own-key copy into a dyn object,
+     * validated into `type` afterwards. Null leaves the caller's refusal. */
+    const conditionalFallback = () => dynSpreadLiteral(lowerer, expr, type, true);
     // The clone probe may lower the leading spread before declining (a
     // static `as` cast can make the checker-visible shape match while its
     // erased IR value keeps a wider shape). Reuse that exact value in the
@@ -1329,6 +1389,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             if (ts.isSpreadAssignment(prop)) {
                 const cs = conditionalSpreadOf(prop.expression) ?? andSpreadOf(lowerer, prop.expression);
                 if (cs === "unsupported" || (cs && cs.props.length !== 1)) {
+                    const conditionalDyn = conditionalFallback();
+                    if (conditionalDyn)
+                        return conditionalDyn;
                     lowerer.unsupported("SC1090", prop, "conditional spreads beyond `...(c ? { field: v } : {})` (exactly one property against an empty arm)");
                 }
                 if (cs) {
@@ -1555,6 +1618,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     const fieldType = fieldTypes.get(name);
                     if (!fieldType) {
                         if (shape.indexValue) {
+                            const conditionalDyn = conditionalFallback();
+                            if (conditionalDyn)
+                                return conditionalDyn;
                             lowerer.unsupported("SC1090", prop, "conditional spreads into index-signature keys (overflow entries model presence — write the key in an if statement instead)");
                         }
                         shapeMismatch(prop);
@@ -1564,9 +1630,15 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     const absent = lowerer.absentFieldValue(fieldType, locOf(prop)) ??
                         (fieldType.kind === "dyn" ? dynUndefinedExpr(locOf(prop)) : null);
                     if (!absent) {
+                        const conditionalDyn = conditionalFallback();
+                        if (conditionalDyn)
+                            return conditionalDyn;
                         lowerer.unsupported("SC1090", prop, `conditional spreads onto the required field '${name}' (the empty arm leaves it undefined — declare the field optional)`);
                     }
                     if (fields.some((f) => f.name === name)) {
+                        const conditionalDyn = conditionalFallback();
+                        if (conditionalDyn)
+                            return conditionalDyn;
                         lowerer.unsupported("SC1090", prop, `conditional spread of '${name}' over an earlier '${name}' (the desugar keeps one entry per name — restructure so each name has one contributor)`);
                     }
                     if (cond === null) {
@@ -1651,6 +1723,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     throw new InternalCompilerError(`lowerer bug: spread of unknown shape ${recArm.shapeId}`);
                 fenceAccessorSpreadSource(lowerer, prop, srcShape);
                 if (srcShape.indexValue || shape.indexValue) {
+                    const fallback = dynSpreadLiteral(lowerer, expr, type);
+                    if (fallback)
+                        return fallback;
                     lowerer.unsupported("SC1090", prop, "object spread involving index-signature shapes (overflow keys are runtime state — copy the fields you need explicitly)");
                 }
                 const laterNames = new Set();
@@ -1677,6 +1752,28 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     }
                 }
                 const srcRef = () => srcLowered ?? lowerer.lowerExpr(srcNode);
+                const srcNarrowed = () => ({
+                    kind: "unionNarrow",
+                    unionId: srcType.unionId,
+                    tag: recTag,
+                    value: srcRef(),
+                    type: recArm,
+                    loc: locOf(prop),
+                });
+                // The source PROVEN present: the checked extraction `x!` lowers to
+                // (narrowedArmHelper + checkedNarrowCall). A required target field
+                // with no earlier contributor has no absent representation, so
+                // `{ ...maybeRecord }` into it must find the record: the unit arm
+                // throws the catchable TypeError instead of leaving the slot unset
+                // (divergence 38's lying-assertion stance — the checker typed the
+                // spread's fields optional, so only a cast or an unchecked indexed
+                // read reaches this shape).
+                const srcPresent = () => {
+                    const helper = lowerer.narrowedArmHelper(srcType.unionId, recArm, locOf(prop));
+                    return helper
+                        ? lowerer.checkedNarrowCall(helper, srcRef(), recArm, locOf(prop))
+                        : srcNarrowed();
+                };
                 orderSegments.push({ kind: "spread", shapeId: recArm.shapeId, maybeAbsent: true });
                 for (const f of srcShape.fields) {
                     if (laterNames.has(f.name))
@@ -1687,18 +1784,14 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     if (!targetType)
                         continue;
                     if (conditionalNames.has(f.name)) {
+                        const conditionalDyn = conditionalFallback();
+                        if (conditionalDyn)
+                            return conditionalDyn;
                         lowerer.unsupported("SC1090", prop, `spread of '${f.name}' over an earlier conditional spread (the desugar keeps one entry per name — restructure so each name has one contributor)`);
                     }
-                    const fRead = () => ({
+                    const fRead = (present = false) => ({
                         kind: "recordGet",
-                        obj: {
-                            kind: "unionNarrow",
-                            unionId: srcType.unionId,
-                            tag: recTag,
-                            value: srcRef(),
-                            type: recArm,
-                            loc: locOf(prop),
-                        },
+                        obj: present ? srcPresent() : srcNarrowed(),
                         shapeId: recArm.shapeId,
                         field: f.name,
                         type: f.type,
@@ -1816,7 +1909,26 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     const at = fields.findIndex((x) => x.name === f.name);
                     const elseVal = at >= 0 ? fields[at].value : lowerer.absentFieldValue(targetType, locOf(prop));
                     if (!elseVal) {
-                        lowerer.unsupported("SC1090", prop, `object spread of '${lowerer.fmt(srcType)}' sources where '${f.name}' has no earlier contributor (the absent arm leaves the required field unset — spread defaults first: { ...defaults, ...overrides })`);
+                        if (canBeAbsent) {
+                            // The FIELD itself can be missing from a present source:
+                            // no extraction makes it exist.
+                            lowerer.unsupported("SC1090", prop, `object spread of '${lowerer.fmt(srcType)}' sources where '${f.name}' has no earlier contributor (the absent arm leaves the required field unset — spread defaults first: { ...defaults, ...overrides })`);
+                        }
+                        // No earlier contributor and the target slot cannot be absent:
+                        // the source must be here. Copy through the checked extraction
+                        // (the absent unit arm throws) — the same read the width lift
+                        // below wraps, so a lift still applies.
+                        let strict = fRead(true);
+                        if (!typeEquals(f.type, targetType)) {
+                            const lift = lowerer.widthLiftPlan(f.type, targetType);
+                            if (!lift) {
+                                lowerer.pushDiag(recordShapeMismatchDiag(lowerer.fmt(type), lowerer.fmt(recArm), locOf(prop), `spread field '${f.name}': '${lowerer.fmt(f.type)}' does not lift into '${lowerer.fmt(targetType)}'`));
+                                throw new PoisonError();
+                            }
+                            strict = lowerer.applyWidthLift(lift, strict, targetType, locOf(prop));
+                        }
+                        fields.push({ name: f.name, value: strict });
+                        continue;
                     }
                     const merged = {
                         kind: "ternary",
@@ -1834,6 +1946,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                 continue;
             }
             if (srcType?.kind !== "record") {
+                const fallback = dynSpreadLiteral(lowerer, expr, type);
+                if (fallback)
+                    return fallback;
                 lowerer.unsupported("SC1090", prop, `object spread of '${srcType ? lowerer.fmt(srcType) : lowerer.checker.typeToString(lowerer.typeOf(srcNode))}' sources (only known record shapes spread — ${NARROW_FIRST})`);
             }
             const srcShape = lowerer.shapes.get(srcType.shapeId);
@@ -1843,6 +1958,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             // Index-signature shapes carry runtime-keyed overflow entries the
             // field-by-field desugar cannot enumerate — fenced on either side.
             if (srcShape.indexValue || shape.indexValue) {
+                const fallback = dynSpreadLiteral(lowerer, expr, type);
+                if (fallback)
+                    return fallback;
                 lowerer.unsupported("SC1090", prop, "object spread involving index-signature shapes (overflow keys are runtime state — copy the fields you need explicitly)");
             }
             // Names a LATER contributor unconditionally defines: copying such a
@@ -1964,6 +2082,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                 if (lift)
                     value = lowerer.applyWidthLift(lift, value, targetType, locOf(prop));
                 if (conditionalNames.has(f.name)) {
+                    const conditionalDyn = conditionalFallback();
+                    if (conditionalDyn)
+                        return conditionalDyn;
                     lowerer.unsupported("SC1090", prop, `spread of '${f.name}' over an earlier conditional spread (the desugar keeps one entry per name — restructure so each name has one contributor)`);
                 }
                 const at = fields.findIndex((x) => x.name === f.name);
@@ -2166,6 +2287,9 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
         // conditional-spread entry cannot be overridden (its ternary IS the
         // spread's evaluation; splicing it out would drop that).
         if (conditionalNames.has(name)) {
+            const conditionalDyn = conditionalFallback();
+            if (conditionalDyn)
+                return conditionalDyn;
             lowerer.unsupported("SC1090", prop, `'${name}' after a conditional spread of the same name (the desugar keeps one entry per name — restructure so each name has one contributor)`);
         }
         const at = fields.findIndex((x) => x.name === name);
@@ -2203,6 +2327,21 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
         ? result
         : { kind: "seqExpr", stmts: spreadStmts, result, type, loc };
 }
+/** The field type is an array, or a union with exactly one array arm. */
+function singleArrayArm(lowerer, type) {
+    if (type.kind === "array")
+        return true;
+    if (type.kind !== "union")
+        return false;
+    const arms = lowerer.unions.get(type.unionId)?.arms ?? [];
+    return arms.filter((arm) => arm.kind === "array").length === 1;
+}
+function isEmptyArrayLiteral(node) {
+    let inner = node;
+    while (ts.isParenthesizedExpression(inner))
+        inner = inner.expression;
+    return ts.isArrayLiteralExpression(inner) && inner.elements.nodes.length === 0;
+}
 /** A union of plain records can preserve its existing variant while
  * replacing shared fields. Dispatch before constructing the copy: only
  * the selected arm evaluates overrides, and recordClone snapshots fields
@@ -2253,8 +2392,12 @@ function lowerUnionRecordClone(lowerer, expr) {
         for (let index = 0; index < props.length; index++) {
             const prop = props[index];
             const node = ts.isPropertyAssignment(prop) ? prop.initializer : prop.name;
-            const valueType = lowerer.mapTypeOf(lowerer.typeOf(node));
             const fieldType = shape.fields.find((field) => field.name === names[index]).type;
+            // An empty array literal (`content: []`, typed `never[]`) builds a
+            // fresh array of each arm's own element type.
+            if (isEmptyArrayLiteral(node) && singleArrayArm(lowerer, fieldType))
+                continue;
+            const valueType = lowerer.mapTypeOf(lowerer.typeOf(node));
             const lift = valueType ? lowerer.widthLiftPlan(valueType, fieldType) : null;
             // The inferred result must retain an override's own fields and
             // aliases. A structural copy into the source field's narrower shape
@@ -2489,6 +2632,109 @@ function lowerConditionalRecordSpread(lowerer, spread, loc) {
         loc,
     };
 }
+/** A spread source the record desugar cannot enumerate: an untyped
+ * (`unknown`) value, or one whose shape carries an index signature
+ * (`Record<string, unknown>`, `{ [key: string]: T }`) so its keys are
+ * runtime state. Node copies own enumerable keys in insertion order, which
+ * the checked-dynamic object reproduces. */
+function dynSpreadSource(lowerer, node) {
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if ((lowerer.typeOf(e).flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !== 0)
+        return true;
+    const indexed = (t) => {
+        if (t?.kind === "record")
+            return lowerer.shapes.get(t.shapeId)?.indexValue !== undefined;
+        if (t?.kind === "union")
+            return (lowerer.unions.get(t.unionId)?.arms ?? []).some((arm) => indexed(arm));
+        return false;
+    };
+    const mapped = lowerer.mapTypeOf(lowerer.typeOf(e));
+    return mapped?.kind === "dyn" || indexed(mapped);
+}
+/** The syntax fence for a conditional spread no desugar expresses (one arm
+ * must be empty). Fired once the checked-dynamic fallback declines. */
+const CONDITIONAL_SPREAD_FENCE = "conditional spreads beyond `...(c ? { field: v } : {})` and `...(c ? record : {})` (one arm must be empty — spell other shapes as optional fields)";
+/** `expr` as a checked-dynamic object validated into `type` — the
+ * copy-then-check a spread of an untyped or runtime-keyed source needs
+ * (`{ ...item }` out of a `Record<string, unknown>`). Null when no spread
+ * source is of that world or the target shape has no checked extraction:
+ * the caller keeps its own refusal. Keys the target does not declare drop
+ * (divergence 36/68's spread stance). */
+function dynSpreadLiteral(lowerer, expr, type, conditional = false) {
+    if (type.kind !== "record")
+        return null;
+    // A conditional spread's keys are runtime state too — which arm runs (and
+    // whether it contributes any key at all) is decided at runtime, and one
+    // contributor per name cannot express a later conditional addressing a
+    // name an earlier contributor already wrote.
+    const qualifies = (node) => dynSpreadSource(lowerer, node) ||
+        (conditional && (conditionalSpreadOf(node) !== null || andSpreadOf(lowerer, node) !== null));
+    if (!expr.properties.nodes.some((prop) => ts.isSpreadAssignment(prop) && qualifies(prop.expression)))
+        return null;
+    if (!canDynCheckTo(type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id)))
+        return null;
+    // The target is a declared record, so a conditional source's arm has the
+    // record as its checker context: lower the arms as the dyn values whose
+    // own keys the copy reads, not against the record one arm need not
+    // complete.
+    return lowerer.coerceToExpected(lowerDynObjectLiteral(lowerer, expr, undefined, true), type);
+}
+/** A conditional spread source in a checked-dynamic literal, as the dyn
+ * value whose own keys the copy reads. The whole ternary lowers arm by arm
+ * (`c && {...}` is `c ? {...} : undefined` — a primitive contributes no
+ * keys, JS's own spread rule) because an arm's checker CONTEXT is the
+ * enclosing literal's record, which one arm need not complete: a fresh arm
+ * literal builds for its own type and converts. */
+function lowerConditionalDynSource(lowerer, node) {
+    const toDyn = (armNode) => {
+        let e = armNode;
+        while (ts.isParenthesizedExpression(e))
+            e = e.expression;
+        if (ts.isConditionalExpression(e))
+            return lowerConditionalDynSource(lowerer, e);
+        if (ts.isBinaryExpression(e) &&
+            e.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+            let right = e.right;
+            while (ts.isParenthesizedExpression(right))
+                right = right.expression;
+            if (ts.isObjectLiteralExpression(right)) {
+                const loc = locOf(e);
+                return {
+                    kind: "ternary",
+                    cond: lowerer.lowerCondition(e.left),
+                    then: toDyn(right),
+                    else_: dynUndefinedExpr(loc),
+                    type: DYN,
+                    loc,
+                };
+            }
+        }
+        // A fresh arm literal builds as the dyn object its keys describe. Asking
+        // the record lowering for it would read the arm's checker CONTEXT — the
+        // enclosing literal's record, which this one arm need not complete — and
+        // fail the arm for fields the other contributor supplies.
+        if (ts.isObjectLiteralExpression(e))
+            return lowerDynObjectLiteral(lowerer, e);
+        return lowerer.lowerExprExpecting(e, DYN);
+    };
+    let e = node;
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (ts.isConditionalExpression(e)) {
+        const loc = locOf(e);
+        return {
+            kind: "ternary",
+            cond: lowerer.lowerCondition(e.condition),
+            then: toDyn(e.whenTrue),
+            else_: toDyn(e.whenFalse),
+            type: DYN,
+            loc,
+        };
+    }
+    return toDyn(e);
+}
 export function conditionalSpreadOf(expr) {
     let e = expr;
     while (ts.isParenthesizedExpression(e))
@@ -2560,6 +2806,9 @@ function lowerDeclaredSpreadMerge(lowerer, expr, type, shape, loc) {
     // absent.
     for (const f of shape.fields) {
         if (f.type.kind !== "union" || lowerer.armTag(f.type.unionId, UNDEFINED_T) < 0) {
+            const fallback = dynSpreadLiteral(lowerer, expr, type);
+            if (fallback)
+                return fallback;
             lowerer.unsupported("SC1090", expr, `object spread of runtime-keyed sources onto the required field '${f.name}' (the keys decide presence at runtime — declare the field optional or spell it explicitly)`);
         }
     }
@@ -3003,4 +3252,13 @@ function rejectThisInObjectAccessor(lowerer, node) {
     }
     ts.forEachChild(node, (child) => rejectThisInObjectAccessor(lowerer, child));
 }
+/** Whether a spread source is an ES module namespace binding
+ * (`import * as path`); a default import, a require and a named
+ * sub-namespace are module objects. */
+function isNamespaceImport(lowerer, expr) {
+    if (!ts.isIdentifier(expr))
+        return false;
+    const decl = lowerer.checker.getSymbolAtLocation(expr)?.declarations[0];
+    return decl !== undefined && ts.isNamespaceImport(decl);
+}
 //# sourceMappingURL=object-literals.js.map