Fixed bug that resulted in a false positive error if a PEP-695 type…

… statement uses a type parameter and encloses the RHS in quotes. This addresses #7538.
DetachHead · Mar 21, 2024 · 3da27fd · 3da27fd
1 parent a6e787f
commit 3da27fd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/packages/pyright-internal/src/parser/parser.ts b/packages/pyright-internal/src/parser/parser.ts
@@ -490,7 +490,10 @@ export class Parser {
             this._getNextToken();
         }
 
+        const wasParsingTypeAnnotation = this._isParsingTypeAnnotation;
+        this._isParsingTypeAnnotation = true;
         const expression = this._parseTestExpression(/* allowAssignmentExpression */ false);
+        this._isParsingTypeAnnotation = wasParsingTypeAnnotation;
 
         return TypeAliasNode.create(typeToken, name, expression, typeParameters);
     }

diff --git a/packages/pyright-internal/src/tests/samples/typeAliasStatement1.py b/packages/pyright-internal/src/tests/samples/typeAliasStatement1.py
@@ -82,3 +82,7 @@ def func3(cb: TA11):
 def func4():
     # This should generate an error.
     type TA12 = int
+
+
+type TA12[T] = "list[T]"
+ta12: TA12[int] = [1, 2, 3]