Changed the fallback type from Unbound to Unknown for the case where …

…pyright determines that a symbol requires code flow analysis but the execution scope exceeds the cyclomatic complexity threshold. This partly addresses #9709.
microsoft · Jan 15, 2025 · 10045a2 · 10045a2
1 parent 2b126fa
commit 10045a2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/packages/pyright-internal/src/analyzer/typeEvaluator.ts b/packages/pyright-internal/src/analyzer/typeEvaluator.ts
@@ -20712,7 +20712,12 @@ export function createTypeEvaluator(
         }
 
         if (checkCodeFlowTooComplex(reference)) {
-            return FlowNodeTypeResult.create(/* type */ undefined, /* isIncomplete */ true);
+            return FlowNodeTypeResult.create(
+                /* type */ options?.typeAtStart && isUnbound(options.typeAtStart.type)
+                    ? UnknownType.create()
+                    : undefined,
+                /* isIncomplete */ true
+            );
         }
 
         // Is there an code flow analyzer cached for this execution scope?

diff --git a/packages/pyright-internal/src/common/fullAccessHost.ts b/packages/pyright-internal/src/common/fullAccessHost.ts
@@ -235,7 +235,7 @@ export class FullAccessHost extends LimitedAccessHost {
     }
 
     /**
-     * Excecutes a chunk of Python code via the provided interpreter and returns the output.
+     * Executes a chunk of Python code via the provided interpreter and returns the output.
      * @param interpreterPath Path to interpreter.
      * @param commandLineArgs Command line args for interpreter other than the code to execute.
      * @param code Code to execute.