@zzzen/pyright-internal 1.2.0-dev.20231119 → 1.2.0-dev.20231126

package/dist/analyzer/codeFlowUtils.js

@@ -29,6 +29,7 @@ function formatControlFlowGraph(flowNode) {
     })(BoxCharacter || (BoxCharacter = {}));
     let Connection;
     (function (Connection) {
+        Connection[Connection["None"] = 0] = "None";
         Connection[Connection["Up"] = 1] = "Up";
         Connection[Connection["Down"] = 2] = "Down";
         Connection[Connection["Left"] = 4] = "Left";
@@ -264,26 +265,26 @@ function formatControlFlowGraph(flowNode) {
             const children = getChildren(node);
             for (let i = 0; i < children.length; i++) {
                 const child = children[i];
-                let connector = 8 /* Right */;
+                let connector = 8 /* Connection.Right */;
                 if (child.lane === node.lane)
-                    connector |= 4 /* Left */;
+                    connector |= 4 /* Connection.Left */;
                 if (i > 0)
-                    connector |= 1 /* Up */;
+                    connector |= 1 /* Connection.Up */;
                 if (i < children.length - 1)
-                    connector |= 2 /* Down */;
+                    connector |= 2 /* Connection.Down */;
                 connectors[node.level][child.lane] |= connector;
             }
             if (children.length === 0) {
-                connectors[node.level][node.lane] |= 16 /* NoChildren */;
+                connectors[node.level][node.lane] |= 16 /* Connection.NoChildren */;
             }
             const parents = getParents(node);
             for (let i = 0; i < parents.length; i++) {
                 const parent = parents[i];
-                let connector = 4 /* Left */;
+                let connector = 4 /* Connection.Left */;
                 if (i > 0)
-                    connector |= 1 /* Up */;
+                    connector |= 1 /* Connection.Up */;
                 if (i < parents.length - 1)
-                    connector |= 2 /* Down */;
+                    connector |= 2 /* Connection.Down */;
                 connectors[node.level - 1][parent.lane] |= connector;
             }
         }
@@ -294,11 +295,12 @@ function formatControlFlowGraph(flowNode) {
                 const above = lane > 0 ? connectors[column][lane - 1] : 0;
                 let connector = connectors[column][lane];
                 if (!connector) {
-                    if (left & 8 /* Right */) {
-                        connector |= 12 /* LeftRight */;
+                    connector = 0 /* Connection.None */;
+                    if (left & 8 /* Connection.Right */) {
+                        connector |= 12 /* Connection.LeftRight */;
                     }
-                    if (above & 2 /* Down */) {
-                        connector |= 3 /* UpDown */;
+                    if (above & 2 /* Connection.Down */) {
+                        connector |= 3 /* Connection.UpDown */;
                     }
                     connectors[column][lane] = connector;
                 }
@@ -307,7 +309,7 @@ function formatControlFlowGraph(flowNode) {
         for (let column = 0; column < columnCount; column++) {
             for (let lane = 0; lane < lanes.length; lane++) {
                 const connector = connectors[column][lane];
-                const fill = connector & 4 /* Left */ ? "\u2500" /* lr */ : ' ';
+                const fill = connector & 4 /* Connection.Left */ ? "\u2500" /* BoxCharacter.lr */ : ' ';
                 const node = grid[column][lane];
                 if (!node) {
                     if (column < columnCount - 1) {
@@ -322,8 +324,8 @@ function formatControlFlowGraph(flowNode) {
                     }
                 }
                 writeLane(lane, getBoxCharacter(connector));
-                writeLane(lane, connector & 8 /* Right */ && column < columnCount - 1 && !grid[column + 1][lane]
-                    ? "\u2500" /* lr */
+                writeLane(lane, connector & 8 /* Connection.Right */ && column < columnCount - 1 && !grid[column + 1][lane]
+                    ? "\u2500" /* BoxCharacter.lr */
                     : ' ');
             }
         }
@@ -334,28 +336,28 @@ function formatControlFlowGraph(flowNode) {
     }
     function getBoxCharacter(connector) {
         switch (connector) {
-            case 3 /* UpDown */:
-                return "\u2502" /* ud */;
-            case 12 /* LeftRight */:
-                return "\u2500" /* lr */;
-            case 5 /* UpLeft */:
-                return "\u256F" /* ul */;
-            case 9 /* UpRight */:
-                return "\u2570" /* ur */;
-            case 6 /* DownLeft */:
-                return "\u256E" /* dl */;
-            case 10 /* DownRight */:
-                return "\u256D" /* dr */;
-            case 7 /* UpDownLeft */:
-                return "\u2524" /* udl */;
-            case 11 /* UpDownRight */:
-                return "\u251C" /* udr */;
-            case 13 /* UpLeftRight */:
-                return "\u2534" /* ulr */;
-            case 14 /* DownLeftRight */:
-                return "\u252C" /* dlr */;
-            case 15 /* UpDownLeftRight */:
-                return "\u256B" /* udlr */;
+            case 3 /* Connection.UpDown */:
+                return "\u2502" /* BoxCharacter.ud */;
+            case 12 /* Connection.LeftRight */:
+                return "\u2500" /* BoxCharacter.lr */;
+            case 5 /* Connection.UpLeft */:
+                return "\u256F" /* BoxCharacter.ul */;
+            case 9 /* Connection.UpRight */:
+                return "\u2570" /* BoxCharacter.ur */;
+            case 6 /* Connection.DownLeft */:
+                return "\u256E" /* BoxCharacter.dl */;
+            case 10 /* Connection.DownRight */:
+                return "\u256D" /* BoxCharacter.dr */;
+            case 7 /* Connection.UpDownLeft */:
+                return "\u2524" /* BoxCharacter.udl */;
+            case 11 /* Connection.UpDownRight */:
+                return "\u251C" /* BoxCharacter.udr */;
+            case 13 /* Connection.UpLeftRight */:
+                return "\u2534" /* BoxCharacter.ulr */;
+            case 14 /* Connection.DownLeftRight */:
+                return "\u252C" /* BoxCharacter.dlr */;
+            case 15 /* Connection.UpDownLeftRight */:
+                return "\u256B" /* BoxCharacter.udlr */;
         }
         return ' ';
     }

package/dist/analyzer/codeFlowUtils.js.map

@@ -1 +1 @@
-{"version":3,"file":"codeFlowUtils.js","sourceRoot":"","sources":["../../../src/analyzer/codeFlowUtils.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2DAAkE;AAElE,yDAAiD;AACjD,mDAayB;AAEzB,SAAgB,sBAAsB,CAAC,QAAkB;IACrD,IAAW,YAYV;IAZD,WAAW,YAAY;QACnB,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,+BAAU,CAAA;IACd,CAAC,EAZU,YAAY,KAAZ,YAAY,QAYtB;IAED,IAAW,UAmBV;IAnBD,WAAW,UAAU;QACjB,uCAAW,CAAA;QACX,2CAAa,CAAA;QACb,2CAAa,CAAA;QACb,6CAAc,CAAA;QAEd,+CAAkB,CAAA;QAClB,sDAAwB,CAAA;QACxB,+CAAkB,CAAA;QAClB,iDAAoB,CAAA;QACpB,mDAAsB,CAAA;QACtB,sDAAwB,CAAA;QACxB,uDAA0B,CAAA;QAC1B,0DAA4B,CAAA;QAC5B,0DAA4B,CAAA;QAC5B,8DAAgC,CAAA;QAChC,kEAAoC,CAAA;QAEpC,wDAAmB,CAAA;IACvB,CAAC,EAnBU,UAAU,KAAV,UAAU,QAmBpB;IAkBD,MAAM,KAAK,GAAkC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;QACtB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,YAAY,CAAC,IAAI,CAAC,CAAC;KACtB;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACjD,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtB,OAAO,WAAW,EAAE,CAAC;IAErB,SAAS,cAAc,CAAC,CAAW;QAC/B,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,yBAAS,CAAC,SAAS,GAAG,yBAAS,CAAC,WAAW,CAAC,EAAE;YACzD,OAAQ,CAAe,CAAC,WAAW,CAAC;SACvC;QAED,IACI,CAAC,CAAC,KAAK;YACP,CAAC,yBAAS,CAAC,UAAU;gBACjB,yBAAS,CAAC,kBAAkB;gBAC5B,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,aAAa;gBACvB,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,kBAAkB;gBAC5B,yBAAS,CAAC,mBAAmB;gBAC7B,yBAAS,CAAC,gBAAgB;gBAC1B,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,IAAI;gBACd,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,WAAW,CAAC,EAC5B;YACE,MAAM,aAAa,GAAG,CAQD,CAAC;YACtB,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;SACrC;QAED,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,WAAW,CAAC,IAAmB;QACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE;gBACtB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aAC9B;SACJ;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,SAAS,UAAU,CAAC,IAAmB;QACnC,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE;gBACtB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aAC7B;SACJ;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,SAAS,cAAc,CAAC,QAAkB,EAAE,IAAmB;QAC3D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;QACvB,IAAI,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QAE1B,IAAI,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YACjC,SAAS,GAAG;gBACR,EAAE,EAAE,CAAC,CAAC;gBACN,QAAQ;gBACR,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC;gBACR,OAAO,EAAE,CAAC,CAAC;gBACX,KAAK,EAAE,CAAC,CAAC;gBACT,QAAQ,EAAE,IAAI;aACjB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC;SACpB;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEnB,IAAI,CAAC,SAAS,EAAE;YACZ,KAAK,CAAC,EAAE,CAAC,GAAG,SAAS,GAAG;gBACpB,EAAE;gBACF,QAAQ;gBACR,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC;gBACR,OAAO,EAAE,CAAC,CAAC;gBACX,KAAK,EAAE,CAAC,CAAC;gBACT,QAAQ,EAAE,KAAK;aAClB,CAAC;YAEF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEtB,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE;gBAClC,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;aAC/C;SACJ;QAED,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,cAAc,CAAC,MAAqB,EAAE,UAAoB,EAAE,IAAmB;QACpF,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAChD,MAAM,IAAI,GAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,YAAY,CAAC,IAAmB;QACrC,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE;YACnB,OAAO,IAAI,CAAC,KAAK,CAAC;SACrB;QACD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE;YACnC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;SACrD;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,SAAS,aAAa,CAAC,IAAmB;QACtC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE;YACnC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;SACnD;QACD,OAAO,MAAM,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,SAAS,mBAAmB,CAAC,MAAc;QACvC,MAAM,OAAO,GAAa,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACtB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;SACzE;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,SAAS,YAAY,CAAC,IAAmB,EAAE,IAAY;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE;YAClB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;YACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YACpB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACtC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC1B,IAAI,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE;oBAC9B,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;iBACxB;aACJ;YACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;SACvB;IACL,CAAC;IAED,SAAS,SAAS,CAAC,KAAgB;QAC/B,IAAI,KAAK,GAAG,yBAAS,CAAC,KAAK;YAAE,OAAO,OAAO,CAAC;QAC5C,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,QAAQ,CAAC;QACnD,IAAI,KAAK,GAAG,yBAAS,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,KAAK,GAAG,yBAAS,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC;QAC9C,IAAI,KAAK,GAAG,yBAAS,CAAC,UAAU;YAAE,OAAO,QAAQ,CAAC;QAClD,IAAI,KAAK,GAAG,yBAAS,CAAC,aAAa;YAAE,OAAO,MAAM,CAAC;QACnD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,OAAO,CAAC;QACrD,IAAI,KAAK,GAAG,yBAAS,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC;QAC1C,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,aAAa,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,WAAW,CAAC;QACtD,IAAI,KAAK,GAAG,yBAAS,CAAC,kBAAkB;YAAE,OAAO,UAAU,CAAC;QAC5D,IAAI,KAAK,GAAG,yBAAS,CAAC,kBAAkB;YAAE,OAAO,WAAW,CAAC;QAC7D,IAAI,KAAK,GAAG,yBAAS,CAAC,mBAAmB;YAAE,OAAO,YAAY,CAAC;QAC/D,IAAI,KAAK,GAAG,yBAAS,CAAC,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACzD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACvD,MAAM,IAAI,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,SAAS,YAAY,CAAC,CAAW;QAC7B,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,UAAU,EAAE;YAChC,OAAQ,CAAoB,CAAC,IAAI,CAAC;SACrC;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,cAAc,EAAE;YACpC,OAAQ,CAAwB,CAAC,IAAI,CAAC;SACzC;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,yBAAS,CAAC,aAAa,GAAG,yBAAS,CAAC,cAAc,CAAC,EAAE;YAChE,OAAQ,CAAmB,CAAC,UAAU,CAAC;SAC1C;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,gBAAgB,EAAE;YACtC,OAAQ,CAA0B,CAAC,SAAS,CAAC;SAChD;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,IAAI,EAAE;YAC1B,OAAQ,CAAc,CAAC,IAAI,CAAC;SAC/B;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,WAAW,CAAC,CAAW;QAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAElC,IAAI,CAAC,SAAS,EAAE;YACZ,OAAO,SAAS,CAAC;SACpB;QAED,MAAM,QAAQ,GAAG,IAAA,8BAAW,EAAC,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAA,uCAAuB,EAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE1E,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC;IAC9D,CAAC;IAED,SAAS,cAAc,CAAC,QAAkB,EAAE,QAAiB;QACzD,MAAM,IAAI,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACzF,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IAED,SAAS,WAAW;QAChB,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC;QACxC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrE,MAAM,KAAK,GAAa,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,MAAM,IAAI,GAAoC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACvF,MAAM,UAAU,GAAmB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAErF,oBAAoB;QACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,SAAS,gBAA+B,CAAC;gBAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBAAE,SAAS,gBAAmB,CAAC;gBAC3D,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS,cAAiB,CAAC;gBACtC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;oBAAE,SAAS,gBAAmB,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;aACnD;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;gBACvB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAyB,CAAC;aAC9D;YACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,SAAS,eAA8B,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS,cAAiB,CAAC;gBACtC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,SAAS,gBAAmB,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;aACxD;SACJ;QAED,8BAA8B;QAC9B,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,MAAM,EAAE,EAAE;YACjD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,IAAI,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1D,IAAI,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,CAAC,SAAS,EAAE;oBACZ,IAAI,IAAI,gBAAmB,EAAE;wBACzB,SAAS,sBAAwB,CAAC;qBACrC;oBACD,IAAI,KAAK,eAAkB,EAAE;wBACzB,SAAS,kBAAqB,CAAC;qBAClC;oBACD,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;iBACxC;aACJ;SACJ;QAED,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,MAAM,EAAE,EAAE;YACjD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,SAAS,eAAkB,CAAC,CAAC,mBAAiB,CAAC,CAAC,GAAG,CAAC;gBACjE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,CAAC,IAAI,EAAE;oBACP,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,EAAE;wBAC1B,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;qBAC3D;iBACJ;qBAAM;oBACH,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC3B,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,EAAE;wBAC1B,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBACrB,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;qBAC1E;iBACJ;gBACD,SAAS,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC5C,SAAS,CACL,IAAI,EACJ,SAAS,gBAAmB,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC/E,CAAC;oBACD,CAAC,CAAC,GAAG,CACZ,CAAC;aACL;SACJ;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,SAAS,SAAS,CAAC,IAAY,EAAE,IAAY;YACzC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACxB,CAAC;IACL,CAAC;IAED,SAAS,eAAe,CAAC,SAAqB;QAC1C,QAAQ,SAAS,EAAE;YACf;gBACI,yBAAuB;YAC3B;gBACI,yBAAuB;YAC3B;gBACI,yBAAuB;YAC3B;gBACI,yBAAuB;YAC3B;gBACI,yBAAuB;YAC3B;gBACI,yBAAuB;YAC3B;gBACI,0BAAwB;YAC5B;gBACI,0BAAwB;YAC5B;gBACI,0BAAwB;YAC5B;gBACI,0BAAwB;YAC5B;gBACI,2BAAyB;SAChC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;IAED,SAAS,IAAI,CAAI,KAAU,EAAE,KAAQ;QACjC,IAAI,KAAK,CAAC,IAAI,EAAE;YACZ,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;SACrB;aAAM;YACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACnC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;aACpB;SACJ;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,MAAM,CAAC,EAAU,EAAE,MAAc;QACtC,IAAI,EAAE,CAAC,MAAM,EAAE;YACX,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,CAAC,MAAM,GAAG,MAAM,EAAE;YACtB,CAAC,IAAI,EAAE,CAAC;SACX;QACD,OAAO,CAAC,CAAC;IACb,CAAC;AACL,CAAC;AA7ZD,wDA6ZC"}
+{"version":3,"file":"codeFlowUtils.js","sourceRoot":"","sources":["../../../src/analyzer/codeFlowUtils.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAEH,2DAAkE;AAElE,yDAAiD;AACjD,mDAayB;AAEzB,SAAgB,sBAAsB,CAAC,QAAkB;IACrD,IAAW,YAYV;IAZD,WAAW,YAAY;QACnB,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,6BAAQ,CAAA;QACR,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,8BAAS,CAAA;QACT,+BAAU,CAAA;IACd,CAAC,EAZU,YAAY,KAAZ,YAAY,QAYtB;IAED,IAAW,UAoBV;IApBD,WAAW,UAAU;QACjB,2CAAQ,CAAA;QACR,uCAAW,CAAA;QACX,2CAAa,CAAA;QACb,2CAAa,CAAA;QACb,6CAAc,CAAA;QAEd,+CAAkB,CAAA;QAClB,sDAAwB,CAAA;QACxB,+CAAkB,CAAA;QAClB,iDAAoB,CAAA;QACpB,mDAAsB,CAAA;QACtB,sDAAwB,CAAA;QACxB,uDAA0B,CAAA;QAC1B,0DAA4B,CAAA;QAC5B,0DAA4B,CAAA;QAC5B,8DAAgC,CAAA;QAChC,kEAAoC,CAAA;QAEpC,wDAAmB,CAAA;IACvB,CAAC,EApBU,UAAU,KAAV,UAAU,QAoBpB;IAkBD,MAAM,KAAK,GAAkC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;QACtB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,YAAY,CAAC,IAAI,CAAC,CAAC;KACtB;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACjD,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtB,OAAO,WAAW,EAAE,CAAC;IAErB,SAAS,cAAc,CAAC,CAAW;QAC/B,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,yBAAS,CAAC,SAAS,GAAG,yBAAS,CAAC,WAAW,CAAC,EAAE;YACzD,OAAQ,CAAe,CAAC,WAAW,CAAC;SACvC;QAED,IACI,CAAC,CAAC,KAAK;YACP,CAAC,yBAAS,CAAC,UAAU;gBACjB,yBAAS,CAAC,kBAAkB;gBAC5B,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,aAAa;gBACvB,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,kBAAkB;gBAC5B,yBAAS,CAAC,mBAAmB;gBAC7B,yBAAS,CAAC,gBAAgB;gBAC1B,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,IAAI;gBACd,yBAAS,CAAC,cAAc;gBACxB,yBAAS,CAAC,WAAW,CAAC,EAC5B;YACE,MAAM,aAAa,GAAG,CAQD,CAAC;YACtB,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;SACrC;QAED,OAAO,EAAE,CAAC;IACd,CAAC;IAED,SAAS,WAAW,CAAC,IAAmB;QACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE;gBACtB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aAC9B;SACJ;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,SAAS,UAAU,CAAC,IAAmB;QACnC,MAAM,OAAO,GAAoB,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE;gBACtB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aAC7B;SACJ;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,SAAS,cAAc,CAAC,QAAkB,EAAE,IAAmB;QAC3D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;QACvB,IAAI,SAAS,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QAE1B,IAAI,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;YACjC,SAAS,GAAG;gBACR,EAAE,EAAE,CAAC,CAAC;gBACN,QAAQ;gBACR,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC;gBACR,OAAO,EAAE,CAAC,CAAC;gBACX,KAAK,EAAE,CAAC,CAAC;gBACT,QAAQ,EAAE,IAAI;aACjB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC;SACpB;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEnB,IAAI,CAAC,SAAS,EAAE;YACZ,KAAK,CAAC,EAAE,CAAC,GAAG,SAAS,GAAG;gBACpB,EAAE;gBACF,QAAQ;gBACR,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC;gBACR,OAAO,EAAE,CAAC,CAAC;gBACX,KAAK,EAAE,CAAC,CAAC;gBACT,QAAQ,EAAE,KAAK;aAClB,CAAC;YAEF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEtB,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE;gBAClC,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;aAC/C;SACJ;QAED,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,cAAc,CAAC,MAAqB,EAAE,UAAoB,EAAE,IAAmB;QACpF,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAChD,MAAM,IAAI,GAAkB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,SAAS,YAAY,CAAC,IAAmB;QACrC,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE;YACnB,OAAO,IAAI,CAAC,KAAK,CAAC;SACrB;QACD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE;YACnC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;SACrD;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,SAAS,aAAa,CAAC,IAAmB;QACtC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE;YACnC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;SACnD;QACD,OAAO,MAAM,GAAG,CAAC,CAAC;IACtB,CAAC;IAED,SAAS,mBAAmB,CAAC,MAAc;QACvC,MAAM,OAAO,GAAa,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACtB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;SACzE;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,SAAS,YAAY,CAAC,IAAmB,EAAE,IAAY;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE;YAClB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;YACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YACpB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACtC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC1B,IAAI,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE;oBAC9B,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC;iBACxB;aACJ;YACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;SACvB;IACL,CAAC;IAED,SAAS,SAAS,CAAC,KAAgB;QAC/B,IAAI,KAAK,GAAG,yBAAS,CAAC,KAAK;YAAE,OAAO,OAAO,CAAC;QAC5C,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,QAAQ,CAAC;QACnD,IAAI,KAAK,GAAG,yBAAS,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,KAAK,GAAG,yBAAS,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC;QAC9C,IAAI,KAAK,GAAG,yBAAS,CAAC,UAAU;YAAE,OAAO,QAAQ,CAAC;QAClD,IAAI,KAAK,GAAG,yBAAS,CAAC,aAAa;YAAE,OAAO,MAAM,CAAC;QACnD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,OAAO,CAAC;QACrD,IAAI,KAAK,GAAG,yBAAS,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC;QAC1C,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,aAAa,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,KAAK,GAAG,yBAAS,CAAC,WAAW;YAAE,OAAO,WAAW,CAAC;QACtD,IAAI,KAAK,GAAG,yBAAS,CAAC,kBAAkB;YAAE,OAAO,UAAU,CAAC;QAC5D,IAAI,KAAK,GAAG,yBAAS,CAAC,kBAAkB;YAAE,OAAO,WAAW,CAAC;QAC7D,IAAI,KAAK,GAAG,yBAAS,CAAC,mBAAmB;YAAE,OAAO,YAAY,CAAC;QAC/D,IAAI,KAAK,GAAG,yBAAS,CAAC,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACzD,IAAI,KAAK,GAAG,yBAAS,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACvD,MAAM,IAAI,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,SAAS,YAAY,CAAC,CAAW;QAC7B,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,UAAU,EAAE;YAChC,OAAQ,CAAoB,CAAC,IAAI,CAAC;SACrC;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,cAAc,EAAE;YACpC,OAAQ,CAAwB,CAAC,IAAI,CAAC;SACzC;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,yBAAS,CAAC,aAAa,GAAG,yBAAS,CAAC,cAAc,CAAC,EAAE;YAChE,OAAQ,CAAmB,CAAC,UAAU,CAAC;SAC1C;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,gBAAgB,EAAE;YACtC,OAAQ,CAA0B,CAAC,SAAS,CAAC;SAChD;QAED,IAAI,CAAC,CAAC,KAAK,GAAG,yBAAS,CAAC,IAAI,EAAE;YAC1B,OAAQ,CAAc,CAAC,IAAI,CAAC;SAC/B;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,SAAS,WAAW,CAAC,CAAW;QAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAElC,IAAI,CAAC,SAAS,EAAE;YACZ,OAAO,SAAS,CAAC;SACpB;QAED,MAAM,QAAQ,GAAG,IAAA,8BAAW,EAAC,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAA,uCAAuB,EAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE1E,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC;IAC9D,CAAC;IAED,SAAS,cAAc,CAAC,QAAkB,EAAE,QAAiB;QACzD,MAAM,IAAI,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACzF,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IAED,SAAS,WAAW;QAChB,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC;QACxC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACrE,MAAM,KAAK,GAAa,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,MAAM,IAAI,GAAoC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACvF,MAAM,UAAU,GAAmB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAErF,oBAAoB;QACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACtB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,SAAS,2BAA+B,CAAC;gBAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBAAE,SAAS,2BAAmB,CAAC;gBAC3D,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS,yBAAiB,CAAC;gBACtC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC;oBAAE,SAAS,2BAAmB,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;aACnD;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;gBACvB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAyB,CAAC;aAC9D;YACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,SAAS,0BAA8B,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAS,yBAAiB,CAAC;gBACtC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,SAAS,2BAAmB,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;aACxD;SACJ;QAED,8BAA8B;QAC9B,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,MAAM,EAAE,EAAE;YACjD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,EAAE,IAAI,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1D,IAAI,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,CAAC,SAAS,EAAE;oBACZ,SAAS,0BAAkB,CAAC;oBAE5B,IAAI,IAAI,2BAAmB,EAAE;wBACzB,SAAS,iCAAwB,CAAC;qBACrC;oBACD,IAAI,KAAK,0BAAkB,EAAE;wBACzB,SAAS,6BAAqB,CAAC;qBAClC;oBACD,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;iBACxC;aACJ;SACJ;QAED,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,MAAM,EAAE,EAAE;YACjD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;gBAC5C,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,SAAS,0BAAkB,CAAC,CAAC,gCAAiB,CAAC,CAAC,GAAG,CAAC;gBACjE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,CAAC,IAAI,EAAE;oBACP,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,EAAE;wBAC1B,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;qBAC3D;iBACJ;qBAAM;oBACH,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC3B,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,EAAE;wBAC1B,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBACrB,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;qBAC1E;iBACJ;gBACD,SAAS,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC5C,SAAS,CACL,IAAI,EACJ,SAAS,2BAAmB,IAAI,MAAM,GAAG,WAAW,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC/E,CAAC;oBACD,CAAC,CAAC,GAAG,CACZ,CAAC;aACL;SACJ;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAE/B,SAAS,SAAS,CAAC,IAAY,EAAE,IAAY;YACzC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACxB,CAAC;IACL,CAAC;IAED,SAAS,eAAe,CAAC,SAAqB;QAC1C,QAAQ,SAAS,EAAE;YACf;gBACI,sCAAuB;YAC3B;gBACI,sCAAuB;YAC3B;gBACI,sCAAuB;YAC3B;gBACI,sCAAuB;YAC3B;gBACI,sCAAuB;YAC3B;gBACI,sCAAuB;YAC3B;gBACI,uCAAwB;YAC5B;gBACI,uCAAwB;YAC5B;gBACI,uCAAwB;YAC5B;gBACI,uCAAwB;YAC5B;gBACI,wCAAyB;SAChC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;IAED,SAAS,IAAI,CAAI,KAAU,EAAE,KAAQ;QACjC,IAAI,KAAK,CAAC,IAAI,EAAE;YACZ,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;SACrB;aAAM;YACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACnC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;aACpB;SACJ;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,SAAS,MAAM,CAAC,EAAU,EAAE,MAAc;QACtC,IAAI,EAAE,CAAC,MAAM,EAAE;YACX,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C;QACD,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,CAAC,MAAM,GAAG,MAAM,EAAE;YACtB,CAAC,IAAI,EAAE,CAAC;SACX;QACD,OAAO,CAAC,CAAC;IACb,CAAC;AACL,CAAC;AAhaD,wDAgaC"}

package/dist/analyzer/constraintSolver.js

@@ -30,7 +30,7 @@ const logTypeVarContextUpdates = false;
 // to produce the narrowest type that meets all of the requirements. If the type var context
 // has been "locked", it simply validates that the srcType is compatible (with no attempt
 // to widen or narrow).
-function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext, flags = 0 /* Default */, recursionCount = 0) {
+function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext, flags = 0 /* AssignTypeFlags.Default */, recursionCount = 0) {
     if (logTypeVarContextUpdates) {
         const indent = ' '.repeat(recursionCount * 2);
         console.log(`${indent}`);
@@ -43,8 +43,8 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         logTypeVarContext(evaluator, typeVarContext, indent);
     }
     let isTypeVarInScope = true;
-    const isInvariant = (flags & 1 /* EnforceInvariance */) !== 0;
-    const isContravariant = (flags & 2 /* ReverseTypeVarMatching */) !== 0;
+    const isInvariant = (flags & 1 /* AssignTypeFlags.EnforceInvariance */) !== 0;
+    const isContravariant = (flags & 2 /* AssignTypeFlags.ReverseTypeVarMatching */) !== 0;
     // If the TypeVar doesn't have a scope ID, then it's being used
     // outside of a valid TypeVar scope. This will be reported as a
     // separate error. Just ignore this case to avoid redundant errors.
@@ -71,7 +71,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         }
         // If we're in "ignore type var scope" mode, don't generate
         // an error in this path.
-        if ((flags & 512 /* IgnoreTypeVarScope */) !== 0) {
+        if ((flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */) !== 0) {
             return true;
         }
         isTypeVarInScope = false;
@@ -82,7 +82,12 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             return false;
         }
     }
-    if ((flags & 8 /* SkipSolveTypeVars */) !== 0) {
+    // An in-scope placeholder TypeVar can always be assigned to itself,
+    // but we won't record this in the typeVarContext.
+    if ((0, types_1.isTypeSame)(destType, srcType) && destType.isInScopePlaceholder) {
+        return true;
+    }
+    if ((flags & 8 /* AssignTypeFlags.SkipSolveTypeVars */) !== 0) {
         return evaluator.assignType(evaluator.makeTopLevelTypeVarsConcrete(destType), evaluator.makeTopLevelTypeVarsConcrete(srcType), diag, 
         /* destTypeVarContext */ undefined, 
         /* srcTypeVarContext */ undefined, flags, recursionCount);
@@ -113,13 +118,6 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         !destType.details.isVariadic) {
         srcType = types_1.TypeVarType.cloneForUnpacked(srcType, /* isInUnion */ true);
     }
-    // If we're attempting to assign `type` to Type[T], transform `type` into `Type[Any]`.
-    if (types_1.TypeBase.isInstantiable(destType) &&
-        (0, types_1.isClassInstance)(srcType) &&
-        types_1.ClassType.isBuiltIn(srcType, 'type') &&
-        !srcType.typeArguments) {
-        srcType = types_1.AnyType.create();
-    }
     // Handle the constrained case. This case needs to be handled specially
     // because type narrowing isn't used in this case. For example, if the
     // source type is "Literal[1]" and the constraint list includes the type
@@ -140,7 +138,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
     let adjSrcType = srcType;
     // If the source is a class that is missing type arguments, fill
     // in missing type arguments with Unknown.
-    if ((flags & 2048 /* AllowUnspecifiedTypeArguments */) === 0) {
+    if ((flags & 2048 /* AssignTypeFlags.AllowUnspecifiedTypeArguments */) === 0) {
         if ((0, types_1.isClass)(adjSrcType) && adjSrcType.includeSubclasses) {
             adjSrcType = (0, typeUtils_1.specializeWithDefaultTypeArgs)(adjSrcType);
         }
@@ -167,7 +165,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format(evaluator.printSrcDestTypes(adjSrcType, destType)));
         return false;
     }
-    if ((flags & 1024 /* PopulatingExpectedType */) !== 0) {
+    if ((flags & 1024 /* AssignTypeFlags.PopulatingExpectedType */) !== 0) {
         // If we're populating the expected type and the srcType is
         // Unknown, ignore it.
         if ((0, types_1.isUnknown)(adjSrcType)) {
@@ -197,7 +195,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         else if (!(0, types_1.isTypeSame)(curWideTypeBound, adjSrcType, {}, recursionCount)) {
             if (evaluator.assignType(curWideTypeBound, evaluator.makeTopLevelTypeVarsConcrete(adjSrcType), diagAddendum, 
             /* destTypeVarContext */ undefined, 
-            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+            /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                 // The srcType is narrower than the current wideTypeBound, so replace it.
                 // If it's Any, don't replace it because Any is the narrowest type already.
                 if (!(0, types_1.isAny)(curWideTypeBound)) {
@@ -206,7 +204,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             }
             else if (!evaluator.assignType(adjSrcType, curWideTypeBound, diagAddendum, 
             /* destTypeVarContext */ undefined, 
-            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+            /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                 if (diag && diagAddendum) {
                     diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format(evaluator.printSrcDestTypes(curWideTypeBound, adjSrcType)));
                     diag.addAddendum(diagAddendum);
@@ -219,7 +217,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             if (!evaluator.assignType(newWideTypeBound, curNarrowTypeBound, 
             /* diag */ undefined, 
             /* destTypeVarContext */ undefined, 
-            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+            /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                 if (diag && diagAddendum) {
                     diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format(evaluator.printSrcDestTypes(curNarrowTypeBound, newWideTypeBound)));
                     diag.addAddendum(diagAddendum);
@@ -234,8 +232,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             newNarrowTypeBound = adjSrcType;
         }
         else if (!(0, types_1.isTypeSame)(curNarrowTypeBound, adjSrcType, {}, recursionCount)) {
-            if (evaluator.assignType(curNarrowTypeBound, adjSrcType, diagAddendum, 
-            /* destTypeVarContext */ undefined, 
+            if (evaluator.assignType(curNarrowTypeBound, adjSrcType, diagAddendum, typeVarContext, 
             /* srcTypeVarContext */ undefined, flags, recursionCount)) {
                 // No need to widen. Stick with the existing type unless it's unknown
                 // or partly unknown, in which case we'll replace it with a known type
@@ -243,9 +240,8 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
                 if ((0, typeUtils_1.isPartlyUnknown)(curNarrowTypeBound) &&
                     !(0, types_1.isUnknown)(adjSrcType) &&
                     evaluator.assignType(adjSrcType, curNarrowTypeBound, 
-                    /* diag */ undefined, 
-                    /* destTypeVarContext */ undefined, 
-                    /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                    /* diag */ undefined, typeVarContext, 
+                    /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                     newNarrowTypeBound = adjSrcType;
                 }
                 else {
@@ -254,8 +250,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             }
             else if ((0, types_1.isTypeVar)(curNarrowTypeBound) &&
                 !(0, types_1.isTypeVar)(adjSrcType) &&
-                evaluator.assignType(evaluator.makeTopLevelTypeVarsConcrete(curNarrowTypeBound), adjSrcType, diagAddendum, 
-                /* destTypeVarContext */ undefined, 
+                evaluator.assignType(evaluator.makeTopLevelTypeVarsConcrete(curNarrowTypeBound), adjSrcType, diagAddendum, typeVarContext, 
                 /* srcTypeVarContext */ undefined, flags, recursionCount)) {
                 // If the existing narrow type bound was a TypeVar that is not
                 // part of the current context we can replace it with the new
@@ -269,9 +264,8 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
                     return false;
                 }
                 if (evaluator.assignType(adjSrcType, curNarrowTypeBound, 
-                /* diag */ undefined, 
-                /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                /* diag */ undefined, typeVarContext, 
+                /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                     newNarrowTypeBound = adjSrcType;
                 }
                 else if ((0, types_1.isVariadicTypeVar)(destType)) {
@@ -321,9 +315,8 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
                 const adjWideTypeBound = makeConcrete
                     ? evaluator.makeTopLevelTypeVarsConcrete(curWideTypeBound, /* makeParamSpecsConcrete */ true)
                     : curWideTypeBound;
-                if (!evaluator.assignType(adjWideTypeBound, newNarrowTypeBound, diag === null || diag === void 0 ? void 0 : diag.createAddendum(), 
-                /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                if (!evaluator.assignType(adjWideTypeBound, newNarrowTypeBound, diag === null || diag === void 0 ? void 0 : diag.createAddendum(), typeVarContext, 
+                /* srcTypeVarContext */ undefined, 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
                     if (diag && diagAddendum) {
                         diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format(evaluator.printSrcDestTypes(newNarrowTypeBound, adjWideTypeBound)));
                     }
@@ -348,7 +341,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
             ? typeVarContext
             : new typeVarContext_1.TypeVarContext(destType.scopeId);
         if (!evaluator.assignType(destType.details.boundType, evaluator.makeTopLevelTypeVarsConcrete(updatedType), diag === null || diag === void 0 ? void 0 : diag.createAddendum(), effectiveTypeVarContext, 
-        /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+        /* srcTypeVarContext */ undefined, flags & 512 /* AssignTypeFlags.IgnoreTypeVarScope */, recursionCount)) {
             // Avoid adding a message that will confuse users if the TypeVar was
             // synthesized for internal purposes.
             if (!destType.details.isSynthesized) {
@@ -362,7 +355,7 @@ function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext,
         }
     }
     if (!typeVarContext.isLocked() && isTypeVarInScope) {
-        updateTypeVarType(evaluator, typeVarContext, destType, newNarrowTypeBound, newWideTypeBound, (flags & (1024 /* PopulatingExpectedType */ | 128 /* RetainLiteralsForTypeVar */)) !== 0);
+        updateTypeVarType(evaluator, typeVarContext, destType, newNarrowTypeBound, newWideTypeBound, (flags & (1024 /* AssignTypeFlags.PopulatingExpectedType */ | 128 /* AssignTypeFlags.RetainLiteralsForTypeVar */)) !== 0);
     }
     if (logTypeVarContextUpdates) {
         const indent = ' '.repeat(recursionCount * 2);
@@ -404,7 +397,7 @@ function assignTypeToConstrainedTypeVar(evaluator, destType, srcType, diag, type
     if ((0, types_1.isTypeVar)(srcType)) {
         if (evaluator.assignType(destType, concreteSrcType, 
         /* diag */ undefined, new typeVarContext_1.TypeVarContext(destType.scopeId), 
-        /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+        /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount)) {
             constrainedType = srcType;
             // If the source and dest are both instantiables (type[T]), then
             // we need to convert to an instance (T).
@@ -433,14 +426,14 @@ function assignTypeToConstrainedTypeVar(evaluator, destType, srcType, diag, type
                 if (evaluator.assignType(adjustedConstraint, srcSubtype, 
                 /* diag */ undefined, 
                 /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount)) {
                     if (!constrainedSubtype ||
                         evaluator.assignType(types_1.TypeBase.isInstantiable(destType)
                             ? (0, typeUtils_1.convertToInstantiable)(constrainedSubtype)
                             : constrainedSubtype, adjustedConstraint, 
                         /* diag */ undefined, 
                         /* destTypeVarContext */ undefined, 
-                        /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                        /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount)) {
                         constrainedSubtype = (0, typeUtils_1.addConditionToType)(constraint, (0, typeUtils_1.getTypeCondition)(srcSubtype));
                         constraintIndexUsed = i;
                     }
@@ -450,7 +443,7 @@ function assignTypeToConstrainedTypeVar(evaluator, destType, srcType, diag, type
                 // We found a source subtype that is not compatible with the dest.
                 // This is OK if we're handling the contravariant case because only
                 // one subtype needs to be assignable in that case.
-                if ((flags & 2 /* ReverseTypeVarMatching */) === 0) {
+                if ((flags & 2 /* AssignTypeFlags.ReverseTypeVarMatching */) === 0) {
                     isCompatible = false;
                 }
             }
@@ -478,7 +471,7 @@ function assignTypeToConstrainedTypeVar(evaluator, destType, srcType, diag, type
                 return evaluator.assignType(adjustedConstraint, concreteSrcType, 
                 /* diag */ undefined, 
                 /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount);
+                /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount);
             });
         }
     }
@@ -496,14 +489,14 @@ function assignTypeToConstrainedTypeVar(evaluator, destType, srcType, diag, type
         if (!evaluator.assignType(curNarrowTypeBound, constrainedType, 
         /* diag */ undefined, 
         /* destTypeVarContext */ undefined, 
-        /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+        /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount)) {
             // Handle the case where one of the constrained types is a wider
             // version of another constrained type that was previously assigned
             // to the type variable.
             if (evaluator.assignType(constrainedType, curNarrowTypeBound, 
             /* diag */ undefined, 
             /* destTypeVarContext */ undefined, 
-            /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+            /* srcTypeVarContext */ undefined, 0 /* AssignTypeFlags.Default */, recursionCount)) {
                 if (!typeVarContext.isLocked() && isTypeVarInScope) {
                     updateTypeVarType(evaluator, typeVarContext, destType, constrainedType, curWideTypeBound);
                 }
@@ -559,7 +552,7 @@ function assignTypeToParamSpec(evaluator, destType, srcType, diag, typeVarContex
                 };
                 return param;
             });
-            const newFunction = types_1.FunctionType.createInstance('', '', '', srcType.details.flags | 65536 /* ParamSpecValue */);
+            const newFunction = types_1.FunctionType.createInstance('', '', '', srcType.details.flags | 65536 /* FunctionTypeFlags.ParamSpecValue */);
             parameters.forEach((param) => {
                 types_1.FunctionType.addParameter(newFunction, param);
             });
@@ -579,13 +572,13 @@ function assignTypeToParamSpec(evaluator, destType, srcType, diag, typeVarContex
                 if (evaluator.assignType(existingFunction, newFunction, 
                 /* diag */ undefined, 
                 /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, 32 /* SkipFunctionReturnTypeCheck */, recursionCount)) {
+                /* srcTypeVarContext */ undefined, 32 /* AssignTypeFlags.SkipFunctionReturnTypeCheck */, recursionCount)) {
                     updateContextWithNewFunction = true;
                 }
                 else if (evaluator.assignType(newFunction, existingFunction, 
                 /* diag */ undefined, 
                 /* destTypeVarContext */ undefined, 
-                /* srcTypeVarContext */ undefined, 32 /* SkipFunctionReturnTypeCheck */, recursionCount)) {
+                /* srcTypeVarContext */ undefined, 32 /* AssignTypeFlags.SkipFunctionReturnTypeCheck */, recursionCount)) {
                     // The existing function is already narrower than the new function, so
                     // no need to narrow it further.
                     return;
@@ -642,7 +635,7 @@ function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType
     if (!expectedTypeArgs) {
         return evaluator.assignType(type, expectedType, 
         /* diag */ undefined, typeVarContext, 
-        /* srcTypeVarContext */ undefined, 1024 /* PopulatingExpectedType */);
+        /* srcTypeVarContext */ undefined, 1024 /* AssignTypeFlags.PopulatingExpectedType */);
     }
     evaluator.inferTypeParameterVarianceForClass(type);
     // If the expected type is the same as the target type (commonly the case),
@@ -659,7 +652,7 @@ function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType
             }
             if (typeArgValue) {
                 const variance = types_1.TypeVarType.getVariance(entry.typeVar);
-                updateTypeVarType(evaluator, typeVarContext, entry.typeVar, variance === 3 /* Covariant */ ? undefined : typeArgValue, variance === 4 /* Contravariant */ ? undefined : typeArgValue);
+                updateTypeVarType(evaluator, typeVarContext, entry.typeVar, variance === 3 /* Variance.Covariant */ ? undefined : typeArgValue, variance === 4 /* Variance.Contravariant */ ? undefined : typeArgValue);
                 if (entry.tupleTypes) {
                     typeVarContext.setTupleTypeVar(entry.typeVar, entry.tupleTypes.map((tupleEntry) => {
                         let tupleType = tupleEntry.type;
@@ -682,7 +675,7 @@ function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType
             typeVar.details.isParamSpec = true;
         }
         // Use invariance here so we set the narrow and wide values on the TypeVar.
-        typeVar.details.declaredVariance = 2 /* Invariant */;
+        typeVar.details.declaredVariance = 2 /* Variance.Invariant */;
         typeVar.scopeId = expectedTypeScopeId;
         return typeVar;
     });
@@ -703,7 +696,7 @@ function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType
     const syntheticTypeVarContext = new typeVarContext_1.TypeVarContext(expectedTypeScopeId);
     if (evaluator.assignType(genericExpectedType, specializedType, 
     /* diag */ undefined, syntheticTypeVarContext, 
-    /* srcTypeVarContext */ undefined, 1024 /* PopulatingExpectedType */)) {
+    /* srcTypeVarContext */ undefined, 1024 /* AssignTypeFlags.PopulatingExpectedType */)) {
         let isResultValid = true;
         synthExpectedTypeArgs.forEach((typeVar, index) => {
             let synthTypeVar = syntheticTypeVarContext.getPrimarySignature().getTypeVarType(typeVar);
@@ -756,7 +749,7 @@ function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType
                             isResultValid = false;
                             typeArgValue = types_1.UnknownType.create();
                         }
-                        updateTypeVarType(evaluator, typeVarContext, targetTypeVar, variance === 3 /* Covariant */ ? undefined : typeArgValue, variance === 4 /* Contravariant */ ? undefined : typeArgValue);
+                        updateTypeVarType(evaluator, typeVarContext, targetTypeVar, variance === 3 /* Variance.Covariant */ ? undefined : typeArgValue, variance === 4 /* Variance.Contravariant */ ? undefined : typeArgValue);
                     }
                     else {
                         isResultValid = false;