@scriptc/compiler 0.4.8 → 0.4.9

package/dist/frontend/lowering/expressions/asserted-receiver.js.map

@@ -1 +1 @@
-{"version":3,"file":"asserted-receiver.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/asserted-receiver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAyC,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAElG,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D;qDACqD;AACrD,MAAM,UAAU,oBAAoB,CAClC,IAAmB;IAEnB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,OAAO,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAOD,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnE,IAAI,GAAG,GAAkB,MAAM,CAAC,kBAAkB,CAAC;IACnD,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACxF,yDAAyD;IACzD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;qEAIqE;AACrE,SAAS,sBAAsB,CAAC,SAA6C;IAC3E,IAAI,GAAG,GAAY,SAAS,CAAC;IAC7B,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,IAAI,MAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YAChF,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACpF,OAAO,eAAe,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED;4CAC4C;AAC5C,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;IACtD,OAAO,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,GAAG,CAAC;AAClG,CAAC;AAED;;;;;iBAKiB;AACjB,MAAM,UAAU,qBAAqB,CACnC,SAA6C;IAE7C,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,GAAG,GAAY,MAAM,CAAC;IAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,GAAG;QAC9E,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACnB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG;QAAE,OAAO,MAAM,CAAC;IAC9E,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACxF,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;QACrC,MAAM,QAAQ,GACZ,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YACtC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;YACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/D,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;6DAO6D;AAC7D,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,KAAa,EAAE,MAAc;IACjF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;YAAE,UAAU,EAAE,CAAC;aACjE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,MAAM,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;;YAC7E,MAAM,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,SAA6C,EAC7C,MAAmB,EACnB,KAAa;IAEb,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;yCAIyC;AACzC,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,MAAmB;IAC3E,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7D,OAAO,KAAK,KAAK,IAAI,IAAI,wBAAwB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;AAChG,CAAC;AAED;;;;;;2CAM2C;AAC3C,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IACrE,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QACpC,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED;oEACoE;AACpE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAa,EACb,MAAc,EACd,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"asserted-receiver.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/asserted-receiver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAyC,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAElG,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;qDACqD;AACrD,MAAM,UAAU,oBAAoB,CAClC,IAAmB;IAEnB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,OAAO,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAOD,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnE,IAAI,GAAG,GAAkB,MAAM,CAAC,kBAAkB,CAAC;IACnD,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACxF,yDAAyD;IACzD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;qEAIqE;AACrE,SAAS,sBAAsB,CAAC,SAA6C;IAC3E,IAAI,GAAG,GAAY,SAAS,CAAC;IAC7B,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,IAAI,MAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;YAChF,GAAG,GAAG,MAAM,CAAC;YACb,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5F,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACpF,OAAO,eAAe,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED;4CAC4C;AAC5C,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;IACtD,OAAO,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,GAAG,CAAC;AAClG,CAAC;AAED;;;;;iBAKiB;AACjB,MAAM,UAAU,qBAAqB,CACnC,SAA6C;IAE7C,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,GAAG,GAAY,MAAM,CAAC;IAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,GAAG;QAC9E,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACnB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG;QAAE,OAAO,MAAM,CAAC;IAC9E,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACxF,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;QACrC,MAAM,QAAQ,GACZ,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC5C,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YACtC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;YACjD,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;QAC9C,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/D,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;6DAO6D;AAC7D,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,KAAa,EAAE,MAAc;IACjF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;YAAE,UAAU,EAAE,CAAC;aACjE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,MAAM,EAAE,CAAC;YAAE,OAAO,EAAE,CAAC;;YAC7E,MAAM,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;2DAE2D;AAC3D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,SAA6C,EAC7C,MAAmB,EACnB,KAAa;IAEb,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;yCAIyC;AACzC,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,MAAmB;IAC3E,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,qBAAqB,CAAC,SAAS,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7D,OAAO,KAAK,KAAK,IAAI,IAAI,wBAAwB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;AAChG,CAAC;AAED;;;;;;2CAM2C;AAC3C,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IACrE,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,OAAO,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QACpC,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9C,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED;oEACoE;AACpE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAa,EACb,MAAc,EACd,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;wDAKwD;AACxD,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAmB;IAC9D,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACtF,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACjC,OAAO,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/E,CAAC;AAED;;;4CAG4C;AAC5C,SAAS,cAAc,CAAC,OAAgB,EAAE,KAAoB,EAAE,MAAc;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;IAC1E,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,CACL,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,SAAS,CACjG,CAAC;AACJ,CAAC;AAED;;;;;;;;;;uCAUuC;AACvC,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,QAAuB,EACvB,MAAc;IAMd,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,OAAkC,CAAC;IACvC,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAChF,CAAC;IACD,sEAAsE;IACtE,wDAAwD;IACxD,IAAI,OAAO,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,oEAAoE;IACpE,sEAAsE;IACtE,iDAAiD;IACjD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,kEAAkE;IAClE,sEAAsE;IACtE,mEAAmE;IACnE,qCAAqC;IACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC1F,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED;;;;;;;;;;8DAU8D;AAC9D,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,MAAmC;IAEnC,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAC1C,MAAM,CAAC,IAAI,CAAC,IAAI,EAChB,KAAK,CAAC,IAAI,EACV,GAAG,EAAE,CAAC,KAAK,EACX,MAAM,CAAC,KAAK,CAAC,IAAI,EACjB,KAAK,CAAC,MAAM,CAAC,CACd,CAAC;IACF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACnC,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,MAAM,EACN,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,4KAA4K,CACzM,CAAC;AACJ,CAAC;AAED;;;mDAGmD;AACnD,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAuB,EACvB,MAAc,EACd,KAAc;IAEd,IAAI,sBAAsB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,IAAI;QAAE,OAAO;IACvE,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,KAAK,EACL,YAAY,MAAM,gKAAgK,CACnL,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/expressions/binary.js

@@ -7,7 +7,7 @@ import { cleanFuncAdaptable } from "../coercions/function-adapters.js";
 import { jsFuncNameOf } from "../lowerer.js";
 import { recordMayKeepSource } from "../record-sources.js";
 import { recordStringCall } from "../record-links.js";
-import { BIGINT_T, BOOL, DYN, DYN_HANDLE_KINDS, F64, REF_TRUTHY_KINDS, STRING, UNDEFINED_T, VOID, canBoxFuncIntoDyn, isUnitType, typeEquals, typeKey, } from "../../../ir/ir.js";
+import { BIGINT_T, BOOL, DYN, DYN_HANDLE_KINDS, F64, REF_TRUTHY_KINDS, STRING, UNDEFINED_T, VOID, canBoxFuncIntoDyn, isUnitType, typeEquals, sortArms, typeKey, } from "../../../ir/ir.js";
 import { isSafeToDiscard, isSafeToRepeat } from "./evaluation-safety.js";
 import { bigintCompoundValue, compoundUnsupported, concatOperand, constructorGlobalTypeof, deferredSlotOr, dynCompoundValue, lowerAbsenceProbe, lowerDynMemberAssignment, lowerDereferencedElementAssignment, lowerOperatorNumber, lowerPresenceOperand, nullishBranches, operandPairs, operatorUnsupported, runtimeOptionalStorageOperand, symbolFieldInfo, typeofAnswer, } from "../lower-exprs.js";
 import { COMPOUND_ASSIGN_OPS, NARROW_FIRST } from "../surfaces.js";
@@ -31,7 +31,7 @@ import { lowerClassPrototypeComputedAssignment } from "../class-prototypes.js";
 import { lowerShortCircuitAssignment } from "./nullish-assignment.js";
 import { lowerEventObjectPropertyWrite } from "../lower-event-target.js";
 import { lowerFieldCompoundValue } from "./updates.js";
-import { expandoWritableTarget } from "../lower-expando.js";
+import { fenceReadonlyExpandoWrite } from "../lower-expando.js";
 import { nsWritableTarget } from "../lower-namespaces.js";
 import { arrayValueStore, tryLowerBytesReadNumberEquality } from "../array-values.js";
 import { cjsExportMemberWriteGlobalOf, cjsInFileExportGlobalOf } from "../cjs-exports-object.js";
@@ -42,6 +42,7 @@ import { lowerInExpression } from "./relational.js";
 import { lowerDynTypeofTest, lowerErrorCodeTypeofTest } from "./typeof.js";
 import { builtinClassRefOf, sameBuiltinClass } from "../builtins/class-values.js";
 import { lowerRuntimeConstructorIs, runtimeConstructorReceiver, } from "../builtins/runtime-constructor.js";
+import { refuseShadowedImplicitReader } from "../handle-properties.js";
 import { tryLowerIndexedComparison } from "../indexed-comparison.js";
 import { lowerUnionEquality, sameNamespace, tagEqualityMayMissAlias } from "../strict-equality.js";
 import { withUnitArm } from "../../type-mapper.js";
@@ -427,7 +428,7 @@ export function lowerNullishPair(lowerer, expr, loc, left) {
         const arms = [...rest];
         if (!arms.some((arm) => typeEquals(arm, rightType)))
             arms.push(rightType);
-        arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+        sortArms(arms);
         type = { kind: "union", unionId: lowerer.unions.intern(arms) };
         lowerer.runtimeOptionalArithmeticTypes.set(expr, type);
     }
@@ -658,10 +659,14 @@ export function ensureString(lowerer, e, node) {
     if (e.type.kind === "searchParams")
         return { kind: "libCall", fn: "sp.toString", args: [e], type: STRING, loc: e.loc };
     // String(date) / `${date}` / "" + date: Date's ToPrimitive prefers
-    // toString().
-    if (e.type.kind === "date")
+    // toString(), which the program may have replaced with an own property
+    // this typed path cannot see.
+    if (e.type.kind === "date") {
+        refuseShadowedImplicitReader(lowerer, node, e.type, "toString", "string conversion");
         return { kind: "libCall", fn: "date.toString", args: [e], type: STRING, loc: e.loc };
+    }
     if (e.type.kind === "regex") {
+        refuseShadowedImplicitReader(lowerer, node, e.type, "toString", "string conversion");
         return {
             kind: "regexIntrinsic",
             method: "toString",
@@ -753,11 +758,18 @@ export function ensureString(lowerer, e, node) {
         lowerer.unsupported("SC1090", node, `string conversions of unions with object arms (${NARROW_FIRST})`);
     }
     if (e.type.kind === "symbol") {
-        // JS splits here: `${sym}` and concatenation THROW a TypeError,
-        // String(sym) answers "Symbol(desc)". One shared lowering cannot
-        // honor both — fence with the sanctioned spelling instead of
-        // guessing the context.
-        lowerer.unsupported("SC1090", node, "string conversions of symbol values (template literals throw in JS — call .toString() explicitly)");
+        // `${sym}`, `"" + sym`, `x += sym`: the ToString the operator performs
+        // throws Node's TypeError. String(sym) never reaches this helper (it
+        // lowers to dyn.stringConstructor), so the runtime operation is the
+        // whole answer here — a symbol throws, and the dynamic tier's own
+        // rendering stays reachable only through String(x).
+        return {
+            kind: "libCall",
+            fn: "dyn.toStringCoerce",
+            args: [{ kind: "dynFrom", value: e, type: DYN, loc: e.loc }],
+            type: STRING,
+            loc: e.loc,
+        };
     }
     if (isUnitType(e.type)) {
         if (e.kind === "unitLit") {
@@ -1004,6 +1016,68 @@ function lowerNanCodedEquality(lowerer, expr) {
         };
     return stmts.length === 0 ? result : { kind: "seqExpr", stmts, result, type: BOOL, loc };
 }
+/** A JavaScript numeric operator with one BigInt operand and one other value
+ * (`1n + 1`, `6n & true`, `8n / "2"`), or `>>>` over two BigInts. TypeScript
+ * refuses each of these forms because it has no conversion for them, while
+ * JavaScript applies ToNumeric to both operands before the operation: a
+ * primitive operand throws the mixed-type TypeError, a primitive wrapper or a
+ * conversion hook yields its BigInt and the BigInt operation answers, and
+ * `>>>` has no BigInt form at all. The checked-dynamic operator applies that
+ * order, and `dynCheck` keeps the operator's own BigInt result type. A pair of
+ * BigInt operands of any other operator keeps the static BigInt arms below, so
+ * a program that compiles today keeps its IR, and so does every other operator
+ * (a comparison keeps its `bigint.cmpNumber`/`dyn.compare` arm). */
+function lowerBigIntOperandOperator(lowerer, expr, op, left, right) {
+    const arithmetic = op === ts.SyntaxKind.MinusToken ||
+        op === ts.SyntaxKind.AsteriskToken ||
+        op === ts.SyntaxKind.SlashToken ||
+        op === ts.SyntaxKind.PercentToken ||
+        op === ts.SyntaxKind.AsteriskAsteriskToken;
+    const bitwise = op === ts.SyntaxKind.AmpersandToken ||
+        op === ts.SyntaxKind.BarToken ||
+        op === ts.SyntaxKind.CaretToken ||
+        op === ts.SyntaxKind.LessThanLessThanToken ||
+        op === ts.SyntaxKind.GreaterThanGreaterThanToken ||
+        op === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken;
+    if (op !== ts.SyntaxKind.PlusToken && !arithmetic && !bitwise)
+        return null;
+    const bigintLeft = left.type.kind === "bigint";
+    const bigintRight = right.type.kind === "bigint";
+    if (!bigintLeft && !bigintRight)
+        return null;
+    if (!isJsSourceFile(ts.getSourceFileOfNode(expr)))
+        return null;
+    const unsignedShift = op === ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken;
+    if (!unsignedShift && bigintLeft === bigintRight)
+        return null;
+    // A partner the arms below already answer keeps its IR: `dyn` reaches the
+    // checked-dynamic operator, and `1n + "x"` concatenates through the static
+    // string arm. Only the pieces TypeScript refused need this path.
+    const other = bigintLeft ? right : left;
+    if (other.type.kind === "dyn")
+        return null;
+    if (op === ts.SyntaxKind.PlusToken && other.type.kind === "string")
+        return null;
+    const loc = locOf(expr);
+    const l = lowerer.coerceToExpected(left, DYN);
+    const r = lowerer.coerceToExpected(right, DYN);
+    if (l.type.kind !== "dyn" || r.type.kind !== "dyn")
+        return null;
+    const args = [l, r];
+    // A partner may reach ToPrimitive as a string, where `+` concatenates
+    // (`1n + {}` is "1[object Object]"), so the sum keeps the operator's own
+    // untyped JavaScript result.
+    if (op === ts.SyntaxKind.PlusToken)
+        return { kind: "libCall", fn: "dyn.add", args, type: DYN, loc };
+    const value = {
+        kind: "libCall",
+        fn: arithmetic ? "dyn.arithmetic" : "dyn.bitwise",
+        args: [...args, { kind: "strLit", value: ts.tokenToString(op) ?? "?", type: STRING, loc }],
+        type: DYN,
+        loc,
+    };
+    return { kind: "dynCheck", value, type: BIGINT_T, loc };
+}
 export function lowerBinary(lowerer, expr) {
     const loc = locOf(expr);
     const op = expr.operatorToken.kind;
@@ -1086,8 +1160,10 @@ export function lowerBinary(lowerer, expr) {
         if (indexedCompound !== undefined &&
             (ts.isPropertyAccessExpression(expr.left) || ts.isElementAccessExpression(expr.left)) &&
             !(ts.isPropertyAccessExpression(expr.left) && expr.left.questionDotToken)) {
-            const target = expandoWritableTarget(lowerer, expr.left) ??
-                (ts.isPropertyAccessExpression(expr.left) ? nsWritableTarget(lowerer, expr.left) : null);
+            fenceReadonlyExpandoWrite(lowerer, expr.left);
+            const target = ts.isPropertyAccessExpression(expr.left)
+                ? nsWritableTarget(lowerer, expr.left)
+                : null;
             if (target) {
                 const value = lowerCompoundValueToTarget(lowerer, expr, indexedCompound, target);
                 return { kind: "assignExpr", localId: target.id, value, type: target.type, loc };
@@ -1145,13 +1221,16 @@ export function lowerBinary(lowerer, expr) {
             }
         }
         // Member targets whose storage IS a module global — namespace
-        // members (`N.x`) and expando function members (`Foo.baz`): the
-        // same assignExpr, since the "member" is a variable.
+        // members (`N.x`): the same assignExpr, since the "member" is a
+        // variable. Expando function members (`Foo.baz`) are callable-member
+        // table data and lower with every other callable member.
         if (op === ts.SyntaxKind.EqualsToken &&
             (ts.isPropertyAccessExpression(expr.left) || ts.isElementAccessExpression(expr.left)) &&
             !(ts.isPropertyAccessExpression(expr.left) && expr.left.questionDotToken)) {
-            const target = expandoWritableTarget(lowerer, expr.left) ??
-                (ts.isPropertyAccessExpression(expr.left) ? nsWritableTarget(lowerer, expr.left) : null);
+            fenceReadonlyExpandoWrite(lowerer, expr.left);
+            const target = ts.isPropertyAccessExpression(expr.left)
+                ? nsWritableTarget(lowerer, expr.left)
+                : null;
             if (target) {
                 const value = lowerer.lowerExprExpecting(expr.right, target.type);
                 return { kind: "assignExpr", localId: target.id, value, type: target.type, loc };
@@ -1349,7 +1428,7 @@ export function lowerBinary(lowerer, expr) {
         const nullTest = lowerLooseNullCompare(lowerer, expr, loc);
         if (nullTest)
             return nullTest;
-        const loose = lowerAbstractEquality(lowerer, deferredSlotOr(lowerer, lowerer.lowerExpr(expr.left)), deferredSlotOr(lowerer, lowerer.lowerExpr(expr.right)), op === ts.SyntaxKind.ExclamationEqualsToken, loc);
+        const loose = lowerAbstractEquality(lowerer, deferredSlotOr(lowerer, lowerer.lowerExpr(expr.left)), deferredSlotOr(lowerer, lowerer.lowerExpr(expr.right)), op === ts.SyntaxKind.ExclamationEqualsToken, loc, expr);
         if (loose)
             return loose;
         lowerer.unsupported("SC1040", expr, undefined, "object-to-primitive loose equality can call user-defined valueOf/toString methods — compare explicit primitive conversions instead");
@@ -1462,6 +1541,9 @@ export function lowerBinary(lowerer, expr) {
         if (right.type.kind === "caught")
             right = { kind: "caughtToDyn", value: right, type: DYN, loc: right.loc };
     }
+    const bigintOperand = lowerBigIntOperandOperator(lowerer, expr, op, left, right);
+    if (bigintOperand)
+        return bigintOperand;
     if (left.type.kind === "dyn" || right.type.kind === "dyn") {
         // The narrowing unit comparisons ARE answerable on unknown: `v ===
         // undefined` / `v !== null` test the dyn node's kind directly, and
@@ -2170,6 +2252,9 @@ export function lowerBinary(lowerer, expr) {
             // mutates the left Date (`a < (a.setTime(t), b)`) is seen: with such
             // a right operand, both Dates bind first and their times read after.
             if (left.type.kind === "date" && right.type.kind === "date") {
+                // The number hint reads valueOf, which the program may have replaced
+                // with an own property this typed path cannot see.
+                refuseShadowedImplicitReader(lowerer, expr, left.type, "valueOf", "comparison");
                 const time = (d) => ({
                     kind: "libCall",
                     fn: "date.getTime",
@@ -2368,7 +2453,7 @@ export function lowerStrictEquality(lowerer, node, leftNode, rightNode, left, ri
                         if (!arms.some((candidate) => typeEquals(candidate, arm)))
                             arms.push(arm);
                     }
-                    arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+                    sortArms(arms);
                     const common = {
                         kind: "union",
                         unionId: lowerer.unions.intern(arms),
@@ -2673,7 +2758,7 @@ function lowerLogicalPair(lowerer, expr, left) {
                 for (const arm of [...rightArms, ...leftArms.filter(isUnitType)]) {
                     byKey.set(typeKey(arm), arm);
                 }
-                const arms = [...byKey.values()].sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
+                const arms = sortArms([...byKey.values()]);
                 if (arms.length > 1) {
                     const source = right.type.kind === "union" ? lowerer.unions.get(right.type.unionId) : undefined;
                     target = {
@@ -2718,9 +2803,26 @@ function lowerLogicalPair(lowerer, expr, left) {
                         trappable.add(tag);
                     }
                 });
-                const retag = trappable.size === 0
+                // The reference-arm plan first, unchanged: every program that
+                // lowered before keeps byte-identical IR. Only where that plan has
+                // no route at all do the checker-proven truthy arms get trapped as
+                // well — a widened literal (`const ttl: "1h" | undefined`) maps to
+                // a plain `string` arm, and no value of that type survives `&&` as
+                // itself, so it is exactly as unreachable on the falsy path as a
+                // reference arm. That case used to be the union-conversion refusal
+                // this replaces.
+                let retag = trappable.size === 0
                     ? null
                     : lowerer.unionRetagHelper(left.type.unionId, target.unionId, loc, trappable);
+                if (retag === null && !canBeNonUnitFalsy(lowerer.typeOf(expr.left))) {
+                    const widened = new Set(trappable);
+                    def?.arms.forEach((arm, tag) => {
+                        if (lowerer.armTag(target.unionId, arm) < 0 && !isUnitType(arm))
+                            widened.add(tag);
+                    });
+                    if (widened.size > trappable.size)
+                        retag = lowerer.unionRetagHelper(left.type.unionId, target.unionId, loc, widened);
+                }
                 if (retag) {
                     lowerer.requireTruthyUnion(left.type.unionId, expr);
                     const stmts = [];
@@ -2923,6 +3025,31 @@ function lowerLogicalPair(lowerer, expr, left) {
         loc,
     };
 }
+/** Whether the checker leaves any non-unit value of `type` that can be
+ * falsy. `null`/`undefined`/`void` answer false (they are the falsy values
+ * the result union keeps as arms), objects and functions answer false (JS
+ * references are always truthy), and the empty string / 0 / 0n / false
+ * literal types answer true. Anything whose static answer is not obvious —
+ * a widened `string`, `number` or `boolean`, an enum, `any`, a type
+ * parameter — answers true, so the caller keeps its refusal. */
+function canBeNonUnitFalsy(type) {
+    if (type.isUnionType())
+        return ts.constituentTypes(type).some(canBeNonUnitFalsy);
+    const flags = type.flags;
+    if (flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined | ts.TypeFlags.Void | ts.TypeFlags.Never))
+        return false;
+    if (flags & ts.TypeFlags.BooleanLiteral)
+        return type.value === false;
+    if (flags & ts.TypeFlags.StringLiteral)
+        return type.value === "";
+    if (flags & ts.TypeFlags.NumberLiteral)
+        return type.value === 0;
+    if (flags & ts.TypeFlags.BigIntLiteral)
+        return type.value === BigInt(0);
+    if (flags & ts.TypeFlags.Object)
+        return false;
+    return true;
+}
 function lowerAbsenceAwareOrChain(lowerer, expr) {
     const nodes = [];
     const pending = [expr];