@zzzen/pyright-internal 1.2.0-dev.20261018 → 1.2.0-dev.20261108

package/dist/analyzer/typeEvaluator/evaluatorCore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluatorCore.js","sourceRoot":"","sources":["../../../../../../src/analyzer/typeEvaluator/evaluatorCore.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4JH,kDA48CC;AAtmDD,kEAA2D;AAE3D,8CAA4C;AAC5C,wDAA6D;AAC7D,kEAA8D;AAC9D,0DAAsE;AAatE,8DAA2D;AAC3D,0DAAuD;AACvD,4DAAyD;AACzD,kDAA0D;AAE1D,8CAAqF;AACrF,kEAAoD;AAEpD,0DAA4C;AAE5C,wDAA8D;AAC9D,gDAAkE;AAClE,sCAA4C;AAe5C,oCAiCkB;AAClB,4CAuBsB;AAmDtB,8FAA8F;AAC9F,SAAgB,mBAAmB,CAAC,mBAA4B;IAC5D,MAAM,EACF,0BAA0B,EAC1B,aAAa,EACb,UAAU,EACV,kBAAkB,EAClB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,gCAAgC,EAChC,0BAA0B,EAC1B,eAAe,EACf,sBAAsB,EACtB,4BAA4B,EAC5B,QAAQ,EACR,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GACnB,GAAG,mBAAmB,CAAC;IAExB,SAAS,0BAA0B,CAAC,UAAsB,EAAE,KAAgB,EAAE,IAAoB;QAC9F,4DAA4D;QAC5D,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1B,OAAO;QACX,CAAC;QAED,IAAI,CAAC,KAAK,oCAA2B,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,IAAA,sBAAc,EAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACrE,aAAa,CAAC,gCAAc,CAAC,qBAAqB,EAAE,qBAAU,CAAC,mBAAmB,EAAE,EAAE,IAAI,CAAC,CAAC;gBAC5F,UAAU,CAAC,IAAI,GAAG,mBAAW,CAAC,MAAM,EAAE,CAAC;YAC3C,CAAC;QACL,CAAC;QAED,IAAI,IAAA,qCAAyB,EAAC,UAAU,CAAC,IAAI,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3E,OAAO;QACX,CAAC;QAED,mBAAmB;QACnB,IAAI,IAAA,uBAAe,EAAC,UAAU,CAAC,IAAI,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;YACzG,OAAO;QACX,CAAC;QAED,wEAAwE;QACxE,IAAI,CAAC,KAAK,qCAA2B,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;YACtC,IAAI,IAAA,eAAO,EAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,IAAA,4BAAgB,EAAC,UAAU,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;oBAC1C,IAAI,CAAC,IAAA,qCAAyB,EAAC,OAAO,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;wBACpE,IAAI,CAAC,UAAU,CAAC,sBAAW,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;oBACrF,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC;YAED,aAAa,CACT,gCAAc,CAAC,uBAAuB,EACtC,qBAAU,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,EAC9F,IAAI,CACP,CAAC;YAEF,UAAU,CAAC,IAAI,GAAG,mBAAW,CAAC,MAAM,EAAE,CAAC;QAC3C,CAAC;QAED,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC;IACjC,CAAC;IAED,SAAS,wBAAwB,CAC7B,IAAU,EACV,WAA8B,EAC9B,YAAkC,EAClC,YAAsC;QAEtC,MAAM,QAAQ,GAAG,IAAA,mCAAgB,EAAC,kBAAkB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACjF,OAAO,IAAA,+BAAmB,EAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC7D,CAAC;IAED,SAAS,mBAAmB,CACxB,SAAoB,EACpB,UAAkB,EAClB,QAA8C,EAC9C,SAAsC,EACtC,IAAyB,EACzB,cAAc,GAAG,CAAC;QAElB,MAAM,iBAAiB,GAAG,oBAAoB,CAC1C,SAAS,EACT,SAAS,EACT,UAAU;QACV,WAAW,CAAC,SAAS,EACrB,IAAI,EACJ,wGAAqF,EACrF,QAAQ,EACR,cAAc,CACjB,CAAC;QAEF,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,UAAU,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,IAAA,8BAAsB,EAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,iBAAiB,CAAC,IAAI,CAAC;QAClC,CAAC;QAED,IAAI,IAAA,uBAAe,EAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,IAAI,cAAc,GAAG,6BAAqB,EAAE,CAAC;gBACzC,OAAO,SAAS,CAAC;YACrB,CAAC;YACD,cAAc,EAAE,CAAC;YAEjB,OAAO,mBAAmB,CACtB,iBAAiB,CAAC,IAAI,EACtB,UAAU;YACV,cAAc,CAAC,SAAS,EACxB,SAAS,EACT,IAAI,EACJ,cAAc,CACjB,CAAC;QACN,CAAC;QAED,IAAI,IAAA,sBAAc,EAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,OAAO,IAAA,qCAAyB,GAAE,CAAC;QACvC,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,kBAAkB,CAAC,UAAsB,EAAE,SAA0B;QAC1E,IACI,CAAC,mBAAmB,CAAC,UAAU,EAAE,cAAc;YAC/C,CAAC,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,cAAc,CAAC;YACnE,mBAAmB,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAC9E,CAAC;YACC,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC;QACjF,CAAC;QAED,MAAM,oBAAoB,GAAG,iBAAS,CAAC,eAAe,CAAC,mBAAmB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACtG,MAAM,YAAY,GAAG,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;QAE/C,MAAM,IAAI,GAAG,IAAA,uBAAW,EAAC,UAAU,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;YAClD,OAAO,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;YAEhD,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACnB,CAAC;YAED,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,+BAAkB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAE9D,IAAI,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;gBAE5C,IAAI,UAAU,CAAC,oBAAoB,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;oBAC/D,MAAM,eAAe,GAAG,wBAAwB,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;oBAEpF,IACI,IAAA,eAAO,EAAC,eAAe,CAAC;wBACxB,eAAe,CAAC,IAAI,CAAC,QAAQ;wBAC7B,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAC1C,CAAC;wBACC,OAAO,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC5C,CAAC;oBAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;gBAChC,CAAC;YACL,CAAC;YAED,IAAI,SAAS,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;gBACxC,aAAa,CACT,gCAAc,CAAC,uBAAuB,EACtC,qBAAU,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,EACtF,SAAS,CACZ,CAAC;YACN,CAAC;YAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAClC,CAAC;IAED,SAAS,cAAc,CAAC,IAAU;QAC9B,IAAI,cAAc,GAAG,IAAI,CAAC;QAE1B,IAAA,4BAAgB,EAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;YAC7D,IAAI,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,gCAAgC;gBAChC,IAAI,gBAAgB,GAAG,IAAI,CAAC;gBAE5B,uDAAuD;gBACvD,IAAI,OAAO,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;oBAClD,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACJ,MAAM,UAAU,GAAG,IAAA,8BAAkB,EAAC,OAAO,EAAE,UAAU,gDAAwC,CAAC;oBAElG,IAAI,UAAU,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC;wBAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAC;wBACvD,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;wBAE/D,0DAA0D;wBAC1D,gBAAgB;wBAChB,IAAI,eAAe,EAAE,CAAC;4BAClB,gBAAgB,GAAG,CAAC,IAAA,0BAAc,EAAC,eAAe,CAAC,IAAI,CAAC,CAAC;wBAC7D,CAAC;6BAAM,CAAC;4BACJ,6DAA6D;4BAC7D,6DAA6D;4BAC7D,6DAA6D;4BAC7D,aAAa;4BACb,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,qCAA6B,CAAC,EAAE,CAAC;gCAChE,gBAAgB,GAAG,KAAK,CAAC;4BAC7B,CAAC;wBACL,CAAC;oBACL,CAAC;oBAED,uCAAuC;oBACvC,OAAO,CAAC,MAAM,CAAC,kBAAkB,GAAG,gBAAgB,CAAC;gBACzD,CAAC;gBAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;oBACpB,cAAc,GAAG,KAAK,CAAC;gBAC3B,CAAC;YACL,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,cAAc,CAAC;IAC1B,CAAC;IAED,SAAS,qBAAqB;QAC1B,OAAO,mBAAmB,CAAC,UAAU,EAAE,qBAAqB;YACxD,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,qBAAqB,CAAC;YACzE,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,qBAAqB;YACtD,CAAC,CAAC,SAAS,CAAC;IACpB,CAAC;IAED,SAAS,iBAAiB;QACtB,OAAO,mBAAmB,CAAC,UAAU,EAAE,UAAU;YAC7C,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,UAAU,CAAC;YAC9D,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,UAAU;YAC3C,CAAC,CAAC,SAAS,CAAC;IACpB,CAAC;IAED,SAAS,gBAAgB;QACrB,OAAO,mBAAmB,CAAC,UAAU,EAAE,SAAS;YAC5C,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC;YAC7D,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,SAAS;YAC1C,CAAC,CAAC,SAAS,CAAC;IACpB,CAAC;IAED,SAAS,eAAe;QACpB,OAAO,mBAAmB,CAAC,UAAU,EAAE,QAAQ,IAAI,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,QAAQ,CAAC;YAC3G,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,QAAQ;YACzC,CAAC,CAAC,SAAS,CAAC;IACpB,CAAC;IAED,SAAS,aAAa;QAClB,OAAO,mBAAmB,CAAC,UAAU,EAAE,WAAW;YAC9C,CAAC,CAAC,IAAA,6BAAiB,EAAC,mBAAmB,CAAC,UAAU,CAAC,WAAW,CAAC;YAC/D,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,SAAS,WAAW;QAChB,OAAO,mBAAmB,CAAC,UAAU,EAAE,aAAa;YAChD,CAAC,CAAC,IAAA,6BAAiB,EAAC,mBAAmB,CAAC,UAAU,CAAC,aAAa,CAAC;YACjE,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,SAAS,iBAAiB;QACtB,OAAO,mBAAmB,CAAC,UAAU,EAAE,cAAc,IAAI,mBAAW,CAAC,MAAM,EAAE,CAAC;IAClF,CAAC;IAED,SAAS,gBAAgB;QACrB,IACI,mBAAmB,CAAC,UAAU,EAAE,SAAS;YACzC,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,EAC/D,CAAC;YACC,OAAO,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC;QACpD,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,wBAAwB,CAAC,IAAoB,EAAE,SAAkB;QACtE,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QAErD,yEAAyE;QACzE,uEAAuE;QACvE,aAAa;QACb,IAAI,aAAa,IAAI,iBAAiB,IAAI,IAAA,2BAAmB,EAAC,iBAAiB,CAAC,EAAE,CAAC;YAC/E,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;YAEtC,IAAA,4BAAgB,EAAC,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE;gBACxC,MAAM,eAAe,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;gBAE9D,IAAI,IAAA,sBAAc,EAAC,eAAe,CAAC,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,EAAE,CAAC;oBAC9D,OAAO;gBACX,CAAC;gBAED,IAAI,SAAS,IAAI,IAAA,0BAAc,EAAC,eAAe,CAAC,EAAE,CAAC;oBAC/C,OAAO;gBACX,CAAC;gBAED,IAAI,IAAA,2BAAmB,EAAC,eAAe,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBAC1F,IAAI,CAAC,IAAA,qCAAyB,EAAC,eAAe,EAAE,iBAAiB,EAAE,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC5F,IAAI,CAAC,UAAU,CACX,qBAAU,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;4BACvC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;yBAC3B,CAAC,CACL,CAAC;oBACN,CAAC;yBAAM,CAAC;wBACJ,IAAI,UAAkC,CAAC;wBACvC,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE;4BAC3B,UAAU,GAAG,IAAA,sCAAuB,EAChC,kBAAkB,EAClB,IAAI,EACJ,EAAE,EACF,eAAe;4BACf,yBAAyB,CAAC,KAAK;4BAC/B,sBAAsB,CAAC,SAAS,CACnC,CAAC;wBACN,CAAC,CAAC,CAAC;wBAEH,IAAI,UAAU,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC;4BAC1C,IAAI,CAAC,UAAU,CACX,qBAAU,CAAC,4BAA4B,EAAE,CAAC,MAAM,CAAC;gCAC7C,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;6BAC3B,CAAC,CACL,CAAC;wBACN,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,IAAI,IAAA,uBAAe,EAAC,eAAe,CAAC,EAAE,CAAC;oBAC1C,IACI,CAAC,IAAA,qCAAyB,EACtB,iBAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,EAC9C,iBAAiB;oBACjB,mBAAmB,CAAC,KAAK,CAC5B,EACH,CAAC;wBACC,IAAI,CAAC,UAAU,CACX,qBAAU,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;4BACvC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;yBAC3B,CAAC,CACL,CAAC;oBACN,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,UAAU,CACX,qBAAU,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACvC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;qBAC3B,CAAC,CACL,CAAC;gBACN,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClB,aAAa,CACT,gCAAc,CAAC,uBAAuB,EACtC,qBAAU,CAAC,sBAAsB,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EACtD,IAAI,CACP,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,2BAA2B,CAAC,IAAU,EAAE,eAAwB;QACrE,sEAAsE;QACtE,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,kCAAsB,EAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,KAAK,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;gBACvD,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,4EAA4E;QAC5E,IAAI,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,iBAAS,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzF,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,gCAAgC,CAAC,IAAU,EAAE,KAAgB,EAAE,aAAa,GAAG,KAAK;QACzF,MAAM,WAAW,GAAG,yEAAqD,gDAAiC,CAAC;QAE3G,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IACI,aAAa;YACb,IAAA,gBAAQ,EAAC,IAAI,CAAC;YACd,mBAAmB,CAAC,UAAU,EAAE,eAAe;YAC/C,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,eAAe,CAAC,EACrE,CAAC;YACC,OAAO,iBAAS,CAAC,eAAe,CAAC,mBAAmB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrF,CAAC;QAED,2EAA2E;QAC3E,2CAA2C;QAC3C,IAAI,CAAC,KAAK,0CAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,IAAI,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,aAAa,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;gBACjG,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qFAAqF;QACrF,IAAI,CAAC,KAAK,iCAAyB,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,CAAC;YACtE,qEAAqE;YACrE,IAAI,CAAC,iBAAS,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,eAAe,CAAC,EAAE,CAAC;gBAChE,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;YACvB,OAAO,gBAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnF,CAAC;QAED,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAClC,CAAC;IAED,SAAS,qBAAqB,CAAC,IAAoB,EAAE,IAAU,EAAE,KAAgB;QAC7E,IAAI,CAAC,KAAK,iCAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,wDAAwD;QACxD,IAAI,IAAA,2BAAmB,EAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,uCAA6B,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,2CAAiC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/F,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAA,4BAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;oBACjF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;wBACtD,aAAa,CACT,gCAAc,CAAC,yBAAyB,EACxC,qBAAU,CAAC,uBAAuB,EAAE,CAAC,MAAM,CAAC;4BACxC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;yBAChD,CAAC,EACF,IAAI,CACP,CAAC;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtB,IAAI,GAAG,0BAA0B,CAAC,IAAI,EAAE,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;YACzF,CAAC;QACL,CAAC;QAED,6DAA6D;QAC7D,IAAI,CAAC,KAAK,uCAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7C,IAAI,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,+BAA+B,CAAC,IAAU,EAAE,SAAqC;QACtF,wBAAwB;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC;QAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,wDAAwD;QACxD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,IAAI,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACjG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,MAAM,eAAe,GAAW,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;QAE5C,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC1C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAClC,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YAED,IAAI,WAAiB,CAAC;YACtB,IAAI,KAAK,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAA,mBAAW,EAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,WAAW,GAAG,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE;oBACvD,eAAe,EAAE;wBACb,QAAQ,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC;wBAC3C,cAAc,EAAE,iBAAiB,EAAE;qBACtC;iBACJ,CAAC,CAAC;YACP,CAAC;iBAAM,IACH,IAAA,sBAAc,EAAC,KAAK,CAAC;gBACrB,mBAAmB,CAAC,UAAU,EAAE,UAAU;gBAC1C,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,UAAU,CAAC,UAAU,CAAC,EAChE,CAAC;gBACC,WAAW,GAAG,IAAA,wBAAe,EACzB,kBAAkB,EAClB,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;gBACnD,gBAAgB,CAAC,IAAI,CACxB,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,WAAW,GAAG,mBAAW,CAAC,MAAM,EAAE,CAAC;YACvC,CAAC;YAED,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;YAC1B,aAAa,CACT,gCAAc,CAAC,yBAAyB,EACxC,qBAAU,CAAC,uBAAuB,EAAE,CAAC,MAAM,CAAC;gBACxC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI;aAC9B,CAAC,EACF,SAAS,CACZ,CAAC;QACN,CAAC;QAED,IAAI,GAAG,gBAAQ,CAAC,iBAAiB,CAC7B,wBAAwB,CAAC,IAAI,EAAE,WAAW,EAAE;YACxC,eAAe,EAAE;gBACb,QAAQ,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC;gBAC3C,cAAc,EAAE,iBAAiB,EAAE;aACtC;SACJ,CAAC,EACF,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,eAAe,EAAE,CAC9C,CAAC;QAEF,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,mBAAmB,CACxB,gBAA8B,EAC9B,aAAsB,EACtB,aAAsB;QAEtB,MAAM,UAAU,GAAmB,EAAE,CAAC;QAEtC,KAAK,MAAM,UAAU,IAAI,gBAAgB,EAAE,CAAC;YACxC,IAAI,qBAAuC,CAAC;YAC5C,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;gBAC1B,qBAAqB,GAAG,UAAU,CAAC,YAAY,CAAC;YACpD,CAAC;iBAAM,IAAI,IAAA,kBAAU,EAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,qBAAqB,GAAG,UAAU,CAAC,IAAI,CAAC;YAC5C,CAAC;YAED,iEAAiE;YACjE,oEAAoE;YACpE,qEAAqE;YACrE,sDAAsD;YACtD,IACI,qBAAqB;gBACrB,IAAA,uBAAe,EAAC,qBAAqB,CAAC;gBACtC,qBAAqB,CAAC,IAAI,CAAC,aAAa,EAC1C,CAAC;gBACC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,aAAa,CAAC;gBAE1D,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACZ,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvE,CAAC;qBAAM,CAAC;oBACJ,IAAA,6BAAW,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;gBACtC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAA,eAAO,EAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;gBACzF,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;YAC/F,CAAC;iBAAM,CAAC;gBACJ,IAAI,SAAS,GAAG,gCAAgC,CAAC,UAAU,CAAC,IAAI,0BAAkB,aAAa,CAAC,CAAC;gBACjG,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,IAAA,yBAAa,EAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACpF,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YACjF,CAAC;QACL,CAAC;QAED,6EAA6E;QAC7E,6EAA6E;QAC7E,kCAAkC;QAClC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,wBAAwB,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC5E,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;YACnE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAA,oBAAY,EAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,SAAS,gBAAgB,CAAC,IAAkB;QACxC,OAAO;YACH,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,WAAW;YAC/B,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI;YACjB,eAAe,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS;SACpC,CAAC;IACN,CAAC;IAED,mGAAmG;IACnG,SAAS,yBAAyB,CAAC,SAAyB;QACxD,oFAAoF;QACpF,MAAM,SAAS,GAAG,cAAc,CAAC,mBAAmB,CAAC,SAAS,iCAAyB,CAAC;QACxF,IAAI,SAAS,EAAE,MAAM,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC,MAAM,CAAC;QAC5B,CAAC;QAED,0FAA0F;QAC1F,IACI,SAAS,CAAC,QAAQ,gCAAuB;YACzC,SAAS,CAAC,MAAM,EAAE,QAAQ,iCAAwB;YAClD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,EACvC,CAAC;YACC,OAAO,SAAS,CAAC,MAAM,CAAC;QAC5B,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,qBAAqB,CAAC,SAAoB,EAAE,UAAkB;QACnE,MAAM,eAAe,GAAG,iBAAS,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;QAE7D,MAAM,MAAM,GAAG,iBAAS,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,yEAAyE;QACzE,6EAA6E;QAC7E,4BAA4B;QAC5B,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,wBAAwB,EAAE,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAA,8CAAgC,EAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,uCAAuC;QACvC,IAAI,eAAe,IAAI,QAAQ,CAAC,IAAI,qCAA6B,EAAE,CAAC;YAChE,+DAA+D;YAC/D,mCAAmC;YACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,qCAA6B,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBAChG,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACvE,CAAC;QACL,CAAC;QAED,IAAI,QAAQ,CAAC,IAAI,qCAA6B,EAAE,CAAC;YAC7C,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,MAAM,gBAAgB,GAAG,IAAA,0CAA6B,EAClD,kBAAkB,EAClB,QAAQ,CAAC,IAAI;QACb,eAAe,CAAC,IAAI,EACpB,QAAQ,CACX,CAAC;QACF,IAAI,CAAC,gBAAgB,CAAC,KAAK,2CAAmC,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,UAAU,GAAG,IAAI,CAAC;QACtB,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC;QAElE,2EAA2E;QAC3E,6EAA6E;QAC7E,oCAAoC;QACpC,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,iBAAoD,CAAC;QAEzD,IAAI,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,qCAA6B,EAAE,CAAC;YACxE,iBAAiB,GAAG,IAAA,0CAA6B,EAC7C,kBAAkB,EAClB,SAAS,CAAC,IAAI;YACd,eAAe,CAAC,IAAI,EACpB,QAAQ,CACX,CAAC;YACF,IAAI,CAAC,iBAAiB,CAAC,KAAK,2CAAmC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YAED,2DAA2D;YAC3D,IAAI,eAAe,IAAI,CAAC,gBAAgB,CAAC,KAAK,yCAA+B,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnF,gEAAgE;gBAChE,sEAAsE;gBACtE,IAAI,eAAe,IAAI,CAAC,UAAU,IAAI,UAAU,EAAE,CAAC;oBAC/C,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACvE,CAAC;QACL,CAAC;QAED,2EAA2E;QAC3E,0BAA0B;QAC1B,IAAI,CAAC,eAAe,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,iBAAiB,GACnB,CAAC,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,QAAQ,CAAC,CAAC;QAEvG,kEAAkE;QAClE,mEAAmE;QACnE,sEAAsE;QACtE,8CAA8C;QAC9C,IAAI,eAAe,IAAI,CAAC,UAAU,EAAE,CAAC;YACjC,IAAI,iBAAiB,IAAI,UAAU,EAAE,CAAC;gBAClC,OAAO,SAAS,CAAC;YACrB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAChE,CAAC;IAED,SAAS,4BAA4B,CACjC,SAAyB,EACzB,OAAc,EACd,gBAA2B,EAC3B,kBAAwB,EACxB,WAA0C,EAC1C,mBAAwC,EACxC,gBAA8C,EAC9C,cAAsB;QAEtB,MAAM,QAAQ,GAAG,IAAI,+BAAkB,EAAE,CAAC;QAC1C,MAAM,gBAAgB,GAAG,oBAAoB,CACzC,SAAS,EACT,gBAAgB,EAChB,UAAU;QACV,WAAW,CAAC,SAAS,EACrB,QAAQ,EACR,wGAAqF;QACrF,cAAc,CAAC,SAAS,EACxB,cAAc,CACjB,CAAC;QACF,MAAM,cAAc,GAAG,gBAAgB,EAAE,IAAI,CAAC;QAE9C,IAAI,CAAC,cAAc,IAAI,gBAAgB,CAAC,UAAU,EAAE,CAAC;YACjD,aAAa,CACT,gCAAc,CAAC,eAAe,EAC9B,qBAAU,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC;gBAClC,IAAI,EAAE,SAAS,CAAC,gBAAgB,CAAC;aACpC,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,EACzB,SAAS,CACZ,CAAC;YAEF,OAAO,EAAE,UAAU,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;QACtE,CAAC;QAED,MAAM,UAAU,GAAG,gBAAgB,CAC/B,SAAS,EACT,OAAO,EACP,EAAE,IAAI,EAAE,cAAc,EAAE,EACxB,WAAW,EACX,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,CACjB,CAAC;QAEF,IAAI,UAAU,GAAG,UAAU,CAAC,UAAU,IAAI,mBAAW,CAAC,MAAM,EAAE,CAAC;QAC/D,IACI,IAAA,iBAAS,EAAC,kBAAkB,CAAC;YAC7B,gBAAQ,CAAC,cAAc,CAAC,kBAAkB,CAAC;YAC3C,IAAA,eAAO,EAAC,gBAAgB,CAAC;YACzB,iBAAS,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAC/C,CAAC;YACC,mEAAmE;YACnE,wCAAwC;YACxC,UAAU,GAAG,IAAA,6BAAiB,EAAC,kBAAkB,CAAC,CAAC;QACvD,CAAC;QAED,OAAO;YACH,UAAU;YACV,cAAc,EAAE,UAAU,CAAC,cAAc;YACzC,oBAAoB,EAAE,UAAU,CAAC,oBAAoB;SACxD,CAAC;IACN,CAAC;IAED,SAAS,wBAAwB,CAC7B,QAAwB,EACxB,UAAgB,EAChB,iBAAmC;QAEnC,IAAI,CAAC,IAAA,kBAAU,EAAC,UAAU,CAAC,EAAE,CAAC;YAC1B,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,0GAA0G;QAC1G,MAAM,UAAU,GAAG,IAAA,mCAAuB,EAAC,UAAU,CAAC,CAAC,MAAM,CACzD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAC1E,CAAC;QAEF,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,UAAU,CAAC;QACtB,CAAC;QAED,0BAA0B,CAAC,UAAU,CAAC,CAAC;QAEvC,6DAA6D;QAC7D,6DAA6D;QAC7D,uDAAuD;QACvD,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,uCAAkB,EAAE,CAAC;QAE1C,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YAC7C,MAAM,YAAY,GAAG,mBAAW,CAAC,eAAe,CAC5C,OAAO,EACP,UAAU,EACV,OAAO,CAAC,IAAI,CAAC,SAAS,oCAEzB,CAAC;YACF,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACxC,OAAO,YAAY,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,IAAA,+BAAmB,EACtB,oBAAY,CAAC,0BAA0B,CACnC,UAAU,EACV,UAAU;QACV,+BAA+B,CAAC,SAAS,EACzC,aAAa,CAChB,EACD,QAAQ,CACX,CAAC;IACN,CAAC;IAED,SAAS,mBAAmB,CAAC,YAAuB,EAAE,UAAkB,EAAE,YAAoB;QAC1F,MAAM,SAAS,GAAa,CAAC,YAAY,CAAC,CAAC;QAE3C,IAAI,OAAO,GAA0B,YAAY,CAAC;QAElD,wDAAwD;QACxD,OAAO,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,cAAc,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,OAAO,EAAE,CAAC;gBACV,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC3C,CAAC;QACL,CAAC;QAED,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE3B,OAAO,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,+BAA+B,CACpC,SAA0B,EAC1B,IAAoB,EACpB,MAAgB,EAChB,IAAU,EACV,SAAyB,EACzB,qBAA8B;QAE9B,2CAA2C;QAC3C,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO;QACX,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAEjC,2DAA2D;QAC3D,2DAA2D;QAC3D,sBAAsB;QACtB,MAAM,cAAc,GAAG,IAAA,qBAAa,EAAC,IAAI,CAAC,CAAC;QAE3C,IAAI,IAAA,iBAAS,EAAC,cAAc,CAAC,EAAE,CAAC;YAC5B,aAAa,CAAC,IAAI,EAAE,qBAAU,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QACzF,CAAC;aAAM,IAAI,IAAA,2BAAe,EAAC,cAAc,CAAC,EAAE,CAAC;YACzC,iEAAiE;YACjE,qEAAqE;YACrE,4CAA4C;YAC5C,IAAI,CAAC,qBAAqB,IAAI,CAAC,IAAA,uBAAe,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAClF,MAAM,YAAY,GAAG,IAAI,+BAAkB,EAAE,CAAC;gBAC9C,YAAY,CAAC,UAAU,CACnB,sBAAW,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;oBAC9B,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;iBAC7D,CAAC,CACL,CAAC;gBACF,aAAa,CACT,IAAI,EACJ,qBAAU,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,SAAS,EAAE,EACxF,SAAS,CACZ,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,6BAA6B,CAAC,IAAe,EAAE,WAAmB,EAAE,KAAmB;QAC5F,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACjD,IAAI,IAAA,uBAAe,EAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,iBAAS,CAAC,gBAAgB,CAAC,iBAAS,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QACxF,CAAC;QAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC;IAED,SAAS,wBAAwB,CAAC,KAAoB,EAAE,IAAU;QAC9D,sEAAsE;QACtE,yEAAyE;QACzE,2EAA2E;QAC3E,iEAAiE;QACjE,IACI,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,QAAQ,oCAA2B;YACzD,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,8BAAqB;YACrD,CAAC,IAAA,0BAAc,EAAC,IAAI,CAAC;YACrB,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,iBAAiB,CAAC,wBAAwB,EACzE,CAAC;YACC,OAAO,IAAA,oBAAY,EAAC,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,8BAA8B,CAAC,cAA8B;QAClE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,cAAc,yCAAiC,CAAC,IAAI,CAAC;QAElG,IAAI,iBAAmC,CAAC;QAExC,4EAA4E;QAC5E,0EAA0E;QAC1E,uEAAuE;QACvE,gDAAgD;QAChD,IACI,IAAA,0BAAc,EAAC,gBAAgB,CAAC;YAChC,IAAA,6BAAiB,EAAC,gBAAgB,CAAC;YACnC,CAAC,IAAA,uBAAe,EAAC,gBAAgB,CAAC,IAAI,IAAA,0CAAwB,EAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAC/F,CAAC;YACC,iBAAiB,GAAG,IAAA,oBAAY,EAAC,CAAC,gBAAgB,EAAE,mBAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/E,CAAC;aAAM,CAAC;YACJ,IAAI,aAAa,GAAG,KAAK,CAAC;YAE1B,IAAI,IAAA,8BAAsB,EAAC,gBAAgB,CAAC,EAAE,CAAC;gBAC3C,0EAA0E;gBAC1E,wEAAwE;gBACxE,sEAAsE;gBACtE,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;iBAAM,IACH,IAAA,uBAAe,EAAC,gBAAgB,CAAC;gBACjC,iBAAS,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EACzE,CAAC;gBACC,kEAAkE;gBAClE,6CAA6C;gBAC7C,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,CAAC;gBACjB,iBAAiB,GAAG,gCAAgC,CAChD,gBAAgB;gBAEhB,mBAAmB,CAAC,IAAI,CAC3B,CAAC;gBACF,iBAAiB,GAAG,IAAA,yBAAa,EAAC,iBAAiB,CAAC,CAAC;gBACrD,iBAAiB,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;YAC7D,CAAC;QACL,CAAC;QAED,IAAI,iBAAiB,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;YACtD,IAAI,QAAQ,CAAC,kBAAkB,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACtD,iBAAiB,GAAG,gBAAQ,CAAC,qBAAqB,CAAC,iBAAiB,CAAC,CAAC;YAC1E,CAAC;QACL,CAAC;QAED,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IAED,SAAS,0BAA0B,CAAC,IAAe,EAAE,aAA4B,EAAE,IAAU;QACzF,QAAQ,aAAa,EAAE,CAAC;YACpB,iCAAyB,CAAC,CAAC,CAAC;gBACxB,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,mCAA2B,CAAC,CAAC,CAAC;gBAC1B,IAAI,IAAA,mBAAW,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;oBACjD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,IAAI,IAAA,uBAAe,EAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,OAAO,iBAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;gBAED,OAAO,IAAA,wBAAe,EAAC,kBAAkB,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,IAAA,sBAAc,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/F,CAAC;YAED,qCAA6B,CAAC,CAAC,CAAC;gBAC5B,2BAA2B;gBAC3B,IAAI,IAAA,mBAAW,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;oBACjD,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,mEAAmE;gBACnE,IAAI,IAAA,uBAAe,EAAC,IAAI,CAAC,IAAI,iBAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBACpF,OAAO,iBAAS,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;gBAED,yCAAyC;gBACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC9C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAE9C,IAAI,IAAA,2BAAmB,EAAC,QAAQ,CAAC,IAAI,IAAA,uBAAe,EAAC,OAAO,CAAC,EAAE,CAAC;oBAC5D,OAAO,iBAAS,CAAC,eAAe,CAAC,iBAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtF,CAAC;gBAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,gCAAgC,CAAC,YAAkC;QACxE,IACI,CAAC,YAAY;YACb,CAAC,YAAY,CAAC,QAAQ;YACtB,YAAY,CAAC,gBAAgB;YAC7B,YAAY,CAAC,eAAe;YAC5B,CAAC,YAAY,CAAC,eAAe,EAC/B,CAAC;YACC,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;QAC1D,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,yCAAgC,CAAC,EAAE,CAAC;YACrF,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,KAAK,MAAM,cAAc,IAAI,YAAY,CAAC,eAAe,EAAE,CAAC;YACxD,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACtD,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YAClE,MAAM,SAAS,GAAG,IAAA,2BAAmB,EAAC,SAAS,CAAC;gBAC5C,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,IAAA,uBAAe,EAAC,SAAS,CAAC;oBAC5B,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,CAAC,SAAS,IAAI,CAAC,IAAA,kCAAsB,EAAC,SAAS,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,yBAAyB,CAAC,GAAQ,EAAE,OAA6B;QACtE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QACpF,CAAC;QAED,6DAA6D;QAC7D,6DAA6D;QAC7D,IAAA,cAAM,EAAC,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC;QAC1C,OAAO,gCAAgC,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED,SAAS,cAAc,CAAC,IAAe,EAAE,IAAY;QACjD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,YAAY,GAAG,UAAU,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,QAAQ,EAAE,CAAC;gBACX,OAAO,wBAAwB,CAAC,QAAQ,CAAC,CAAC;YAC9C,CAAC;QACL,CAAC;QAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC;IAED,SAAS,gBAAgB,CAAC,IAAe,EAAE,IAAY,EAAE,QAAiB;QACtE,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,IAAA,2BAAmB,EAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,IAAI,SAAS,GAAG,QAAQ,CAAC;YACzB,IAAI,QAAQ,EAAE,CAAC;gBACX,SAAS,GAAG,iBAAS,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC1D,CAAC;YAED,OAAO,iBAAS,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,SAAS,sBAAsB,CAAC,MAAc,EAAE,IAAiB,EAAE,YAAkB;QACjF,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;YAC3D,OAAO,IAAI,CAAC,IAAI,qCAA6B,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC;QACvF,CAAC,CAAC,CAAC;QAEH,oEAAoE;QACpE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,qCAA6B,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,qFAAqF;QACrF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,mDAAmD;QACnD,IAAI,IAAA,iBAAS,EAAC,YAAY,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,cAA0C,CAAC;QAE/C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,IAAI,UAAU,EAAE,CAAC;YACb,6FAA6F;YAC7F,IAAI,UAAU,CAAC,QAAQ,qCAA6B,EAAE,CAAC;gBACnD,cAAc,GAAG,UAAU,CAAC;YAChC,CAAC;iBAAM,IACH,UAAU,CAAC,QAAQ,wCAA+B;gBAClD,UAAU,CAAC,MAAM,EAAE,QAAQ,qCAA6B,EAC1D,CAAC;gBACC,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;YACvC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,cAAc,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,YAAY,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;QAE1E,2EAA2E;QAC3E,IAAI,IAAA,uBAAe,EAAC,YAAY,CAAC,IAAI,IAAA,yBAAa,EAAC,YAAY,CAAC,EAAE,CAAC;YAC/D,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qEAAqE;QACrE,kEAAkE;QAClE,oBAAoB;QACpB,IAAI,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,gCAAuB,IAAI,CAAC,gBAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YACpG,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,kBAAkB,CAAC,SAAoB,EAAE,KAAsB;QACpE,IAAI,CAAC,KAAK,0DAA8C,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9D,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,iBAAS,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;IAED,SAAS,yBAAyB,CAAC,IAAU,EAAE,SAAe,EAAE,iBAA0B,EAAE,cAAc,GAAG,CAAC;QAC1G,MAAM,YAAY,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,IAAA,eAAO,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEjF,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACvC,IAAI,IAAA,kBAAU,EAAC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC;gBACjC,SAAS;YACb,CAAC;YAED,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,EAAE,CAAC;gBAC/B,IAAI,iBAAiB,EAAE,CAAC;oBACpB,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;iBAAM,IAAI,eAAe,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;gBACrE,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,eAAe,CAAC,QAAc,EAAE,OAAa,EAAE,cAAsB;QAC1E,gFAAgF;QAChF,IAAI,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,uDAAuD;QACvD,IAAI,IAAA,sBAAc,EAAC,QAAQ,CAAC,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,yFAAyF;QACzF,IAAI,IAAA,eAAO,EAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9E,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,eAAO,EAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5E,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,CACH,UAAU,CACN,QAAQ,EACR,OAAO;QACP,UAAU,CAAC,SAAS;QACpB,iBAAiB,CAAC,SAAS,mCAE3B,cAAc,CACjB;YACD,CAAC,UAAU,CACP,OAAO,EACP,QAAQ;YACR,UAAU,CAAC,SAAS;YACpB,iBAAiB,CAAC,SAAS,mCAE3B,cAAc,CACjB,CACJ,CAAC;IACN,CAAC;IAED,SAAS,gBAAgB,CAAC,QAAc,EAAE,SAAe,EAAE,gBAAgB,GAAG,KAAK;QAC/E,IAAI,IAAA,sBAAc,EAAC,QAAQ,CAAC,IAAI,IAAA,sBAAc,EAAC,SAAS,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,eAAO,EAAC,QAAQ,CAAC,IAAI,IAAA,eAAO,EAAC,SAAS,CAAC,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,IAAA,gBAAQ,EAAC,QAAQ,CAAC,IAAI,IAAA,gBAAQ,EAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,IAAA,kBAAU,EAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,cAAc,GAAG,IAAA,8BAAsB,EAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,eAAe,GAAG,IAAA,8BAAsB,EAAC,SAAS,CAAC,CAAC;QAE1D,4EAA4E;QAC5E,0EAA0E;QAC1E,0EAA0E;QAC1E,4EAA4E;QAC5E,0EAA0E;QAC1E,iCAAiC;QACjC,IAAI,cAAc,IAAI,eAAe,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,2BAAmB,EAAC,QAAQ,CAAC,IAAI,CAAC,IAAA,uBAAe,EAAC,QAAQ,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YACxG,IACI,IAAA,2BAAmB,EAAC,SAAS,CAAC;gBAC9B,CAAC,IAAA,uBAAe,EAAC,SAAS,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EACxE,CAAC;gBACC,MAAM,eAAe,GAAG,iBAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;gBACjF,MAAM,gBAAgB,GAAG,iBAAS,CAAC,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;gBAEnF,IAAI,UAAU,CAAC,eAAe,EAAE,gBAAgB,CAAC,IAAI,UAAU,CAAC,gBAAgB,EAAE,eAAe,CAAC,EAAE,CAAC;oBACjG,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;YAED,mDAAmD;YACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC;YACrD,IAAI,SAAS,IAAI,IAAA,eAAO,EAAC,SAAS,CAAC,EAAE,CAAC;gBAClC,IAAI,IAAA,6BAAiB,EAAC,SAAS,EAAE,QAAQ,gDAAwC,EAAE,CAAC;oBAChF,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;YAED,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,IAAA,uBAAe,EAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAA,eAAO,EAAC,SAAS,CAAC,EAAE,CAAC;gBACrB,MAAM,eAAe,GAAG,iBAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;gBACjF,MAAM,gBAAgB,GAAG,iBAAS,CAAC,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;gBAEnF,IAAI,UAAU,CAAC,eAAe,EAAE,gBAAgB,CAAC,IAAI,UAAU,CAAC,gBAAgB,EAAE,eAAe,CAAC,EAAE,CAAC;oBACjG,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,iDAAiD;gBACjD,IAAI,gBAAgB,IAAI,IAAA,0BAAc,EAAC,SAAS,CAAC,EAAE,CAAC;oBAChD,IAAI,IAAA,0BAAc,EAAC,QAAQ,CAAC,EAAE,CAAC;wBAC3B,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,iEAAiE;oBACjE,uEAAuE;oBACvE,kCAAkC;oBAClC,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC3C,CAAC;gBAED,uEAAuE;gBACvE,4BAA4B;gBAC5B,IAAI,iBAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,gBAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpG,2DAA2D;oBAC3D,mDAAmD;oBACnD,IAAI,QAA+B,CAAC;oBACpC,IAAI,OAA8B,CAAC;oBACnC,IAAI,iBAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;wBACjF,QAAQ,GAAG,QAAQ,CAAC;wBACpB,OAAO,GAAG,SAAS,CAAC;oBACxB,CAAC;yBAAM,IAAI,iBAAS,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;wBACxF,QAAQ,GAAG,SAAS,CAAC;wBACrB,OAAO,GAAG,QAAQ,CAAC;oBACvB,CAAC;oBAED,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;wBACtB,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,YAA2C,CAAC;wBACzE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;4BACvB,OAAO,IAAI,CAAC;wBAChB,CAAC;wBACD,IAAI,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;4BAC/B,OAAO,KAAK,CAAC;wBACjB,CAAC;wBAED,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,YAAmC,CAAC;wBACnE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;4BACxB,OAAO,IAAI,CAAC;wBAChB,CAAC;wBAED,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;oBACtC,CAAC;oBAED,qEAAqE;oBACrE,qEAAqE;oBACrE,iDAAiD;oBACjD,IACI,CAAC,gBAAgB;wBACjB,CAAC,iBAAS,CAAC,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC;wBAClD,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,EAC7C,CAAC;wBACC,OAAO,IAAI,CAAC;oBAChB,CAAC;oBAED,OAAO,KAAK,CAAC;gBACjB,CAAC;YACL,CAAC;YAED,mDAAmD;YACnD,MAAM,QAAQ,GAAG,IAAA,6BAAiB,EAC9B,iBAAS,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACvC,QAAQ,gDAEX,CAAC;YAEF,IAAI,QAAQ,EAAE,CAAC;gBACX,iEAAiE;gBACjE,qDAAqD;gBACrD,IAAI,iBAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,EAAE,CAAC;oBAC1E,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,eAAe,CAAC,MAAc;QACnC,OAAO,MAAM,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,SAAS,0BAA0B,CAAC,IAAiB;QACjD,OAAO,IAAI,CAAC,IAAI,qCAA6B,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IACpE,CAAC;IAED,SAAS,8BAA8B,CAAC,IAAoB,EAAE,eAAwB;QAClF,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpB,iCAAyB;YACzB,2CAAkC;YAClC,gDAAwC;YACxC,2CAAkC;YAClC,iCAAyB;YACzB,oCAA2B;YAC3B,mCAA0B;YAC1B,kCAAyB;YACzB,gCAAwB;YACxB,0CAAiC;YACjC,kCAAyB;YACzB,kCAAyB;YACzB,sCAA6B;YAC7B,mCAA0B;YAC1B,mCAA0B;YAC1B,uCAA8B;YAC9B,iCAAwB;YACxB;gBACI,OAAO,KAAK,CAAC;YAEjB,uCAA8B;YAC9B;gBACI,OAAO,eAAe,CAAC;YAE3B;gBACI,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,8BAAqB,CAAC;YAEjD;gBACI,OAAO,CACH,IAAI,CAAC,CAAC,CAAC,QAAQ,mCAA2B;oBAC1C,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC;oBAC3E,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAC/E,CAAC;YAEN;gBACI,OAAO,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YAE5E;gBACI,OAAO,8BAA8B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;QAChF,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,SAAS,6BAA6B,CAAC,IAAiB;QACpD,IACI,IAAI,CAAC,IAAI,qCAA6B;YACtC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;YACjB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,qCAA6B;YACtD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,+BAAuB,EAC/D,CAAC;YACC,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE7D,kEAAkE;QAClE,2EAA2E;QAC3E,yEAAyE;QACzE,IACI,CAAC,YAAY,CAAC,QAAQ,gCAAuB,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;YACtF,CAAC,YAAY,CAAC,QAAQ,wCAA+B;gBACjD,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW;gBAC7C,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,gCAAuB,CAAC,EAC9D,CAAC;YACC,yDAAyD;YACzD,iDAAiD;YACjD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,YAAY,qCAA6B,CAAC,IAAI,CAAC;YAEpF,IAAI,IAAA,2BAAmB,EAAC,QAAQ,CAAC,IAAI,iBAAS,CAAC,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC9E,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO;QACH,0BAA0B;QAC1B,wBAAwB;QACxB,mBAAmB;QACnB,kBAAkB;QAClB,cAAc;QACd,qBAAqB;QACrB,iBAAiB;QACjB,gBAAgB;QAChB,eAAe;QACf,aAAa;QACb,WAAW;QACX,iBAAiB;QACjB,gBAAgB;QAChB,wBAAwB;QACxB,2BAA2B;QAC3B,gCAAgC;QAChC,qBAAqB;QACrB,+BAA+B;QAC/B,mBAAmB;QACnB,gBAAgB;QAChB,yBAAyB;QACzB,qBAAqB;QACrB,4BAA4B;QAC5B,wBAAwB;QACxB,mBAAmB;QACnB,+BAA+B;QAC/B,6BAA6B;QAC7B,wBAAwB;QACxB,8BAA8B;QAC9B,0BAA0B;QAC1B,gCAAgC;QAChC,yBAAyB;QACzB,cAAc;QACd,gBAAgB;QAChB,sBAAsB;QACtB,kBAAkB;QAClB,yBAAyB;QACzB,gBAAgB;QAChB,eAAe;QACf,0BAA0B;QAC1B,8BAA8B;QAC9B,6BAA6B;KAChC,CAAC;AACN,CAAC"}

