⏩ Forward reference in type bound works.

This particular pattern can be useful in node type declaration.

python/src/self.py

@@ -0,0 +1,18 @@
+# Copyright (c) 2024 RenChu Wang - All Rights Reserved
+
+import abc
+from collections.abc import Sequence
+from typing import Protocol, TypeVar
+
+T = TypeVar("T", bound="HasChildren", covariant=True)
+
+
+class HasChildren(Protocol[T]):
+    @abc.abstractmethod
+    def children(self) -> Sequence[T]: ...
+
+
+class HasSelfAsChildren(HasChildren["HasSelfAsChildren"]):
+    # It does autocomplete. Seems fine.
+    def children(self) -> Sequence["HasSelfAsChildren"]:
+        return []