Modified logic to take into account Final variables.

microsoft · Apr 27, 2024 · 1622abb · 1622abb
1 parent 1368974
commit 1622abb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/packages/pyright-internal/src/analyzer/typeEvaluator.ts b/packages/pyright-internal/src/analyzer/typeEvaluator.ts
@@ -4648,12 +4648,13 @@ export function createTypeEvaluator(
             return undefined;
         }
 
-        // If the symbol is a variable in the global scope, it is not eligible
-        // because it could be modified by other modules.
+        // If the symbol is a non-final variable in the global scope, it is not
+        // eligible because it could be modified by other modules.
         if (
             !decls.every(
                 (decl) =>
                     decl.type !== DeclarationType.Variable ||
+                    decl.isFinal ||
                     ScopeUtils.getScopeForNode(decl.node)?.type !== ScopeType.Module
             )
         ) {