package/dist/analyzer/typeEvaluator/evaluatorNarrowing.d.ts

@@ -0,0 +1,17 @@
+import { TypeEvaluator, TypeResult } from '../typeEvaluatorTypes';
+import { Type, TypeCondition } from '../types';
+import { ClassMember } from '../typeUtils';
+interface Context {
+    readonly assignType: TypeEvaluator['assignType'];
+    readonly evaluatorInterface: TypeEvaluator;
+    readonly getTypeOfMember: (member: ClassMember) => Type;
+    readonly makeTopLevelTypeVarsConcrete: (type: Type, makeParamSpecsConcrete?: boolean, conditionFilter?: TypeCondition[]) => Type;
+}
+export declare function createEvaluatorNarrowing(context: Context): {
+    canBeFalsy: (type: Type, recursionCount?: number) => boolean;
+    canBeTruthy: (type: Type, recursionCount?: number) => boolean;
+    removeTruthinessFromType: (type: Type) => Type;
+    removeFalsinessFromType: (type: Type) => Type;
+    narrowTypeBasedOnAssignment: (declaredType: Type, assignedTypeResult: TypeResult) => TypeResult;
+};
+export {};

package/dist/analyzer/typeEvaluator/evaluatorNarrowing.js

@@ -0,0 +1,370 @@
+"use strict";
+/*
+ * evaluatorNarrowing.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * evaluatorNarrowing implementation, using evaluator-owned dependencies and state.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createEvaluatorNarrowing = createEvaluatorNarrowing;
+const typedDicts_1 = require("../typedDicts");
+const types_1 = require("../types");
+const typeUtils_1 = require("../typeUtils");
+// Applies truthiness and assignment narrowing; conditional/type-guard dispatch is a separate layer.
+function createEvaluatorNarrowing(context) {
+    const { assignType, evaluatorInterface, getTypeOfMember, makeTopLevelTypeVarsConcrete } = context;
+    function canBeFalsy(type, recursionCount = 0) {
+        type = makeTopLevelTypeVarsConcrete(type);
+        if (recursionCount > types_1.maxTypeRecursionCount) {
+            return true;
+        }
+        recursionCount++;
+        switch (type.category) {
+            case 10 /* TypeCategory.OverloadResult */:
+                return true;
+            case 0 /* TypeCategory.Unbound */:
+            case 1 /* TypeCategory.Unknown */:
+            case 2 /* TypeCategory.Any */:
+            case 3 /* TypeCategory.Never */: {
+                return true;
+            }
+            case 8 /* TypeCategory.Union */: {
+                return (0, types_1.findSubtype)(type, (subtype) => canBeFalsy(subtype, recursionCount)) !== undefined;
+            }
+            case 4 /* TypeCategory.Function */:
+            case 5 /* TypeCategory.Overloaded */:
+            case 7 /* TypeCategory.Module */:
+            case 9 /* TypeCategory.TypeVar */: {
+                return false;
+            }
+            case 6 /* TypeCategory.Class */: {
+                if (types_1.TypeBase.isInstantiable(type)) {
+                    return false;
+                }
+                // Sentinels are always truthy.
+                if ((0, typeUtils_1.isSentinelLiteral)(type)) {
+                    return false;
+                }
+                // Handle tuples specially.
+                if ((0, typeUtils_1.isTupleClass)(type) && type.priv.tupleTypeArgs) {
+                    return (0, typeUtils_1.isUnboundedTupleClass)(type) || type.priv.tupleTypeArgs.length === 0;
+                }
+                // Handle subclasses of tuple, such as NamedTuple.
+                const tupleBaseClass = type.shared.mro.find((mroClass) => !(0, types_1.isClass)(mroClass) || (0, typeUtils_1.isTupleClass)(mroClass));
+                if (tupleBaseClass && (0, types_1.isClass)(tupleBaseClass) && tupleBaseClass.priv.tupleTypeArgs) {
+                    return (0, typeUtils_1.isUnboundedTupleClass)(tupleBaseClass) || tupleBaseClass.priv.tupleTypeArgs.length === 0;
+                }
+                // Handle TypedDicts specially. If one or more entries are required
+                // or known to exist, we can say for sure that the type is not falsy.
+                if (types_1.ClassType.isTypedDictClass(type)) {
+                    const tdEntries = (0, typedDicts_1.getTypedDictMembersForClass)(evaluatorInterface, type, /* allowNarrowed */ true);
+                    if (tdEntries) {
+                        for (const tdEntry of tdEntries.knownItems.values()) {
+                            if (tdEntry.isRequired || tdEntry.isProvided) {
+                                return false;
+                            }
+                        }
+                    }
+                }
+                // Check for bool, int, str and bytes literals that are never falsy.
+                if (type.priv.literalValue !== undefined) {
+                    if (types_1.ClassType.isBuiltIn(type, ['bool', 'int', 'str', 'bytes'])) {
+                        return !type.priv.literalValue || type.priv.literalValue === BigInt(0);
+                    }
+                    if (type.priv.literalValue instanceof types_1.EnumLiteral) {
+                        // Does the Enum class forward the truthiness check to the
+                        // underlying member type?
+                        if (type.priv.literalValue.isReprEnum) {
+                            return canBeFalsy(type.priv.literalValue.itemType, recursionCount);
+                        }
+                    }
+                }
+                // If this is a protocol class, don't make any assumptions about the absence
+                // of specific methods. These could be provided by a class that conforms
+                // to the protocol.
+                if (types_1.ClassType.isProtocolClass(type)) {
+                    return true;
+                }
+                const lenMethod = (0, typeUtils_1.lookUpObjectMember)(type, '__len__');
+                if (lenMethod) {
+                    return true;
+                }
+                const boolMethod = (0, typeUtils_1.lookUpObjectMember)(type, '__bool__');
+                if (boolMethod) {
+                    const boolMethodType = getTypeOfMember(boolMethod);
+                    // If the __bool__ function unconditionally returns True, it can never be falsy.
+                    if ((0, types_1.isFunction)(boolMethodType) && boolMethodType.shared.declaredReturnType) {
+                        const returnType = boolMethodType.shared.declaredReturnType;
+                        if ((0, types_1.isClassInstance)(returnType) &&
+                            types_1.ClassType.isBuiltIn(returnType, 'bool') &&
+                            returnType.priv.literalValue === true) {
+                            return false;
+                        }
+                    }
+                    return true;
+                }
+                // If the class is not final, it's possible that it could be overridden
+                // such that it is falsy. To be fully correct, we'd need to do the
+                // following:
+                // return !ClassType.isFinal(type);
+                // However, pragmatically if the class is not an `object`, it's typically
+                // OK to assume that it will not be overridden in this manner.
+                return types_1.ClassType.isBuiltIn(type, 'object');
+            }
+        }
+    }
+    function canBeTruthy(type, recursionCount = 0) {
+        type = makeTopLevelTypeVarsConcrete(type);
+        if (recursionCount > types_1.maxTypeRecursionCount) {
+            return true;
+        }
+        recursionCount++;
+        switch (type.category) {
+            case 10 /* TypeCategory.OverloadResult */:
+                return true;
+            case 1 /* TypeCategory.Unknown */:
+            case 4 /* TypeCategory.Function */:
+            case 5 /* TypeCategory.Overloaded */:
+            case 7 /* TypeCategory.Module */:
+            case 9 /* TypeCategory.TypeVar */:
+            case 3 /* TypeCategory.Never */:
+            case 2 /* TypeCategory.Any */: {
+                return true;
+            }
+            case 8 /* TypeCategory.Union */: {
+                return (0, types_1.findSubtype)(type, (subtype) => canBeTruthy(subtype, recursionCount)) !== undefined;
+            }
+            case 0 /* TypeCategory.Unbound */: {
+                return false;
+            }
+            case 6 /* TypeCategory.Class */: {
+                if (types_1.TypeBase.isInstantiable(type)) {
+                    return true;
+                }
+                if ((0, typeUtils_1.isNoneInstance)(type)) {
+                    return false;
+                }
+                // // Check for tuple[()] (an empty tuple).
+                if (type.priv.tupleTypeArgs && type.priv.tupleTypeArgs.length === 0) {
+                    return false;
+                }
+                // Check for bool, int, str and bytes literals that are never falsy.
+                if (type.priv.literalValue !== undefined) {
+                    if (types_1.ClassType.isBuiltIn(type, ['bool', 'int', 'str', 'bytes'])) {
+                        return !!type.priv.literalValue && type.priv.literalValue !== BigInt(0);
+                    }
+                    if (type.priv.literalValue instanceof types_1.EnumLiteral) {
+                        // Does the Enum class forward the truthiness check to the
+                        // underlying member type?
+                        if (type.priv.literalValue.isReprEnum) {
+                            return canBeTruthy(type.priv.literalValue.itemType, recursionCount);
+                        }
+                    }
+                }
+                // If this is a protocol class, don't make any assumptions about the absence
+                // of specific methods. These could be provided by a class that conforms
+                // to the protocol.
+                if (types_1.ClassType.isProtocolClass(type)) {
+                    return true;
+                }
+                const boolMethod = (0, typeUtils_1.lookUpObjectMember)(type, '__bool__');
+                if (boolMethod) {
+                    const boolMethodType = getTypeOfMember(boolMethod);
+                    // If the __bool__ function unconditionally returns False, it can never be truthy.
+                    if ((0, types_1.isFunction)(boolMethodType) && boolMethodType.shared.declaredReturnType) {
+                        const returnType = boolMethodType.shared.declaredReturnType;
+                        if ((0, types_1.isClassInstance)(returnType) &&
+                            types_1.ClassType.isBuiltIn(returnType, 'bool') &&
+                            returnType.priv.literalValue === false) {
+                            return false;
+                        }
+                    }
+                }
+                return true;
+            }
+        }
+    }
+    function removeTruthinessFromType(type) {
+        return (0, typeUtils_1.mapSubtypes)(type, (subtype) => {
+            const concreteSubtype = makeTopLevelTypeVarsConcrete(subtype);
+            if ((0, types_1.isClassInstance)(concreteSubtype)) {
+                if (concreteSubtype.priv.literalValue !== undefined) {
+                    let isLiteralFalsy;
+                    if (concreteSubtype.priv.literalValue instanceof types_1.EnumLiteral) {
+                        isLiteralFalsy = !canBeTruthy(concreteSubtype);
+                    }
+                    else {
+                        isLiteralFalsy = !concreteSubtype.priv.literalValue;
+                    }
+                    // If the object is already definitely falsy, it's fine to
+                    // include, otherwise it should be removed.
+                    return isLiteralFalsy ? subtype : undefined;
+                }
+                // If the object is a sentinel, we can eliminate it.
+                if ((0, typeUtils_1.isSentinelLiteral)(concreteSubtype)) {
+                    return undefined;
+                }
+                // If the object is a bool, make it "false", since
+                // "true" is a truthy value.
+                if (types_1.ClassType.isBuiltIn(concreteSubtype, 'bool')) {
+                    return types_1.ClassType.cloneWithLiteral(concreteSubtype, /* value */ false);
+                }
+                // If the object is an int, str or bytes, narrow to a literal type.
+                // This is slightly unsafe in that someone could subclass `int`, `str`
+                // or `bytes` and override the `__bool__` method to change its behavior,
+                // but this is extremely unlikely (and ill advised).
+                if (types_1.ClassType.isBuiltIn(concreteSubtype, 'int')) {
+                    return types_1.ClassType.cloneWithLiteral(concreteSubtype, /* value */ 0);
+                }
+                else if (types_1.ClassType.isBuiltIn(concreteSubtype, ['str', 'bytes'])) {
+                    return types_1.ClassType.cloneWithLiteral(concreteSubtype, /* value */ '');
+                }
+            }
+            // If it's possible for the type to be falsy, include it.
+            if (canBeFalsy(subtype)) {
+                return subtype;
+            }
+            return undefined;
+        });
+    }
+    function removeFalsinessFromType(type) {
+        return (0, typeUtils_1.mapSubtypes)(type, (subtype) => {
+            const concreteSubtype = makeTopLevelTypeVarsConcrete(subtype);
+            if ((0, types_1.isClassInstance)(concreteSubtype)) {
+                if (concreteSubtype.priv.literalValue !== undefined) {
+                    let isLiteralTruthy;
+                    if (concreteSubtype.priv.literalValue instanceof types_1.EnumLiteral) {
+                        isLiteralTruthy = !canBeFalsy(concreteSubtype);
+                    }
+                    else if (concreteSubtype.priv.literalValue instanceof types_1.SentinelLiteral) {
+                        isLiteralTruthy = true;
+                    }
+                    else {
+                        isLiteralTruthy = !!concreteSubtype.priv.literalValue;
+                    }
+                    // If the object is already definitely truthy, it's fine to
+                    // include, otherwise it should be removed.
+                    return isLiteralTruthy ? subtype : undefined;
+                }
+                // If the object is a bool, make it "true", since
+                // "false" is a falsy value.
+                if (types_1.ClassType.isBuiltIn(concreteSubtype, 'bool')) {
+                    return types_1.ClassType.cloneWithLiteral(concreteSubtype, /* value */ true);
+                }
+                // If the object is a "None" instance, we can eliminate it.
+                if ((0, typeUtils_1.isNoneInstance)(concreteSubtype)) {
+                    return undefined;
+                }
+                // If this is an instance of a class that cannot be subclassed,
+                // we cannot say definitively that it's not falsy because a subclass
+                // could override `__bool__`. For this reason, the code should not
+                // remove any classes that are not final.
+                // if (!ClassType.isFinal(concreteSubtype)) {
+                //     return subtype;
+                // }
+                // However, we're going to pragmatically assume that any classes
+                // other than `object` will not be overridden in this manner.
+                if (types_1.ClassType.isBuiltIn(concreteSubtype, 'object')) {
+                    return subtype;
+                }
+            }
+            // If it's possible for the type to be truthy, include it.
+            if (canBeTruthy(subtype)) {
+                return subtype;
+            }
+            return undefined;
+        });
+    }
+    function narrowTypeBasedOnAssignment(declaredType, assignedTypeResult) {
+        // TODO: The rules for narrowing types on assignment are not defined in
+        // the typing spec. Pyright's current logic is currently not even internally
+        // consistent and probably not sound from a type theory perspective. It
+        // should be completely reworked once there has been a public discussion
+        // about the correct behavior.
+        const narrowedType = (0, typeUtils_1.mapSubtypes)(assignedTypeResult.type, (assignedSubtype) => {
+            // Handle the special case where the assigned type is a literal type.
+            // Some types include very large unions of literal types, and we don't
+            // want to use an n^2 loop to compare them.
+            if ((0, types_1.isClass)(assignedSubtype) && (0, typeUtils_1.isLiteralType)(assignedSubtype)) {
+                if ((0, types_1.isUnion)(declaredType) && types_1.UnionType.containsType(declaredType, assignedSubtype)) {
+                    return assignedSubtype;
+                }
+            }
+            const narrowedSubtype = (0, typeUtils_1.mapSubtypes)(declaredType, (declaredSubtype) => {
+                if (!assignType(declaredSubtype, assignedSubtype)) {
+                    return undefined;
+                }
+                // Retain unknowns for code flow analysis convergence and for
+                // unknown type reporting in strict mode.
+                if ((0, types_1.isUnknown)(assignedSubtype)) {
+                    return assignedSubtype;
+                }
+                // Preserve assignment narrowing when an enum literal is assigned
+                // to its non-literal enum class. A single-member enum is equivalent
+                // to its only literal, but the assigned value is still more precise.
+                if ((0, types_1.isClassInstance)(assignedSubtype) &&
+                    assignedSubtype.priv.literalValue instanceof types_1.EnumLiteral &&
+                    (0, types_1.isClassInstance)(declaredSubtype) &&
+                    declaredSubtype.priv.literalValue === undefined &&
+                    types_1.ClassType.isSameGenericClass(assignedSubtype, declaredSubtype)) {
+                    return assignedSubtype;
+                }
+                // If the two types are bidirectionally assignable, they are
+                // either equivalent (in which case it doesn't matter which
+                // one we choose) or one or both include gradual types (Any, etc.),
+                // in which case we'll want to stick with the declared subtype.
+                if (assignType(assignedSubtype, declaredSubtype)) {
+                    // We need to be careful with TypedDict types that have
+                    // narrowed fields. In this case, we want to return the
+                    // assigned type.
+                    if ((0, types_1.isClass)(assignedSubtype) &&
+                        assignedSubtype.priv.typedDictNarrowedEntries &&
+                        (0, types_1.isTypeSame)(assignedSubtype, declaredSubtype, { ignoreTypedDictNarrowEntries: true })) {
+                        return assignedSubtype;
+                    }
+                    // We also need to be careful with callback protocols.
+                    if ((0, types_1.isClassInstance)(declaredSubtype) && types_1.ClassType.isProtocolClass(declaredSubtype)) {
+                        if ((0, types_1.isFunctionOrOverloaded)(assignedSubtype)) {
+                            return assignedSubtype;
+                        }
+                    }
+                    return declaredSubtype;
+                }
+                return assignedSubtype;
+            });
+            // If we couldn't assign the assigned subtype any of the declared
+            // subtypes, the types are incompatible. Return the unnarrowed form.
+            if ((0, types_1.isNever)(narrowedSubtype)) {
+                return assignedSubtype;
+            }
+            return narrowedSubtype;
+        });
+        // If the result of narrowing is an Unknown that is incomplete, propagate the
+        // incomplete type for the benefit of code flow analysis.
+        // If the result of narrowing is a complete Unknown, combine the Unknown type
+        // with the declared type. In strict mode, this will retain the "unknown type"
+        // diagnostics while still providing reasonable completion suggestions.
+        if ((0, typeUtils_1.isIncompleteUnknown)(narrowedType)) {
+            return { type: narrowedType, isIncomplete: assignedTypeResult.isIncomplete };
+        }
+        else if ((0, types_1.isUnknown)(narrowedType)) {
+            return { type: (0, types_1.combineTypes)([narrowedType, declaredType]), isIncomplete: assignedTypeResult.isIncomplete };
+        }
+        return {
+            type: narrowedType.props?.inferredTupleLiteral &&
+                !assignType(declaredType, (0, types_1.getInferredTupleLiteralBase)(narrowedType))
+                ? (0, types_1.preserveInferredTupleLiterals)(narrowedType)
+                : narrowedType,
+            isIncomplete: assignedTypeResult.isIncomplete,
+        };
+    }
+    return {
+        canBeFalsy,
+        canBeTruthy,
+        removeTruthinessFromType,
+        removeFalsinessFromType,
+        narrowTypeBasedOnAssignment,
+    };
+}
+//# sourceMappingURL=evaluatorNarrowing.js.map

