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

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

@@ -0,0 +1 @@
+{"version":3,"file":"collectionInference.js","sourceRoot":"","sources":["../../../../../../src/analyzer/typeEvaluator/collectionInference.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4JH,8DA27BC;AArlCD,8CAA4C;AAC5C,wDAA6D;AAC7D,kEAA8D;AAC9D,0DAAsE;AACtE,wDAYiC;AAEjC,0DAAoE;AACpE,4DAAyD;AACzD,kEAAoD;AACpD,sCAA4C;AAC5C,8CAA+E;AAC/E,8DAU+B;AAC/B,oCAwBkB;AAClB,4CAcsB;AAgFtB,oGAAoG;AACpG,SAAgB,yBAAyB,CAAC,OAAgB;IACtD,MAAM,EACF,aAAa,EACb,UAAU,EACV,sBAAsB,EACtB,gCAAgC,EAChC,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,EACd,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,EACvB,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,4BAA4B,EAC5B,2BAA2B,EAC3B,QAAQ,EACR,SAAS,EACT,wBAAwB,EACxB,iBAAiB,GACpB,GAAG,OAAO,CAAC;IAEZ,SAAS,8BAA8B,CACnC,IAAoB,EACpB,KAAgB,EAChB,gBAAkC,EAClC,oBAAyC;QAEzC,gBAAgB,CAAC,YAAY,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QACnG,IAAI,oBAAoB,GAAG,4BAA4B,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAEvF,IAAI,CAAC,IAAA,uBAAe,EAAC,oBAAoB,CAAC,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,wCAAwC;QACxC,IAAI,iBAAS,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACnD,6EAA6E;YAC7E,8CAA8C;YAC9C,oBAAoB,GAAG,gBAAQ,CAAC,iBAAiB,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;YAEnF,MAAM,wBAAwB,GAAG,IAAA,wCAA2B,EAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;YAEvG,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE;gBAC/E,oBAAoB,EAAE,IAAI;gBAC1B,oBAAoB,EAAE,IAAI;gBAC1B,wBAAwB;gBACxB,oBAAoB;aACvB,CAAC,CAAC;YAEH,MAAM,eAAe,GAAG,IAAA,8BAAiB,EACrC,kBAAkB,EAClB,oBAAoB,EACpB,QAAQ,EACR,UAAU;YACV,sEAAsE;YACtE,8CAA8C;YAC9C,oBAAoB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,CACrE,CAAC;YACF,IAAI,eAAe,EAAE,CAAC;gBAClB,OAAO;oBACH,IAAI,EAAE,eAAe;oBACrB,YAAY;iBACf,CAAC;YACN,CAAC;YAED,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,eAAqB,CAAC;QAC1B,IAAI,iBAAuB,CAAC;QAE5B,IAAI,IAAA,sBAAc,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,eAAe,GAAG,gBAAgB,CAAC,YAAY,CAAC;YAChD,iBAAiB,GAAG,gBAAgB,CAAC,YAAY,CAAC;QACtD,CAAC;aAAM,CAAC;YACJ,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,IAAA,uBAAe,EAAC,WAAW,CAAC,EAAE,CAAC;gBAChC,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,MAAM,eAAe,GAAG,IAAI,qCAAiB,EAAE,CAAC;YAChD,IACI,CAAC,IAAA,gDAA6B,EAC1B,kBAAkB,EAClB,WAAW,EACX,gBAAgB,CAAC,YAAY,EAC7B,eAAe,EACf,uBAAuB,CAAC,IAAI,CAAC,EAC7B,IAAI,CAAC,KAAK,CACb,EACH,CAAC;gBACC,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,MAAM,eAAe,GAAG,wBAAwB,CAC5C,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAC1C,eAAe,CACL,CAAC;YACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/E,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,eAAe,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnD,iBAAiB,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;QAED,oEAAoE;QACpE,0EAA0E;QAC1E,mEAAmE;QACnE,IAAI,oBAAoB,GAAG,KAAK,CAAC;QACjC,IAAI,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YACjD,IAAI,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC9D,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC1E,IAAI,mBAAW,CAAC,WAAW,CAAC,cAAc,CAAC,+BAAuB,EAAE,CAAC;oBACjE,oBAAoB,GAAG,IAAI,CAAC;gBAChC,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE;YAC3F,oBAAoB,EAAE,IAAI;YAC1B,oBAAoB;YACpB,eAAe;YACf,iBAAiB;YACjB,oBAAoB;SACvB,CAAC,CAAC;QAEH,MAAM,kBAAkB,GAAG,iCAAiC,CACxD,IAAA,gCAAoB,EAAC,eAAe,CAAC,EACrC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;QACrC,kBAAkB,CAAC,KAAK,CAC3B,CAAC;QACF,MAAM,oBAAoB,GAAG,iCAAiC,CAC1D,IAAA,gCAAoB,EAAC,iBAAiB,CAAC,EACvC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EACvC,CAAC,oBAAoB,CACxB,CAAC;QACF,IAAI,CAAC,kBAAkB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC/C,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS,2BAA2B,CAAC,IAAoB,EAAE,KAAgB,EAAE,eAAwB;QACjG,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;QAC/E,IAAI,OAAO,GAAS,YAAY,CAAC;QACjC,IAAI,SAAS,GAAS,YAAY,CAAC;QAEnC,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,MAAM,EACF,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,gBAAgB,EAC5B,YAAY,EACZ,UAAU,GACb,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE;YACpC,oBAAoB,EAAE,eAAe;YACrC,oBAAoB,EAAE,KAAK;SAC9B,CAAC,CAAC;QAEH,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,IAAA,yBAAa,EAAC,gCAAgC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,CAAC,CACtG,CAAC;QACF,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,IAAA,yBAAa,EAAC,gCAAgC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,CAAC,CACtG,CAAC;QAEF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,yBAAyB,IAAI,eAAe,EAAE,CAAC;gBAC5F,OAAO,GAAG,IAAA,oBAAY,EAAC,QAAQ,CAAC,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACJ,OAAO,GAAG,IAAA,wBAAY,EAAC,QAAQ,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;YACjG,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,YAAY,CAAC;QAC3B,CAAC;QAED,yEAAyE;QACzE,uEAAuE;QACvE,uEAAuE;QACvE,4EAA4E;QAC5E,eAAe;QACf,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,yBAAyB,IAAI,eAAe,EAAE,CAAC;gBAC5F,SAAS,GAAG,IAAA,oBAAY,EAAC,UAAU,CAAC,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACJ,SAAS,GAAG,IAAA,wBAAY,EAAC,UAAU,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;YACvG,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,GAAG,YAAY,CAAC;YACzB,gBAAgB,GAAG,IAAI,CAAC;QAC5B,CAAC;QAED,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAA,2BAAmB,EAAC,SAAS,CAAC;YACvC,CAAC,CAAC,iBAAS,CAAC,eAAe,CACrB,iBAAS,CAAC,UAAU,CAChB,SAAS,EACT,CAAC,OAAO,EAAE,SAAS,CAAC;YACpB,uBAAuB,CAAC,IAAI;YAC5B,uBAAuB,CAAC,SAAS;YACjC,mBAAmB,CAAC,SAAS,EAC7B,gBAAgB,CACnB,CACJ;YACH,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;QAE3B,IAAI,YAAY,EAAE,CAAC;YACf,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,GAAG,8CAAyB,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,CAAC;QACL,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS,sBAAsB,CAC3B,IAAoB,EACpB,KAAgB,EAChB,OAAmC;QAEnC,MAAM,OAAO,GAA+B;YACxC,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,KAAK;SACpB,CAAC;QAEF,8EAA8E;QAC9E,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACtC,MAAM,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,IAAI,KAAK,GAAG,2BAA2B,CAAC;YAC7F,IAAI,UAAU,GAAG,IAAI,CAAC;YAEtB,IAAI,SAAS,CAAC,QAAQ,8CAAqC,EAAE,CAAC;gBAC1D,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;gBACpF,UAAU,GAAG,KAAK,CAAC;YACvB,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,iDAAwC,EAAE,CAAC;gBACpE,UAAU,GAAG,CAAC,2BAA2B,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;YACpG,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,yCAAgC,EAAE,CAAC;gBAC5D,MAAM,mBAAmB,GAAG,+BAA+B,CACvD,SAAS,EACT,KAAK,+CAA+B,EACpC,OAAO,CAAC,iBAAiB,EACzB,OAAO,CAAC,eAAe,CAC1B,CAAC;gBACF,MAAM,aAAa,GAAG,mBAAmB,CAAC,IAAI,CAAC;gBAC/C,IAAI,mBAAmB,CAAC,YAAY,EAAE,CAAC;oBACnC,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;gBAChC,CAAC;gBAED,IAAI,mBAAmB,CAAC,UAAU,EAAE,CAAC;oBACjC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;gBAC9B,CAAC;gBAED,gCAAgC;gBAChC,IAAI,IAAA,uBAAe,EAAC,aAAa,CAAC,IAAI,IAAA,wBAAY,EAAC,aAAa,CAAC,EAAE,CAAC;oBAChE,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACtE,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACpC,IAAI,gBAAgB,EAAE,CAAC;4BACnB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;4BAC9D,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACpE,CAAC;wBACD,UAAU,GAAG,KAAK,CAAC;oBACvB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,IAAI,UAAU,IAAI,gBAAgB,EAAE,CAAC;gBACjC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACvE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC7E,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,SAAS,uBAAuB,CAC5B,IAAoB,EACpB,SAAiC,EACjC,KAAgB,EAChB,OAAmC,EACnC,OAAmC,EACnC,gBAAyB;QAEzB,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC;QACvG,6EAA6E;QAC7E,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,uEAAqD,uCAA6B,CAAC,CAAC;QAC/G,MAAM,aAAa,GAAG,mBAAmB,CACrC,SAAS,CAAC,CAAC,CAAC,OAAO,EACnB,QAAQ,+CAA+B,EACvC,IAAA,gCAAoB,EAChB,eAAe,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAC1F,CACJ,CAAC;QAEF,IAAI,aAAa,CAAC,YAAY,EAAE,CAAC;YAC7B,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAChC,CAAC;QACD,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;YAC3B,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;QAC9B,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,aAAa,CAAC,YAAY,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC;YAC3D,iCAAiC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,oBAAoB,IAAI,aAAa,CAAC,wBAAwB,EAAE,CAAC;YACjE,oBAAoB,CAAC,WAAW,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,kBAAoC,CAAC;QACzC,IACI,wBAAwB;YACxB,IAAA,uBAAe,EAAC,OAAO,CAAC;YACxB,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC;YACnC,IAAA,yBAAa,EAAC,OAAO,CAAC;YACtB,CAAC,wBAAwB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC;gBACzE,wBAAwB,CAAC,UAAU,CAAC,EAC1C,CAAC;YACC,kBAAkB;gBACd,wBAAwB,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC,EAAE,SAAS;oBACvF,wBAAwB,CAAC,UAAU,EAAE,SAAS,CAAC;QACvD,CAAC;aAAM,CAAC;YACJ,kBAAkB;gBACd,iBAAiB,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,kBAAkB,EAAE,CAAC;YACrB,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACxD,kBAAkB,GAAG,IAAA,iCAAqB,EAAC,kBAAkB,EAAE,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAClG,CAAC;QAED,MAAM,qBAAqB,GAAG,IAAA,gCAAoB,EAAC,kBAAkB,CAAC,CAAC;QACvE,IAAI,eAAe,GAAG,mBAAmB,CACrC,SAAS,CAAC,CAAC,CAAC,SAAS,EACrB,KAAK,+CAA+B,EACpC,qBAAqB,CACxB,CAAC;QACF,IAAI,qBAAqB,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;YACvD,MAAM,gBAAgB,GAAG,iCAAiC,CACtD,qBAAqB,EACrB,CAAC,eAAe,CAAC,IAAI,CAAC,EACtB,CAAC,OAAO,CAAC,oBAAoB,CAChC,CAAC;YACF,IAAI,gBAAgB,EAAE,CAAC;gBACnB,eAAe,GAAG,EAAE,GAAG,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;YACrE,CAAC;QACL,CAAC;QACD,IAAI,oBAAoB,IAAI,eAAe,CAAC,wBAAwB,EAAE,CAAC;YACnE,oBAAoB,CAAC,WAAW,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,eAAe,CAAC,YAAY,EAAE,CAAC;YAC/B,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAChC,CAAC;QACD,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;QAC9B,CAAC;QAED,IAAI,gBAAgB,EAAE,CAAC;YACnB,2DAA2D;YAC3D,IAAI,IAAA,eAAO,EAAC,OAAO,CAAC,IAAI,IAAA,yBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC7C,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,kBAAU,EAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;gBACvF,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;oBACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;oBAC1C,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;gBAChD,CAAC;YACL,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACpE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACL,CAAC;IAED,8FAA8F;IAC9F,SAAS,2BAA2B,CAChC,SAAoC,EACpC,KAAgB,EAChB,OAAmC,EACnC,OAAmC,EACnC,gBAAyB;QAEzB,IAAI,YAA8B,CAAC;QACnC,IAAI,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;YACvD,IACI,OAAO,CAAC,UAAU,EAAE,2BAA2B;gBAC/C,IAAA,2BAAmB,EAAC,OAAO,CAAC,UAAU,CAAC,2BAA2B,CAAC,EACrE,CAAC;gBACC,YAAY,GAAG,iBAAS,CAAC,eAAe,CACpC,iBAAS,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,2BAA2B,EAAE;oBACjE,OAAO,CAAC,eAAe;oBACvB,OAAO,CAAC,iBAAiB;iBAC5B,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,MAAM,qBAAqB,GAAG,IAAA,gCAAoB,EAAC,YAAY,CAAC,CAAC;QACjE,IAAI,oBAAoB,GAAG,mBAAmB,CAC1C,SAAS,CAAC,CAAC,CAAC,IAAI,EAChB,KAAK,+CAA+B,EACpC,qBAAqB,CACxB,CAAC;QACF,IAAI,qBAAqB,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,CAAC;YAC5D,MAAM,gBAAgB,GAAG,iCAAiC,CACtD,qBAAqB,EACrB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC,OAAO,CAAC,oBAAoB,CAChC,CAAC;YACF,IAAI,gBAAgB,EAAE,CAAC;gBACnB,oBAAoB,GAAG,EAAE,GAAG,oBAAoB,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;YAC/E,CAAC;QACL,CAAC;QACD,IAAI,oBAAoB,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC;QAChC,CAAC;QACD,IAAI,oBAAoB,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;QAC9B,CAAC;QAED,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC;QACjD,IAAI,IAAA,sBAAc,EAAC,cAAc,CAAC,EAAE,CAAC;YACjC,IAAI,gBAAgB,EAAE,CAAC;gBACnB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;gBACjE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,IAAA,uBAAe,EAAC,cAAc,CAAC,IAAI,iBAAS,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAAE,CAAC;YAChF,IAAI,OAAO,CAAC,UAAU,EAAE,QAAQ,IAAI,IAAA,2BAAmB,EAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnF,MAAM,SAAS,GAAG,iBAAS,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACzE,MAAM,SAAS,GAAG,IAAA,wCAA2B,EACzC,kBAAkB,EAClB,cAAc;gBACd,mBAAmB,CAAC,IAAI,CAC3B,CAAC;gBACF,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;oBACzC,IAAI,CAAC,OAAO,CAAC,wBAAwB,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;wBAC5E,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;4BAClB,IAAI,EAAE,SAAS;4BACf,IAAI,EAAE,iBAAS,CAAC,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC;yBACpD,CAAC,CAAC;wBACH,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;oBACxE,CAAC;gBACL,CAAC,CAAC,CAAC;gBAEH,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,CAAC;oBACpC,sEAAsE;oBACtE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,iBAAS,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;oBACvF,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;wBACpB,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,SAAS,IAAI,aAAa,EAAE;qBAC3D,CAAC,CAAC;gBACP,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;aAAM,IACH,OAAO,CAAC,UAAU,EAAE,2BAA2B;YAC/C,IAAA,2BAAmB,EAAC,OAAO,CAAC,UAAU,CAAC,2BAA2B,CAAC,EACrE,CAAC;YACC,MAAM,kBAAkB,GAAG,IAAI,qCAAiB,EAAE,CAAC;YACnD,MAAM,2BAA2B,GAAG,IAAA,+BAAmB,EAAC,OAAO,CAAC,UAAU,CAAC,2BAA2B,CAAC,CAAC;YACxG,IACI,UAAU,CACN,iBAAS,CAAC,eAAe,CAAC,2BAA2B,CAAC,EACtD,cAAc;YACd,UAAU,CAAC,SAAS,EACpB,kBAAkB,qDAErB,EACH,CAAC;gBACC,MAAM,kBAAkB,GAAG,wBAAwB,CAC/C,2BAA2B,EAC3B,kBAAkB,CACR,CAAC;gBACf,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACnC,IAAI,gBAAgB,EAAE,CAAC;wBACnB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBAC9D,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACpE,CAAC;oBACD,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,aAAa,CAAC,gCAAc,CAAC,uBAAuB,EAAE,qBAAU,CAAC,sBAAsB,EAAE,EAAE,SAAS,CAAC,CAAC;YAC1G,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,6BAA6B,CAClC,IAAwB,EACxB,KAAgB,EAChB,gBAAkC;QAElC,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,gCAAuB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/E,gBAAgB,CAAC,YAAY,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAEnG,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,+BAAsB,CAAC;QAE3D,MAAM,iBAAiB,GAAG,+BAA+B,CACrD,IAAI,EACJ,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,EACtC,gBAAgB,CACnB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACrB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,UAAU,GAAW,EAAE,CAAC;QAC9B,MAAM,wBAAwB,GAAG,IAAI,+BAAkB,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC3B,IAAI,eAA2B,CAAC;YAEhC,IAAI,KAAK,CAAC,QAAQ,yCAAgC,EAAE,CAAC;gBACjD,eAAe,GAAG,+BAA+B,CAC7C,KAAK,EACL,KAAK,+CAA+B,EACpC,iBAAiB,CACpB,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,eAAe,GAAG,mBAAmB,CACjC,KAAK,EACL,KAAK,+CAA+B,EACpC,IAAA,gCAAoB,EAAC,iBAAiB,CAAC,CAC1C,CAAC;YACN,CAAC;YAED,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAEtC,IAAI,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC/B,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YAED,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;gBAC7B,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YAED,IAAI,eAAe,CAAC,wBAAwB,EAAE,CAAC;gBAC3C,wBAAwB,CAAC,WAAW,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAC;YACnF,CAAC;YAED,IAAI,cAAc,IAAI,CAAC,eAAe,CAAC,YAAY,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;gBACjF,iCAAiC,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;YAC1F,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,eAAe,GAAG,KAAK,CAAC;QAE5B,IAAI,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YACjD,qBAAqB,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;YAErD,IACI,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAW,CAAC,WAAW,CAAC,CAAC,CAAC,+BAAuB,CAC3D,EACH,CAAC;gBACC,eAAe,GAAG,IAAI,CAAC;YAC3B,CAAC;QACL,CAAC;QAED,MAAM,oBAAoB,GAAG,iCAAiC,CAC1D,IAAA,gCAAoB,EAAC,iBAAiB,CAAC,EACvC,UAAU,EACV,CAAC,eAAe,CACnB,CAAC;QACF,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;QACpG,CAAC;QAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,wBAAwB,EAAE,CAAC;IACxE,CAAC;IAED,SAAS,+BAA+B,CACpC,IAA4C,EAC5C,iBAAmC,EACnC,gBAAmC;QAEnC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAA,2BAAmB,EAAC,iBAAiB,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,IAAA,sBAAc,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,OAAO,gBAAgB,CAAC,YAAY,CAAC;QACzC,CAAC;QAED,IAAI,CAAC,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YAClD,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;QAC5C,IACI,CAAC,IAAA,gDAA6B,EAC1B,kBAAkB,EAClB,iBAAS,CAAC,eAAe,CAAC,iBAAiB,CAAC,EAC5C,gBAAgB,CAAC,YAAY,EAC7B,WAAW,EACX,uBAAuB,CAAC,IAAI,CAAC,EAC7B,IAAI,CAAC,KAAK,CACb,EACH,CAAC;YACC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,oBAAoB,GAAG,wBAAwB,CAAC,iBAAiB,EAAE,WAAW,CAAc,CAAC;QACnG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,OAAO,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,SAAS,0BAA0B,CAC/B,IAAwB,EACxB,KAAgB,EAChB,eAAwB;QAExB,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,gCAAuB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/E,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,+BAAsB,CAAC;QAC3D,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,IAAI,UAAU,GAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAClC,IAAI,eAA2B,CAAC;YAEhC,IAAI,KAAK,CAAC,QAAQ,yCAAgC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;gBACzE,eAAe,GAAG,+BAA+B,CAAC,KAAK,EAAE,KAAK,+CAA+B,CAAC,CAAC;YACnG,CAAC;iBAAM,CAAC;gBACJ,eAAe,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,+CAA+B,CAAC,CAAC;YACvF,CAAC;YAED,eAAe,CAAC,IAAI,GAAG,IAAA,yBAAa,EAChC,gCAAgC,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,eAAe,CAAC,CAClF,CAAC;YAEF,IAAI,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC/B,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YAED,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;gBAC7B,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YAED,IAAI,eAAe,IAAI,KAAK,GAAG,2BAA2B,EAAE,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC;YAED,IAAI,cAAc,IAAI,CAAC,eAAe,CAAC,YAAY,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;gBACjF,iCAAiC,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;YAC1F,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;QAEzD,IAAI,iBAAiB,GAAS,eAAe,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;QACxF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC5C,sEAAsE;YACtE,kCAAkC;YAClC,IACI,CAAC,gBAAgB,KAAK,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,mBAAmB,CAAC;gBAC/E,CAAC,gBAAgB,KAAK,KAAK,IAAI,QAAQ,CAAC,iBAAiB,CAAC,kBAAkB,CAAC;gBAC7E,eAAe,EACjB,CAAC;gBACC,iBAAiB,GAAG,IAAA,oBAAY,EAAC,UAAU,EAAE,EAAE,eAAe,EAAE,+CAA0B,EAAE,CAAC,CAAC;YAClG,CAAC;iBAAM,CAAC;gBACJ,wFAAwF;gBACxF,iBAAiB,GAAG,IAAA,wBAAY,EAAC,UAAU,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;oBACvE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,iBAAiB,CAAC;YAC5B,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,gBAAgB,GAAG,IAAI,CAAC;QAC5B,CAAC;QAED,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAA,2BAAmB,EAAC,cAAc,CAAC;YAC5C,CAAC,CAAC,iBAAS,CAAC,eAAe,CACrB,iBAAS,CAAC,UAAU,CAChB,cAAc,EACd,CAAC,iBAAiB,CAAC;YACnB,uBAAuB,CAAC,IAAI;YAC5B,uBAAuB,CAAC,SAAS;YACjC,mBAAmB,CAAC,SAAS,EAC7B,gBAAgB,CACnB,CACJ;YACH,CAAC,CAAC,mBAAW,CAAC,MAAM,EAAE,CAAC;QAE3B,IAAI,YAAY,EAAE,CAAC;YACf,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,GAAG,8CAAyB,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,CAAC;QACL,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS,sBAAsB,CAC3B,IAAuB,EACvB,KAAgB,EAChB,gBAAmC;QAEnC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,0EAA0E;QAC1E,2EAA2E;QAC3E,uCAAuC;QACvC,IAAI,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACjD,IAAI,IAAI,CAAC,QAAQ,4CAAmC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACrE,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,OAAO,KAAK,GAAG,CAAC,IAAI,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,GAAS,mBAAW,CAAC,MAAM,EAAE,CAAC;QAEtC,IAAI,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAC;QACnB,CAAC;QAED,MAAM,mBAAmB,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAE1F,MAAM,iBAAiB,GAAG,+BAA+B,CAAC,IAAI,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;QACvG,MAAM,iBAAiB,GAAG,+BAA+B,CACrD,IAAI,EACJ,KAAK,+CAA+B,EACpC,iBAAiB,CACpB,CAAC;QAEF,IAAI,iBAAiB,CAAC,YAAY,EAAE,CAAC;YACjC,YAAY,GAAG,IAAI,CAAC;QACxB,CAAC;QAED,IAAI,iBAAiB,CAAC,UAAU,EAAE,CAAC;YAC/B,UAAU,GAAG,IAAI,CAAC;QACtB,CAAC;QAED,IAAI,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC;QACzC,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAA,+BAAmB,EAAC,iBAAiB,CAAC,EAAE,CAAC;YAChE,WAAW,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,mBAAmB,IAAI,IAAA,2BAAmB,EAAC,mBAAmB,CAAC,EAAE,CAAC;YAClE,IAAI,GAAG,iBAAS,CAAC,eAAe,CAC5B,iBAAS,CAAC,UAAU,CAChB,mBAAmB,EACnB,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC,CACvF,CACJ,CAAC;QACN,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS,+BAA+B,CACpC,IAAuB,EACvB,KAAgB,EAChB,0BAAiC,EACjC,eAAsB;QAEtB,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,0DAA0D;QAC1D,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxC,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;QACL,CAAC;QAED,IAAI,IAAI,GAAS,mBAAW,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,8CAAqC,EAAE,CAAC;YAC5D,2CAA2C;YAC3C,MAAM,aAAa,GAAG,mBAAmB,CACrC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EACrB,KAAK,EACL,IAAA,gCAAoB,EAAC,eAAe,CAAC,CACxC,CAAC;YACF,IAAI,aAAa,CAAC,YAAY,EAAE,CAAC;gBAC7B,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YACD,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;gBAC3B,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,IAAI,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC;YACjC,IAAI,CAAC,eAAe,IAAI,CAAC,IAAA,+BAAmB,EAAC,eAAe,CAAC,EAAE,CAAC;gBAC5D,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC;YAED,MAAM,eAAe,GAAG,mBAAmB,CACvC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EACvB,KAAK,EACL,IAAA,gCAAoB,EAAC,0BAA0B,CAAC,CACnD,CAAC;YACF,IAAI,eAAe,CAAC,YAAY,EAAE,CAAC;gBAC/B,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YACD,IAAI,eAAe,CAAC,UAAU,EAAE,CAAC;gBAC7B,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,IAAI,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC;YACrC,IAAI,CAAC,0BAA0B,IAAI,CAAC,IAAA,+BAAmB,EAAC,0BAA0B,CAAC,EAAE,CAAC;gBAClF,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAC7C,CAAC;YAED,IAAI,GAAG,IAAA,wBAAe,EAAC,kBAAkB,EAAE;gBACvC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE;gBACrC,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE;aAC1C,CAAC,CAAC;QACP,CAAC;aAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,iDAAwC,EAAE,CAAC;YACtE,kFAAkF;YAClF,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,0BAA0B,CAAC,CAAC,CAAC;QACrG,CAAC;aAAM,IAAI,IAAA,6BAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,cAAc,GAAG,mBAAmB,CACtC,IAAI,CAAC,CAAC,CAAC,IAAsB,EAC7B,KAAK,EACL,IAAA,gCAAoB,EAAC,0BAA0B,CAAC,CACnD,CAAC;YACF,IAAI,cAAc,CAAC,YAAY,EAAE,CAAC;gBAC9B,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YACD,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;gBAC5B,UAAU,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC;QAC/B,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS,iCAAiC,CAAC,KAAqB,EAAE,IAAU,EAAE,SAAkB;QAC5F,oCAAoC;QACpC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,sBAAW,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAEhF,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,qBAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,qBAAU,CAAC,kBAAkB,EAAE,CAAC;YAE7F,aAAa,CAAC,gCAAc,CAAC,gBAAgB,EAAE,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;IAED,SAAS,iCAAiC,CACtC,gBAAkC,EAClC,UAAkB,EAClB,YAAqB;QAErB,+DAA+D;QAC/D,IAAI,IAAA,aAAK,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,OAAO,gBAAgB,CAAC,YAAY,CAAC;QACzC,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC;QACnD,IAAI,YAAY,GAAG,IAAI,CAAC;QAExB,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;YAC7B,IAAI,YAAY,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC1F,YAAY,GAAG,KAAK,CAAC;YACzB,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,YAAY,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,aAAa,GAAG,IAAA,oBAAY,EAAC,UAAU,CAAC,CAAC;YAC/C,OAAO,IAAA,+BAAmB,EAAC,gBAAgB,CAAC,YAAY,CAAC;gBACrD,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAA,uBAAW,EACd,wBAAwB,CAAC,gBAAgB,CAAC,YAAY,EAAE,WAAW,EAAE;YACjE,eAAe,EAAE;gBACb,QAAQ,EAAE,EAAE;gBACZ,cAAc,EAAE,iBAAiB,EAAE;aACtC;SACJ,CAAC,EACF,CAAC,OAAO,EAAE,EAAE;YACR,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACnB,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAEhC,mFAAmF;YACnF,IACI,IAAA,kBAAU,EAAC,OAAO,EAAE,SAAS,EAAE,EAAE,4BAA4B,EAAE,IAAI,EAAE,CAAC;gBACtE,IAAA,eAAO,EAAC,OAAO,CAAC;gBAChB,IAAA,eAAO,EAAC,SAAS,CAAC;gBAClB,iBAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACvC,CAAC;gBACC,OAAO,iBAAS,CAAC,gCAAgC,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YACxG,CAAC;YAED,OAAO,OAAO,CAAC;QACnB,CAAC,CACJ,CAAC;IACN,CAAC;IAED,SAAS,0BAA0B,CAAC,IAA4B;QAC5D,IAAI,YAAY,GAAG,KAAK,CAAC;QAEzB,IAAI,IAAI,CAAC,QAAQ,4CAAmC,EAAE,CAAC;YACnD,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACpE,IAAI,kBAAkB,CAAC,YAAY,EAAE,CAAC;gBAClC,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAChE,MAAM,cAAc,GAAG,iBAAiB,CACpC,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,kBAAkB,CAAC,YAAY,EAAE,EACrE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAChB,IAAI,CAAC,CAAC,CAAC,YAAY,CACtB,IAAI,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,kBAAkB,CAAC,YAAY,EAAE,CAAC;YAEnF,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;YACrC,sBAAsB,CAAC,UAAU,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC5E,CAAC;aAAM,CAAC;YACJ,IAAA,cAAM,EAAC,IAAI,CAAC,QAAQ,2CAAkC,CAAC,CAAC;YAExD,+DAA+D;YAC/D,+DAA+D;YAC/D,iEAAiE;YACjE,mEAAmE;YACnE,kBAAkB;YAClB,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,YAAY,CAAC;IACxB,CAAC;IAED,OAAO;QACH,8BAA8B;QAC9B,2BAA2B;QAC3B,6BAA6B;QAC7B,0BAA0B;QAC1B,sBAAsB;QACtB,0BAA0B;KAC7B,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,33 @@
+import { DiagnosticRule } from '../../common/diagnosticRules';
+import { TextRange } from '../../common/textRange';
+import { ParseNode } from '../../parser/parseNodes';
+import { AnalyzerFileInfo } from '../analyzerFileInfo';
+import * as AnalyzerNodeInfo from '../analyzerNodeInfo';
+import { SpeculativeTypeTracker } from '../typeCacheUtils';
+import { EvaluatorOptions, SuppressedNodeStackEntry } from '../typeEvaluator/internals';
+import { PrintTypeOptions, Reachability, TypeEvaluator } from '../typeEvaluatorTypes';
+import { Type } from '../types';
+interface Context {
+    readonly evaluatorOptions: EvaluatorOptions;
+    readonly getTypeOfExpression: TypeEvaluator['getTypeOfExpression'];
+    readonly isNodeReachable: (node: ParseNode, sourceNode?: ParseNode) => boolean;
+    readonly nodeInfo: AnalyzerNodeInfo.AnalyzerNodeInfoAccessor;
+    readonly printType: TypeEvaluator['printType'];
+    readonly speculativeTypeTracker: SpeculativeTypeTracker;
+    readonly suppressedNodeStack: SuppressedNodeStackEntry[];
+}
+export declare function createDiagnostics(context: Context): {
+    addInformation: (message: string, node: ParseNode, range?: TextRange) => import("../../common/diagnostic").Diagnostic | undefined;
+    addUnreachableCode: (node: ParseNode, reachability: Reachability, textRange: TextRange) => void;
+    addDeprecated: (message: string, node: ParseNode) => void;
+    canSkipDiagnosticForNode: (node: ParseNode) => boolean;
+    addDiagnostic: (rule: DiagnosticRule, message: string, node: ParseNode, range?: TextRange) => import("../../common/diagnostic").Diagnostic | undefined;
+    addDiagnosticForTextRange: (fileInfo: AnalyzerFileInfo, rule: DiagnosticRule, message: string, range: TextRange) => import("../../common/diagnostic").Diagnostic | undefined;
+    suppressDiagnostics: <T>(node: ParseNode, callback: () => T, diagCallback?: (suppressedDiags: string[]) => void) => T;
+    printSrcDestTypes: (srcType: Type, destType: Type, options?: PrintTypeOptions) => {
+        sourceType: string;
+        destType: string;
+    };
+    getLineNum: (node: ParseNode) => string;
+};
+export {};

package/dist/analyzer/typeEvaluator/diagnostics.js

@@ -0,0 +1,198 @@
+"use strict";
+/*
+ * diagnostics.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * diagnostics implementation, using evaluator-owned dependencies and state.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createDiagnostics = createDiagnostics;
+const positionUtils_1 = require("../../common/positionUtils");
+const localize_1 = require("../../localization/localize");
+const decorators_1 = require("../decorators");
+const ParseTreeUtils = __importStar(require("../parseTreeUtils"));
+const typeEvaluatorTypes_1 = require("../typeEvaluatorTypes");
+// Formats and emits diagnostics; suppression and evaluation state remain evaluator-owned.
+function createDiagnostics(context) {
+    const { evaluatorOptions, isNodeReachable, nodeInfo, printType, speculativeTypeTracker, suppressedNodeStack } = context;
+    function addInformation(message, node, range) {
+        return addDiagnosticWithSuppressionCheck('information', message, node, range);
+    }
+    function addUnreachableCode(node, reachability, textRange) {
+        if (reachability === typeEvaluatorTypes_1.Reachability.Reachable) {
+            return;
+        }
+        if (!isDiagnosticSuppressedForNode(node)) {
+            const fileInfo = nodeInfo.getFileInfo(node);
+            const reportTypeReachability = fileInfo.diagnosticRuleSet.enableReachabilityAnalysis;
+            if (reachability === typeEvaluatorTypes_1.Reachability.UnreachableStructural ||
+                reachability === typeEvaluatorTypes_1.Reachability.UnreachableStaticCondition ||
+                reportTypeReachability) {
+                fileInfo.diagnosticSink.addUnreachableCodeWithTextRange(reachability === typeEvaluatorTypes_1.Reachability.UnreachableStructural
+                    ? localize_1.LocMessage.unreachableCodeStructure()
+                    : reachability === typeEvaluatorTypes_1.Reachability.UnreachableStaticCondition
+                        ? localize_1.LocMessage.unreachableCodeCondition()
+                        : localize_1.LocMessage.unreachableCodeType(), textRange);
+            }
+        }
+    }
+    function addDeprecated(message, node) {
+        if (!isDiagnosticSuppressedForNode(node)) {
+            const fileInfo = nodeInfo.getFileInfo(node);
+            fileInfo.diagnosticSink.addDeprecatedWithTextRange(message, node);
+        }
+    }
+    function addDiagnosticWithSuppressionCheck(diagLevel, message, node, range) {
+        if (isDiagnosticSuppressedForNode(node)) {
+            // See if this node is suppressed but the diagnostic should be generated
+            // anyway so it can be used by the caller that requested the suppression.
+            const suppressionEntry = suppressedNodeStack.find((suppressedNode) => ParseTreeUtils.isNodeContainedWithin(node, suppressedNode.node) && suppressedNode.suppressedDiags);
+            suppressionEntry?.suppressedDiags?.push(message);
+            return undefined;
+        }
+        if (isNodeReachable(node)) {
+            const fileInfo = nodeInfo.getFileInfo(node);
+            const sink = evaluatorOptions.experimentalOverloadResult?.getDiagnosticSink(node) ?? fileInfo.diagnosticSink;
+            return sink.addDiagnosticWithTextRange(diagLevel, message, range ?? node);
+        }
+        return undefined;
+    }
+    function isDiagnosticSuppressedForNode(node) {
+        if (speculativeTypeTracker.isSpeculative(node, /* ignoreIfDiagnosticsAllowed */ true)) {
+            return true;
+        }
+        return suppressedNodeStack.some((suppressedNode) => ParseTreeUtils.isNodeContainedWithin(node, suppressedNode.node));
+    }
+    function canSkipDiagnosticForNode(node) {
+        if (speculativeTypeTracker.isSpeculative(node, /* ignoreIfDiagnosticsAllowed */ true)) {
+            return true;
+        }
+        const suppressedEntries = suppressedNodeStack.filter((suppressedNode) => ParseTreeUtils.isNodeContainedWithin(node, suppressedNode.node));
+        if (suppressedEntries.length === 0) {
+            return false;
+        }
+        return suppressedEntries.every((entry) => !entry.suppressedDiags);
+    }
+    function addDiagnostic(rule, message, node, range) {
+        const fileInfo = nodeInfo.getFileInfo(node);
+        const diagLevel = fileInfo.diagnosticRuleSet[rule];
+        if (diagLevel === 'none') {
+            return undefined;
+        }
+        const containingFunction = ParseTreeUtils.getEnclosingFunction(node);
+        if (containingFunction) {
+            // Should we suppress this diagnostic because it's within an unannotated function?
+            const fileInfo = nodeInfo.getFileInfo(node);
+            if (!fileInfo.diagnosticRuleSet.analyzeUnannotatedFunctions) {
+                // Is the target node within the body of the function? If so, suppress the diagnostic.
+                if (ParseTreeUtils.isUnannotatedFunction(containingFunction) &&
+                    ParseTreeUtils.isNodeContainedWithin(node, containingFunction.d.suite)) {
+                    return undefined;
+                }
+            }
+            // Should we suppress this diagnostic because it's within a no_type_check function?
+            const containingClassNode = ParseTreeUtils.getEnclosingClass(containingFunction, /* stopAtFunction */ true);
+            const functionInfo = (0, decorators_1.getFunctionInfoFromDecorators)(context, containingFunction, !!containingClassNode, nodeInfo);
+            if ((functionInfo.flags & 524288 /* FunctionTypeFlags.NoTypeCheck */) !== 0) {
+                return undefined;
+            }
+        }
+        const diagnostic = addDiagnosticWithSuppressionCheck(diagLevel, message, node, range);
+        if (diagnostic) {
+            diagnostic.setRule(rule);
+        }
+        return diagnostic;
+    }
+    function addDiagnosticForTextRange(fileInfo, rule, message, range) {
+        const diagLevel = fileInfo.diagnosticRuleSet[rule];
+        if (diagLevel === 'none') {
+            return undefined;
+        }
+        const diagnostic = fileInfo.diagnosticSink.addDiagnosticWithTextRange(diagLevel, message, range);
+        if (rule) {
+            diagnostic.setRule(rule);
+        }
+        return diagnostic;
+    }
+    function suppressDiagnostics(node, callback, diagCallback) {
+        suppressedNodeStack.push({ node, suppressedDiags: diagCallback ? [] : undefined });
+        try {
+            const result = callback();
+            const poppedNode = suppressedNodeStack.pop();
+            if (diagCallback && poppedNode?.suppressedDiags) {
+                diagCallback(poppedNode.suppressedDiags);
+            }
+            return result;
+        }
+        catch (e) {
+            // We don't use finally here because the TypeScript debugger doesn't
+            // handle finally well when single stepping.
+            suppressedNodeStack.pop();
+            throw e;
+        }
+    }
+    function printSrcDestTypes(srcType, destType, options) {
+        const simpleSrcType = printType(srcType, options);
+        const simpleDestType = printType(destType, options);
+        if (simpleSrcType !== simpleDestType) {
+            return { sourceType: simpleSrcType, destType: simpleDestType };
+        }
+        const fullSrcType = printType(srcType, { ...(options ?? {}), useFullyQualifiedNames: true });
+        const fullDestType = printType(destType, { ...(options ?? {}), useFullyQualifiedNames: true });
+        if (fullSrcType !== fullDestType) {
+            return { sourceType: fullSrcType, destType: fullDestType };
+        }
+        return { sourceType: simpleSrcType, destType: simpleDestType };
+    }
+    function getLineNum(node) {
+        const fileInfo = nodeInfo.getFileInfo(node);
+        const range = (0, positionUtils_1.convertOffsetsToRange)(node.start, node.start + node.length, fileInfo.lines);
+        return (range.start.line + 1).toString();
+    }
+    return {
+        addInformation,
+        addUnreachableCode,
+        addDeprecated,
+        canSkipDiagnosticForNode,
+        addDiagnostic,
+        addDiagnosticForTextRange,
+        suppressDiagnostics,
+        printSrcDestTypes,
+        getLineNum,
+    };
+}
+//# sourceMappingURL=diagnostics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../../../../../src/analyzer/typeEvaluator/diagnostics.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BH,8CA6NC;AArPD,8DAAmE;AAEnE,0DAAyD;AAIzD,8CAA8D;AAC9D,kEAAoD;AAGpD,8DAAsF;AAatF,0FAA0F;AAC1F,SAAgB,iBAAiB,CAAC,OAAgB;IAC9C,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,GACzG,OAAO,CAAC;IAEZ,SAAS,cAAc,CAAC,OAAe,EAAE,IAAe,EAAE,KAAiB;QACvE,OAAO,iCAAiC,CAAC,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClF,CAAC;IAED,SAAS,kBAAkB,CAAC,IAAe,EAAE,YAA0B,EAAE,SAAoB;QACzF,IAAI,YAAY,KAAK,iCAAY,CAAC,SAAS,EAAE,CAAC;YAC1C,OAAO;QACX,CAAC;QAED,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,sBAAsB,GAAG,QAAQ,CAAC,iBAAiB,CAAC,0BAA0B,CAAC;YAErF,IACI,YAAY,KAAK,iCAAY,CAAC,qBAAqB;gBACnD,YAAY,KAAK,iCAAY,CAAC,0BAA0B;gBACxD,sBAAsB,EACxB,CAAC;gBACC,QAAQ,CAAC,cAAc,CAAC,+BAA+B,CACnD,YAAY,KAAK,iCAAY,CAAC,qBAAqB;oBAC/C,CAAC,CAAC,qBAAU,CAAC,wBAAwB,EAAE;oBACvC,CAAC,CAAC,YAAY,KAAK,iCAAY,CAAC,0BAA0B;wBAC1D,CAAC,CAAC,qBAAU,CAAC,wBAAwB,EAAE;wBACvC,CAAC,CAAC,qBAAU,CAAC,mBAAmB,EAAE,EACtC,SAAS,CACZ,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,aAAa,CAAC,OAAe,EAAE,IAAe;QACnD,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC5C,QAAQ,CAAC,cAAc,CAAC,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;IACL,CAAC;IAED,SAAS,iCAAiC,CACtC,SAA0B,EAC1B,OAAe,EACf,IAAe,EACf,KAAiB;QAEjB,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,wEAAwE;YACxE,yEAAyE;YACzE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAC7C,CAAC,cAAc,EAAE,EAAE,CACf,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,eAAe,CACxG,CAAC;YACF,gBAAgB,EAAE,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAEjD,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,IAAI,GACN,gBAAgB,CAAC,0BAA0B,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC;YACpG,OAAO,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;QAC9E,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,6BAA6B,CAAC,IAAe;QAClD,IAAI,sBAAsB,CAAC,aAAa,CAAC,IAAI,EAAE,gCAAgC,CAAC,IAAI,CAAC,EAAE,CAAC;YACpF,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAC/C,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAClE,CAAC;IACN,CAAC;IAED,SAAS,wBAAwB,CAAC,IAAe;QAC7C,IAAI,sBAAsB,CAAC,aAAa,CAAC,IAAI,EAAE,gCAAgC,CAAC,IAAI,CAAC,EAAE,CAAC;YACpF,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,cAAc,EAAE,EAAE,CACpE,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAClE,CAAC;QAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACtE,CAAC;IAED,SAAS,aAAa,CAAC,IAAoB,EAAE,OAAe,EAAE,IAAe,EAAE,KAAiB;QAC5F,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAoB,CAAC;QAEtE,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,kBAAkB,GAAG,cAAc,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAErE,IAAI,kBAAkB,EAAE,CAAC;YACrB,kFAAkF;YAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,2BAA2B,EAAE,CAAC;gBAC1D,sFAAsF;gBACtF,IACI,cAAc,CAAC,qBAAqB,CAAC,kBAAkB,CAAC;oBACxD,cAAc,CAAC,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,EACxE,CAAC;oBACC,OAAO,SAAS,CAAC;gBACrB,CAAC;YACL,CAAC;YAED,mFAAmF;YACnF,MAAM,mBAAmB,GAAG,cAAc,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC5G,MAAM,YAAY,GAAG,IAAA,0CAA6B,EAC9C,OAAO,EACP,kBAAkB,EAClB,CAAC,CAAC,mBAAmB,EACrB,QAAQ,CACX,CAAC;YAEF,IAAI,CAAC,YAAY,CAAC,KAAK,6CAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7D,OAAO,SAAS,CAAC;YACrB,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,iCAAiC,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtF,IAAI,UAAU,EAAE,CAAC;YACb,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,SAAS,yBAAyB,CAC9B,QAA0B,EAC1B,IAAoB,EACpB,OAAe,EACf,KAAgB;QAEhB,MAAM,SAAS,GAAG,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAoB,CAAC;QAEtE,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,cAAc,CAAC,0BAA0B,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACjG,IAAI,IAAI,EAAE,CAAC;YACP,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,SAAS,mBAAmB,CACxB,IAAe,EACf,QAAiB,EACjB,YAAkD;QAElD,mBAAmB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAEnF,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC;YAC7C,IAAI,YAAY,IAAI,UAAU,EAAE,eAAe,EAAE,CAAC;gBAC9C,YAAY,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YAC7C,CAAC;YACD,OAAO,MAAM,CAAC;QAClB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,oEAAoE;YACpE,4CAA4C;YAC5C,mBAAmB,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,CAAC,CAAC;QACZ,CAAC;IACL,CAAC;IAED,SAAS,iBAAiB,CACtB,OAAa,EACb,QAAc,EACd,OAA0B;QAE1B,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEpD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;QACnE,CAAC;QAED,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7F,MAAM,YAAY,GAAG,SAAS,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC;QAE/F,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;QAC/D,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;IACnE,CAAC;IAED,SAAS,UAAU,CAAC,IAAe;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAA,qCAAqB,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1F,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC;IAED,OAAO;QACH,cAAc;QACd,kBAAkB;QAClB,aAAa;QACb,wBAAwB;QACxB,aAAa;QACb,yBAAyB;QACzB,mBAAmB;QACnB,iBAAiB;QACjB,UAAU;KACb,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,80 @@
+import { DiagnosticLevel } from '../../common/configOptions';
+import { DiagnosticAddendum } from '../../common/diagnostic';
+import { DiagnosticRule } from '../../common/diagnosticRules';
+import { ArgumentNode, ExpressionNode, NameNode, ParamCategory, ParameterNode, ParseNode } from '../../parser/parseNodes';
+import * as AnalyzerNodeInfo from '../analyzerNodeInfo';
+import { ConstraintTracker } from '../constraintTracker';
+import { Declaration, FunctionDeclaration } from '../declaration';
+import { Scope } from '../scope';
+import { Symbol } from '../symbol';
+import { AbstractSymbol, Arg, ArgWithExpression, AssignTypeFlags, CallResult, EvalFlags, EvaluatorUsage, ExpectedTypeOptions, PrefetchedTypes, SolveConstraintsOptions, TypeEvaluator, TypeResult } from '../typeEvaluatorTypes';
+import { ClassType, FunctionType, LiteralValue, OverloadedType, TupleTypeArg, Type, TypeCondition, TypeVarScopeId, TypeVarType, UnknownType } from '../types';
+import { ApplyTypeVarOptions, InferenceContext, MemberAccessFlags } from '../typeUtils';
+import type { createSpecialFormCreation } from './specialFormCreation';
+interface Context {
+    readonly createSpecializedClassType: ReturnType<typeof createSpecialFormCreation>['createSpecializedClassType'];
+    readonly addDiagnostic: TypeEvaluator['addDiagnostic'];
+    readonly assignType: TypeEvaluator['assignType'];
+    readonly evaluatorInterface: TypeEvaluator;
+    readonly getEffectiveTypeOfSymbol: (symbol: Symbol) => Type;
+    readonly getScopeForNode: (node: ParseNode) => Scope | undefined;
+    readonly getScopeIdForNode: (node: ParseNode) => string;
+    readonly getTypeOfBoundMember: (errorNode: ExpressionNode | undefined, objectType: ClassType, memberName: string, usage?: EvaluatorUsage, diag?: DiagnosticAddendum | undefined, flags?: MemberAccessFlags, selfType?: ClassType | TypeVarType, recursionCount?: number) => TypeResult | undefined;
+    readonly getTypeOfExpression: TypeEvaluator['getTypeOfExpression'];
+    readonly getTypeOfExpressionExpectingType: (node: ExpressionNode, options?: ExpectedTypeOptions) => TypeResult;
+    readonly inferReturnTypeIfNecessary: (type: Type) => void;
+    readonly isTypeFormClass: (type: ClassType) => boolean;
+    readonly isTypePromotionRelated: (leftType: ClassType, rightType: ClassType) => boolean;
+    readonly makeTopLevelTypeVarsConcrete: (type: Type, makeParamSpecsConcrete?: boolean, conditionFilter?: TypeCondition[]) => Type;
+    readonly nodeInfo: AnalyzerNodeInfo.AnalyzerNodeInfoAccessor;
+    readonly prefetched: Partial<PrefetchedTypes> | undefined;
+    readonly printType: TypeEvaluator['printType'];
+    readonly stripLiteralValue: (type: Type) => Type;
+    readonly suppressDiagnostics: <T>(node: ParseNode, callback: () => T, diagCallback?: (suppressedDiags: string[]) => void) => T;
+    readonly validateCallArgs: (errorNode: ExpressionNode, argList: Arg[], callTypeResult: TypeResult, constraints: ConstraintTracker | undefined, skipUnknownArgCheck: boolean | undefined, inferenceContext: InferenceContext | undefined, recursionCount?: number) => CallResult;
+}
+export declare function createEvaluatorCore(contextDependencies: Context): {
+    validateTypeIsInstantiable: (typeResult: TypeResult, flags: EvalFlags, node: ExpressionNode) => void;
+    solveAndApplyConstraints: (type: Type, constraints: ConstraintTracker, applyOptions?: ApplyTypeVarOptions, solveOptions?: SolveConstraintsOptions) => Type;
+    getBoundMagicMethod: (classType: ClassType, memberName: string, selfType?: ClassType | TypeVarType | undefined, errorNode?: ExpressionNode | undefined, diag?: DiagnosticAddendum, recursionCount?: number) => FunctionType | OverloadedType | undefined;
+    getTypeOfAwaitable: (typeResult: TypeResult, errorNode?: ExpressionNode) => TypeResult;
+    isTypeHashable: (type: Type) => boolean;
+    getTypedDictClassType: () => ClassType | undefined;
+    getTupleClassType: () => ClassType | undefined;
+    getDictClassType: () => ClassType | undefined;
+    getStrClassType: () => ClassType | undefined;
+    getObjectType: () => Type;
+    getNoneType: () => Type;
+    getUnionClassType: () => Type;
+    getTypeClassType: () => ClassType | undefined;
+    verifyRaiseExceptionType: (node: ExpressionNode, allowNone: boolean) => void;
+    isSymbolValidTypeExpression: (type: Type, includesVarDecl: boolean) => boolean;
+    convertSpecialFormToRuntimeValue: (type: Type, flags: EvalFlags, convertModule?: boolean) => Type;
+    reportMissingTypeArgs: (node: ExpressionNode, type: Type, flags: EvalFlags) => Type;
+    specializeTypeAliasWithDefaults: (type: Type, errorNode: ExpressionNode | undefined) => Type;
+    buildTupleTypesList: (entryTypeResults: TypeResult[], stripLiterals: boolean, convertModule: boolean) => TupleTypeArg[];
+    convertNodeToArg: (node: ArgumentNode) => ArgWithExpression;
+    getSpeculativeNodeForCall: (errorNode: ExpressionNode) => ParseNode;
+    getAbstractSymbolInfo: (classType: ClassType, symbolName: string) => AbstractSymbol | undefined;
+    validateCallForClassInstance: (errorNode: ExpressionNode, argList: Arg[], expandedCallType: ClassType, unexpandedCallType: Type, constraints: ConstraintTracker | undefined, skipUnknownArgCheck: boolean | undefined, inferenceContext: InferenceContext | undefined, recursionCount: number) => CallResult;
+    adjustCallableReturnType: (callNode: ExpressionNode, returnType: Type, liveTypeVarScopes: TypeVarScopeId[]) => Type;
+    getFunctionFullName: (functionNode: ParseNode, moduleName: string, functionName: string) => string;
+    reportPossibleUnknownAssignment: (diagLevel: DiagnosticLevel, rule: DiagnosticRule, target: NameNode, type: Type, errorNode: ExpressionNode, ignoreEmptyContainers: boolean) => void;
+    cloneBuiltinObjectWithLiteral: (node: ParseNode, builtInName: string, value: LiteralValue) => Type;
+    adjustParamAnnotatedType: (param: ParameterNode, type: Type) => Type;
+    inferParamTypeFromDefaultValue: (paramValueExpr: ExpressionNode) => Type | undefined;
+    transformVariadicParamType: (node: ParseNode, paramCategory: ParamCategory, type: Type) => Type;
+    methodAlwaysRaisesNotImplemented: (functionDecl?: FunctionDeclaration) => boolean;
+    getTypeOfArgExpectingType: (arg: Arg, options?: ExpectedTypeOptions) => TypeResult;
+    getBuiltInType: (node: ParseNode, name: string) => Type;
+    getBuiltInObject: (node: ParseNode, name: string, typeArgs?: Type[]) => import("../types").UnboundType | UnknownType | import("../types").AnyType | FunctionType | OverloadedType | ClassType | import("../types").ModuleType | TypeVarType | import("../types").OverloadResultType | import("../types").NeverType | import("../types").UnionType;
+    isUnambiguousInference: (symbol: Symbol, decl: Declaration, inferredType: Type) => boolean;
+    isSpecialFormClass: (classType: ClassType, flags: AssignTypeFlags) => boolean;
+    isTypeSubsumedByOtherType: (type: Type, otherType: Type, allowAnyToSubsume: boolean, recursionCount?: number) => boolean;
+    isTypeComparable: (leftType: Type, rightType: Type, assumeIsOperator?: boolean) => boolean;
+    isFinalVariable: (symbol: Symbol) => boolean;
+    isFinalVariableDeclaration: (decl: Declaration) => boolean;
+    isLegalTypeAliasExpressionForm: (node: ExpressionNode, allowStrLiteral: boolean) => boolean;
+    isPossibleTypeDictFactoryCall: (decl: Declaration) => boolean;
+};
+export {};