@zzzen/pyright-internal 1.2.0-dev.20220925 → 1.2.0-dev.20221009

package/dist/analyzer/analyzerFileInfo.d.ts

@@ -18,7 +18,7 @@ export interface ImportLookupResult {
 }
 export interface AnalyzerFileInfo {
     importLookup: ImportLookup;
-    futureImports: Map<string, boolean>;
+    futureImports: Set<string>;
     builtinsScope?: Scope | undefined;
     diagnosticSink: TextRangeDiagnosticSink;
     executionEnvironment: ExecutionEnvironment;

package/dist/analyzer/analyzerFileInfo.js

@@ -11,7 +11,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.isAnnotationEvaluationPostponed = void 0;
 function isAnnotationEvaluationPostponed(fileInfo) {
-    return fileInfo.futureImports.get('annotations') !== undefined || fileInfo.isStubFile;
+    return fileInfo.futureImports.has('annotations') || fileInfo.isStubFile;
 }
 exports.isAnnotationEvaluationPostponed = isAnnotationEvaluationPostponed;
 //# sourceMappingURL=analyzerFileInfo.js.map

package/dist/analyzer/analyzerFileInfo.js.map

@@ -1 +1 @@
-{"version":3,"file":"analyzerFileInfo.js","sourceRoot":"","sources":["../../../src/analyzer/analyzerFileInfo.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA8CH,SAAgB,+BAA+B,CAAC,QAA0B;IACtE,OAAO,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC;AAC1F,CAAC;AAFD,0EAEC"}
+{"version":3,"file":"analyzerFileInfo.js","sourceRoot":"","sources":["../../../src/analyzer/analyzerFileInfo.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AA8CH,SAAgB,+BAA+B,CAAC,QAA0B;IACtE,OAAO,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC;AAC5E,CAAC;AAFD,0EAEC"}

package/dist/analyzer/binder.js

@@ -2162,7 +2162,10 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
             return Binder._unreachableFlowNode;
         }
         const expressionList = [];
-        if (!this._isNarrowingExpression(expression, expressionList)) {
+        if (!this._isNarrowingExpression(expression, expressionList, 
+        /* filterForNeverNarrowing */ (flags &
+            (codeFlowTypes_1.FlowFlags.TrueNeverCondition | codeFlowTypes_1.FlowFlags.FalseNeverCondition)) !==
+            0)) {
             return antecedent;
         }
         expressionList.forEach((expr) => {
@@ -2221,6 +2224,16 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
                 }
                 if ((0, codeFlowTypes_1.isCodeFlowSupportedForReference)(expression)) {
                     expressionList.push(expression);
+                    if (!filterForNeverNarrowing) {
+                        // If the expression is a member access expression, add its
+                        // leftExpression to the expression list because that expression
+                        // can be narrowed based on the attribute type.
+                        if (expression.nodeType === 35 /* MemberAccess */) {
+                            if ((0, codeFlowTypes_1.isCodeFlowSupportedForReference)(expression.leftExpression)) {
+                                expressionList.push(expression.leftExpression);
+                            }
+                        }
+                    }
                     return true;
                 }
                 return false;
@@ -2991,6 +3004,10 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
         let isClassVar = false;
         let classVarTypeNode;
         while (typeAnnotation) {
+            // Is this a quoted annotation?
+            if (typeAnnotation.nodeType === 48 /* StringList */ && typeAnnotation.typeAnnotation) {
+                typeAnnotation = typeAnnotation.typeAnnotation;
+            }
             if (typeAnnotation.nodeType === 24 /* Index */ &&
                 typeAnnotation.items.length > 0 &&
                 this._isTypingAnnotation(typeAnnotation.baseExpression, 'Annotated')) {
@@ -3155,29 +3172,29 @@ class Binder extends parseTreeWalker_1.ParseTreeWalker {
             return false;
         }
         const assignedNameNode = annotationNode.valueExpression;
-        const specialTypes = new Map([
-            ['Tuple', true],
-            ['Generic', true],
-            ['Protocol', true],
-            ['Callable', true],
-            ['Type', true],
-            ['ClassVar', true],
-            ['Final', true],
-            ['Literal', true],
-            ['TypedDict', true],
-            ['Union', true],
-            ['Optional', true],
-            ['Annotated', true],
-            ['TypeAlias', true],
-            ['OrderedDict', true],
-            ['Concatenate', true],
-            ['TypeGuard', true],
-            ['StrictTypeGuard', true],
-            ['Unpack', true],
-            ['Self', true],
-            ['NoReturn', true],
-            ['Never', true],
-            ['LiteralString', true],
+        const specialTypes = new Set([
+            'Tuple',
+            'Generic',
+            'Protocol',
+            'Callable',
+            'Type',
+            'ClassVar',
+            'Final',
+            'Literal',
+            'TypedDict',
+            'Union',
+            'Optional',
+            'Annotated',
+            'TypeAlias',
+            'OrderedDict',
+            'Concatenate',
+            'TypeGuard',
+            'StrictTypeGuard',
+            'Unpack',
+            'Self',
+            'NoReturn',
+            'Never',
+            'LiteralString',
         ]);
         const assignedName = assignedNameNode.value;
         if (!specialTypes.has(assignedName)) {