package/dist/analyzer/typeEvaluator/evaluatorNarrowing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluatorNarrowing.js","sourceRoot":"","sources":["../../../../../../src/analyzer/typeEvaluator/evaluatorNarrowing.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAmDH,4DAwaC;AAzdD,8CAA4D;AAE5D,oCAsBkB;AAClB,4CAUsB;AAatB,oGAAoG;AACpG,SAAgB,wBAAwB,CAAC,OAAgB;IACrD,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,4BAA4B,EAAE,GAAG,OAAO,CAAC;IAElG,SAAS,UAAU,CAAC,IAAU,EAAE,cAAc,GAAG,CAAC;QAC9C,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAE1C,IAAI,cAAc,GAAG,6BAAqB,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,cAAc,EAAE,CAAC;QAEjB,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpB;gBACI,OAAO,IAAI,CAAC;YAEhB,kCAA0B;YAC1B,kCAA0B;YAC1B,8BAAsB;YACtB,+BAAuB,CAAC,CAAC,CAAC;gBACtB,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,+BAAuB,CAAC,CAAC,CAAC;gBACtB,OAAO,IAAA,mBAAW,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,KAAK,SAAS,CAAC;YAC7F,CAAC;YAED,mCAA2B;YAC3B,qCAA6B;YAC7B,iCAAyB;YACzB,iCAAyB,CAAC,CAAC,CAAC;gBACxB,OAAO,KAAK,CAAC;YACjB,CAAC;YAED,+BAAuB,CAAC,CAAC,CAAC;gBACtB,IAAI,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,+BAA+B;gBAC/B,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,2BAA2B;gBAC3B,IAAI,IAAA,wBAAY,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;oBAChD,OAAO,IAAA,iCAAqB,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;gBAC/E,CAAC;gBAED,kDAAkD;gBAClD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAA,eAAO,EAAC,QAAQ,CAAC,IAAI,IAAA,wBAAY,EAAC,QAAQ,CAAC,CAAC,CAAC;gBACxG,IAAI,cAAc,IAAI,IAAA,eAAO,EAAC,cAAc,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;oBACjF,OAAO,IAAA,iCAAqB,EAAC,cAAc,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;gBACnG,CAAC;gBAED,mEAAmE;gBACnE,qEAAqE;gBACrE,IAAI,iBAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnC,MAAM,SAAS,GAAG,IAAA,wCAA2B,EAAC,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;oBAClG,IAAI,SAAS,EAAE,CAAC;wBACZ,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;4BAClD,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gCAC3C,OAAO,KAAK,CAAC;4BACjB,CAAC;wBACL,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,oEAAoE;gBACpE,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBACvC,IAAI,iBAAS,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;wBAC7D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3E,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,YAAY,mBAAW,EAAE,CAAC;wBAChD,0DAA0D;wBAC1D,0BAA0B;wBAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;4BACpC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;wBACvE,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,4EAA4E;gBAC5E,wEAAwE;gBACxE,mBAAmB;gBACnB,IAAI,iBAAS,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,SAAS,GAAG,IAAA,8BAAkB,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACtD,IAAI,SAAS,EAAE,CAAC;oBACZ,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,UAAU,GAAG,IAAA,8BAAkB,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACxD,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,cAAc,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAEnD,gFAAgF;oBAChF,IAAI,IAAA,kBAAU,EAAC,cAAc,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;wBACzE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC;wBAC5D,IACI,IAAA,uBAAe,EAAC,UAAU,CAAC;4BAC3B,iBAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;4BACvC,UAAU,CAAC,IAAI,CAAC,YAAY,KAAK,IAAI,EACvC,CAAC;4BACC,OAAO,KAAK,CAAC;wBACjB,CAAC;oBACL,CAAC;oBAED,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,uEAAuE;gBACvE,kEAAkE;gBAClE,aAAa;gBACb,mCAAmC;gBACnC,yEAAyE;gBACzE,8DAA8D;gBAC9D,OAAO,iBAAS,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,WAAW,CAAC,IAAU,EAAE,cAAc,GAAG,CAAC;QAC/C,IAAI,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAE1C,IAAI,cAAc,GAAG,6BAAqB,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,cAAc,EAAE,CAAC;QAEjB,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpB;gBACI,OAAO,IAAI,CAAC;YAEhB,kCAA0B;YAC1B,mCAA2B;YAC3B,qCAA6B;YAC7B,iCAAyB;YACzB,kCAA0B;YAC1B,gCAAwB;YACxB,6BAAqB,CAAC,CAAC,CAAC;gBACpB,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,+BAAuB,CAAC,CAAC,CAAC;gBACtB,OAAO,IAAA,mBAAW,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,KAAK,SAAS,CAAC;YAC9F,CAAC;YAED,iCAAyB,CAAC,CAAC,CAAC;gBACxB,OAAO,KAAK,CAAC;YACjB,CAAC;YAED,+BAAuB,CAAC,CAAC,CAAC;gBACtB,IAAI,gBAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,IAAI,IAAA,0BAAc,EAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,2CAA2C;gBAC3C,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAClE,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,oEAAoE;gBACpE,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBACvC,IAAI,iBAAS,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;wBAC7D,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC5E,CAAC;oBAED,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,YAAY,mBAAW,EAAE,CAAC;wBAChD,0DAA0D;wBAC1D,0BAA0B;wBAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;4BACpC,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;wBACxE,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,4EAA4E;gBAC5E,wEAAwE;gBACxE,mBAAmB;gBACnB,IAAI,iBAAS,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClC,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,MAAM,UAAU,GAAG,IAAA,8BAAkB,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACxD,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,cAAc,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAEnD,kFAAkF;oBAClF,IAAI,IAAA,kBAAU,EAAC,cAAc,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;wBACzE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC;wBAC5D,IACI,IAAA,uBAAe,EAAC,UAAU,CAAC;4BAC3B,iBAAS,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC;4BACvC,UAAU,CAAC,IAAI,CAAC,YAAY,KAAK,KAAK,EACxC,CAAC;4BACC,OAAO,KAAK,CAAC;wBACjB,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,wBAAwB,CAAC,IAAU;QACxC,OAAO,IAAA,uBAAW,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;YACjC,MAAM,eAAe,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;YAE9D,IAAI,IAAA,uBAAe,EAAC,eAAe,CAAC,EAAE,CAAC;gBACnC,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBAClD,IAAI,cAAuB,CAAC;oBAE5B,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,YAAY,mBAAW,EAAE,CAAC;wBAC3D,cAAc,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;oBACnD,CAAC;yBAAM,CAAC;wBACJ,cAAc,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC;oBACxD,CAAC;oBAED,0DAA0D;oBAC1D,2CAA2C;oBAC3C,OAAO,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBAChD,CAAC;gBAED,oDAAoD;gBACpD,IAAI,IAAA,6BAAiB,EAAC,eAAe,CAAC,EAAE,CAAC;oBACrC,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,kDAAkD;gBAClD,4BAA4B;gBAC5B,IAAI,iBAAS,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC/C,OAAO,iBAAS,CAAC,gBAAgB,CAAC,eAAe,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC1E,CAAC;gBAED,mEAAmE;gBACnE,sEAAsE;gBACtE,wEAAwE;gBACxE,oDAAoD;gBACpD,IAAI,iBAAS,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC9C,OAAO,iBAAS,CAAC,gBAAgB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;gBACtE,CAAC;qBAAM,IAAI,iBAAS,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;oBAChE,OAAO,iBAAS,CAAC,gBAAgB,CAAC,eAAe,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;YACL,CAAC;YAED,yDAAyD;YACzD,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtB,OAAO,OAAO,CAAC;YACnB,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,SAAS,uBAAuB,CAAC,IAAU;QACvC,OAAO,IAAA,uBAAW,EAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;YACjC,MAAM,eAAe,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;YAE9D,IAAI,IAAA,uBAAe,EAAC,eAAe,CAAC,EAAE,CAAC;gBACnC,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;oBAClD,IAAI,eAAwB,CAAC;oBAE7B,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,YAAY,mBAAW,EAAE,CAAC;wBAC3D,eAAe,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;oBACnD,CAAC;yBAAM,IAAI,eAAe,CAAC,IAAI,CAAC,YAAY,YAAY,uBAAe,EAAE,CAAC;wBACtE,eAAe,GAAG,IAAI,CAAC;oBAC3B,CAAC;yBAAM,CAAC;wBACJ,eAAe,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC;oBAC1D,CAAC;oBAED,2DAA2D;oBAC3D,2CAA2C;oBAC3C,OAAO,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBACjD,CAAC;gBAED,iDAAiD;gBACjD,4BAA4B;gBAC5B,IAAI,iBAAS,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC/C,OAAO,iBAAS,CAAC,gBAAgB,CAAC,eAAe,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;gBACzE,CAAC;gBAED,2DAA2D;gBAC3D,IAAI,IAAA,0BAAc,EAAC,eAAe,CAAC,EAAE,CAAC;oBAClC,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,+DAA+D;gBAC/D,oEAAoE;gBACpE,kEAAkE;gBAClE,yCAAyC;gBACzC,6CAA6C;gBAC7C,sBAAsB;gBACtB,IAAI;gBACJ,gEAAgE;gBAChE,6DAA6D;gBAC7D,IAAI,iBAAS,CAAC,SAAS,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACjD,OAAO,OAAO,CAAC;gBACnB,CAAC;YACL,CAAC;YAED,0DAA0D;YAC1D,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC;YACnB,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,SAAS,2BAA2B,CAAC,YAAkB,EAAE,kBAA8B;QACnF,uEAAuE;QACvE,4EAA4E;QAC5E,uEAAuE;QACvE,wEAAwE;QACxE,8BAA8B;QAE9B,MAAM,YAAY,GAAG,IAAA,uBAAW,EAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,eAAe,EAAE,EAAE;YAC1E,qEAAqE;YACrE,sEAAsE;YACtE,2CAA2C;YAC3C,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,IAAI,IAAA,yBAAa,EAAC,eAAe,CAAC,EAAE,CAAC;gBAC7D,IAAI,IAAA,eAAO,EAAC,YAAY,CAAC,IAAI,iBAAS,CAAC,YAAY,CAAC,YAAY,EAAE,eAAe,CAAC,EAAE,CAAC;oBACjF,OAAO,eAAe,CAAC;gBAC3B,CAAC;YACL,CAAC;YAED,MAAM,eAAe,GAAG,IAAA,uBAAW,EAAC,YAAY,EAAE,CAAC,eAAe,EAAE,EAAE;gBAClE,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,CAAC;oBAChD,OAAO,SAAS,CAAC;gBACrB,CAAC;gBAED,6DAA6D;gBAC7D,yCAAyC;gBACzC,IAAI,IAAA,iBAAS,EAAC,eAAe,CAAC,EAAE,CAAC;oBAC7B,OAAO,eAAe,CAAC;gBAC3B,CAAC;gBAED,iEAAiE;gBACjE,oEAAoE;gBACpE,qEAAqE;gBACrE,IACI,IAAA,uBAAe,EAAC,eAAe,CAAC;oBAChC,eAAe,CAAC,IAAI,CAAC,YAAY,YAAY,mBAAW;oBACxD,IAAA,uBAAe,EAAC,eAAe,CAAC;oBAChC,eAAe,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS;oBAC/C,iBAAS,CAAC,kBAAkB,CAAC,eAAe,EAAE,eAAe,CAAC,EAChE,CAAC;oBACC,OAAO,eAAe,CAAC;gBAC3B,CAAC;gBAED,4DAA4D;gBAC5D,2DAA2D;gBAC3D,mEAAmE;gBACnE,+DAA+D;gBAC/D,IAAI,UAAU,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,CAAC;oBAC/C,uDAAuD;oBACvD,uDAAuD;oBACvD,iBAAiB;oBACjB,IACI,IAAA,eAAO,EAAC,eAAe,CAAC;wBACxB,eAAe,CAAC,IAAI,CAAC,wBAAwB;wBAC7C,IAAA,kBAAU,EAAC,eAAe,EAAE,eAAe,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,CAAC,EACtF,CAAC;wBACC,OAAO,eAAe,CAAC;oBAC3B,CAAC;oBAED,sDAAsD;oBACtD,IAAI,IAAA,uBAAe,EAAC,eAAe,CAAC,IAAI,iBAAS,CAAC,eAAe,CAAC,eAAe,CAAC,EAAE,CAAC;wBACjF,IAAI,IAAA,8BAAsB,EAAC,eAAe,CAAC,EAAE,CAAC;4BAC1C,OAAO,eAAe,CAAC;wBAC3B,CAAC;oBACL,CAAC;oBAED,OAAO,eAAe,CAAC;gBAC3B,CAAC;gBAED,OAAO,eAAe,CAAC;YAC3B,CAAC,CAAC,CAAC;YAEH,iEAAiE;YACjE,oEAAoE;YACpE,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,EAAE,CAAC;gBAC3B,OAAO,eAAe,CAAC;YAC3B,CAAC;YAED,OAAO,eAAe,CAAC;QAC3B,CAAC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,yDAAyD;QACzD,6EAA6E;QAC7E,8EAA8E;QAC9E,uEAAuE;QACvE,IAAI,IAAA,+BAAmB,EAAC,YAAY,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,kBAAkB,CAAC,YAAY,EAAE,CAAC;QACjF,CAAC;aAAM,IAAI,IAAA,iBAAS,EAAC,YAAY,CAAC,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,IAAA,oBAAY,EAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,YAAY,EAAE,kBAAkB,CAAC,YAAY,EAAE,CAAC;QAC/G,CAAC;QAED,OAAO;YACH,IAAI,EACA,YAAY,CAAC,KAAK,EAAE,oBAAoB;gBACxC,CAAC,UAAU,CAAC,YAAY,EAAE,IAAA,mCAA2B,EAAC,YAAY,CAAC,CAAC;gBAChE,CAAC,CAAC,IAAA,qCAA6B,EAAC,YAAY,CAAC;gBAC7C,CAAC,CAAC,YAAY;YACtB,YAAY,EAAE,kBAAkB,CAAC,YAAY;SAChD,CAAC;IACN,CAAC;IAED,OAAO;QACH,UAAU;QACV,WAAW;QACX,wBAAwB;QACxB,uBAAuB;QACvB,2BAA2B;KAC9B,CAAC;AACN,CAAC"}

