Enable recursive type definitions

Author: yilinjuang

src/graphql/language/visitor.py

@@ -162,7 +162,7 @@ class Stack(NamedTuple):
     idx: int
     keys: tuple[Node, ...]
     edits: list[tuple[int | str, Node]]
-    prev: Any  # 'Stack' (python/mypy/issues/731)
+    prev: Stack
 
 
 def visit(

src/graphql/pyutils/path.py

@@ -2,15 +2,15 @@
 
 from __future__ import annotations
 
-from typing import Any, NamedTuple
+from typing import Any, NamedTuple, Optional
 
 __all__ = ["Path"]
 
 
 class Path(NamedTuple):
     """A generic path of string or integer indices"""
 
-    prev: Any  # Optional['Path'] (python/mypy/issues/731)
+    prev: Optional[Path]
     """path with the previous indices"""
     key: str | int
     """current index in the path (string or integer)"""

src/graphql/validation/rules/overlapping_fields_can_be_merged.py

@@ -98,10 +98,7 @@ def enter_selection_set(self, selection_set: SelectionSetNode, *_args: Any) -> N
 # Field name and reason.
 ConflictReason: TypeAlias = Tuple[str, "ConflictReasonMessage"]
 # Reason is a string, or a nested list of conflicts.
-if MYPY:  # recursive types not fully supported yet (/python/mypy/issues/731)
-    ConflictReasonMessage: TypeAlias = Union[str, List]
-else:
-    ConflictReasonMessage: TypeAlias = Union[str, List[ConflictReason]]
+ConflictReasonMessage: TypeAlias = Union[str, List[ConflictReason]]
 # Tuple defining a field node in a context.
 NodeAndDef: TypeAlias = Tuple[GraphQLCompositeType, FieldNode, Optional[GraphQLField]]
 # Dictionary of lists of those.