package/dist/analyzer/typeEvaluator/expressionEvaluation.d.ts

@@ -0,0 +1,81 @@
+import { Diagnostic, DiagnosticAddendum } from '../../common/diagnostic';
+import { TextRange } from '../../common/textRange';
+import { ArgumentNode, CallNode, ClassNode, ConstantNode, ExpressionNode, FormatStringNode, FunctionNode, IndexNode, NameNode, ParseNode, SliceNode, StringListNode, StringNode, UnpackNode, YieldFromNode, YieldNode } from '../../parser/parseNodes';
+import * as AnalyzerNodeInfo from '../analyzerNodeInfo';
+import { ConstraintTracker } from '../constraintTracker';
+import { Scope, SymbolWithScope } from '../scope';
+import { Symbol } from '../symbol';
+import { SpeculativeModeOptions } from '../typeCacheUtils';
+import { Arg, ArgWithExpression, CallResult, ClassTypeResult, DeclaredSymbolTypeInfo, EvalFlags, EvaluatorUsage, ExpectedTypeOptions, FunctionTypeResult, MapSubtypesOptions, PrefetchedTypes, PrintTypeOptions, TypeEvaluator, TypeResult, TypeResultWithNode } from '../typeEvaluatorTypes';
+import { AnyType, ClassType, FunctionType, LiteralValue, ModuleType, NeverType, OverloadedType, OverloadResultType, Type, TypeCondition, TypeVarType, UnboundType, UnionType, UnknownType } from '../types';
+import { InferenceContext } from '../typeUtils';
+export declare function getIndexAccessMagicMethodName(usage: EvaluatorUsage): string;
+interface Context {
+    readonly addDiagnostic: TypeEvaluator['addDiagnostic'];
+    readonly addInformation: (message: string, node: ParseNode, range?: TextRange) => Diagnostic | undefined;
+    readonly cloneBuiltinObjectWithLiteral: (node: ParseNode, builtInName: string, value: LiteralValue) => Type;
+    readonly collectLiteralEnumClasses: (type: Type, literalEnumClasses?: ClassType[], recursively?: boolean, recursionCount?: number) => ClassType[];
+    readonly convertNodeToArg: (node: ArgumentNode) => ArgWithExpression;
+    readonly evaluatorInterface: TypeEvaluator;
+    readonly expectedTypeWantsTypeForm: (expectedType: Type) => boolean;
+    readonly getBoundMagicMethod: (classType: ClassType, memberName: string, selfType?: ClassType | TypeVarType | undefined, errorNode?: ExpressionNode | undefined, diag?: DiagnosticAddendum, recursionCount?: number) => FunctionType | OverloadedType | undefined;
+    readonly getBuiltInObject: (node: ParseNode, name: string, typeArgs?: Type[]) => UnboundType | UnknownType | AnyType | FunctionType | OverloadedType | ClassType | ModuleType | TypeVarType | OverloadResultType | NeverType | UnionType;
+    readonly getBuiltInType: (node: ParseNode, name: string) => Type;
+    readonly getDeclaredTypeOfSymbol: (symbol: Symbol, usageNode?: NameNode) => DeclaredSymbolTypeInfo;
+    readonly getEffectiveTypeOfSymbol: (symbol: Symbol) => Type;
+    readonly getNoneType: () => Type;
+    readonly getObjectType: () => Type;
+    readonly getScopeForNode: (node: ParseNode) => Scope | undefined;
+    readonly getTypeOfArgExpectingType: (arg: Arg, options?: ExpectedTypeOptions) => TypeResult;
+    readonly getTypeOfAwaitable: (typeResult: TypeResult, errorNode?: ExpressionNode) => TypeResult;
+    readonly getTypeOfClass: (node: ClassNode) => ClassTypeResult | undefined;
+    readonly getTypeOfExpression: TypeEvaluator['getTypeOfExpression'];
+    readonly getTypeOfFunction: (node: FunctionNode) => FunctionTypeResult | undefined;
+    readonly getTypeVarScopesForNode: (node: ParseNode) => string[];
+    readonly getTypingType: (node: ParseNode, symbolName: string) => Type | undefined;
+    readonly isSpeculativeModeInUse: (node: ParseNode | undefined) => boolean;
+    readonly lookUpSymbolRecursive: (node: ParseNode, name: string, honorCodeFlow: boolean, preferGlobalScope?: boolean) => SymbolWithScope | undefined;
+    readonly makeTopLevelTypeVarsConcrete: (type: Type, makeParamSpecsConcrete?: boolean, conditionFilter?: TypeCondition[]) => Type;
+    readonly mapSubtypesExpandTypeVars: (type: Type, options: MapSubtypesOptions | undefined, callback: (expandedSubtype: Type, unexpandedSubtype: Type, isLastIteration: boolean) => Type | undefined, recursionCount?: number) => Type;
+    readonly nodeInfo: AnalyzerNodeInfo.AnalyzerNodeInfoAccessor;
+    readonly normalizeEnumTypes: (typeToNormalize: Type, literalEnumClasses: ClassType[], recursionCount?: number) => Type;
+    readonly prefetched: Partial<PrefetchedTypes> | undefined;
+    readonly printSrcDestTypes: (srcType: Type, destType: Type, options?: PrintTypeOptions) => {
+        sourceType: string;
+        destType: string;
+    };
+    readonly printType: TypeEvaluator['printType'];
+    readonly resolveDeclaredMemberType: (symbol: Symbol, classOrObjectBase: ClassType | undefined, memberAccessClass: Type | undefined, useDescriptorSetterType: boolean, bindFunction: boolean, selfType: ClassType | TypeVarType | undefined) => Type | undefined;
+    readonly setTypeResultForNode: (node: ParseNode, typeResult: TypeResult, flags?: EvalFlags) => void;
+    readonly stripTypeGuard: (type: Type) => Type;
+    readonly useSpeculativeMode: <T>(speculativeNode: ParseNode | undefined, callback: () => T, options?: SpeculativeModeOptions) => T;
+    readonly validateCallArgs: (errorNode: ExpressionNode, argList: Arg[], callTypeResult: TypeResult, constraints: ConstraintTracker | undefined, skipUnknownArgCheck: boolean | undefined, inferenceContext: InferenceContext | undefined, recursionCount?: number) => CallResult;
+    readonly maxSingleOverloadArgTypeExpansionCount: 64;
+}
+export declare function createExpressionEvaluation(context: Context): {
+    getTypeOfEllipsis: (flags: EvalFlags, typeResult: TypeResult | undefined, node: ExpressionNode) => TypeResult<Type>;
+    getTypeOfUnpackOperator: (node: UnpackNode, flags: EvalFlags, inferenceContext?: InferenceContext) => TypeResult<Type>;
+    getTypeOfString: (node: StringNode | FormatStringNode) => TypeResult;
+    getDeclaredTypeForExpression: (expression: ExpressionNode, usage?: EvaluatorUsage) => Type | undefined;
+    getTypeOfIterator: (typeResult: TypeResult, isAsync: boolean, errorNode: ExpressionNode, emitNotIterableError?: boolean) => TypeResult | undefined;
+    getTypeOfIterable: (typeResult: TypeResult, isAsync: boolean, errorNode: ExpressionNode, emitNotIterableError?: boolean) => TypeResult | undefined;
+    getTypeOfIndexedObjectOrClass: (node: IndexNode, baseType: ClassType, selfType: ClassType | TypeVarType | undefined, usage: EvaluatorUsage) => TypeResult;
+    getTypeArg: (node: ExpressionNode, flags: EvalFlags, supportsDictExpression: boolean) => TypeResultWithNode;
+    getTypeOfLambdaForCall: (node: CallNode, inferenceContext: InferenceContext | undefined) => TypeResult;
+    getTypeOfTypeForm: (node: CallNode, typeFormClass: ClassType) => TypeResult;
+    getTypeOfAssertType: (node: CallNode, inferenceContext: InferenceContext | undefined) => TypeResult;
+    getTypeOfRevealLocals: (node: CallNode) => Type;
+    getTypeOfSuperCall: (node: CallNode) => TypeResult;
+    evaluateCastCall: (argList: Arg[], errorNode: ExpressionNode) => Type;
+    getTypeOfConstant: (node: ConstantNode, flags: EvalFlags) => TypeResult;
+    getTypeOfMagicMethodCall: (objType: Type, methodName: string, argList: TypeResult[], errorNode: ExpressionNode, inferenceContext?: InferenceContext, diag?: DiagnosticAddendum) => TypeResult | undefined;
+    getTypeOfYield: (node: YieldNode) => TypeResult;
+    getTypeOfYieldFrom: (node: YieldFromNode) => TypeResult;
+    getTypeOfSlice: (node: SliceNode) => TypeResult;
+    getTypeOfArg: (arg: Arg, inferenceContext: InferenceContext | undefined) => TypeResult;
+    getTypeOfExpressionExpectingType: (node: ExpressionNode, options?: ExpectedTypeOptions) => TypeResult;
+    getTypeOfStringList: (node: StringListNode, flags: EvalFlags, inferenceContext?: InferenceContext) => TypeResult;
+    expandArgTypes: (contextFreeArgTypes: Type[], expandedArgTypes: (Type | undefined)[][]) => (Type | undefined)[][] | undefined;
+    expandArgList: (argList: Arg[]) => Arg[];
+};
+export {};