Change the spec for class access of Self variables

Author: davidhalter

conformance/tests/generics_self_advanced.py

@@ -40,6 +40,8 @@ def method2(self) -> None:
     @classmethod
     def method3(cls) -> None:
         assert_type(cls, type[Self])
-        assert_type(cls.a, list[Self])
-        assert_type(cls.a[0], Self)
+        cls.a # E: Access to generic instance variables via class is ambiguous
         assert_type(cls.method1(), Self)
+
+ClassB.a # E: Ambigous access
+ClassB.a = ClassB.method1() # E: Ambigous write

docs/spec/generics.rst

@@ -2393,6 +2393,22 @@ containing a ``Self`` type as a ``property`` that returns that type:
         def ordinal_value(self) -> str:
             return str(self.value)
 
+
+Accessing a variable through the class object that has a type annotation where
+the annotation contains an occurrence of Self is not allowed, because Self can
+be different depending on the class in the inheritance hierarchy:
+
+::
+
+    class C:
+        others: list[Self]
+
+    class D(C): ...
+
+    C.others = [C()]
+    print(D.others)  # This is not list[Self], but list[C]
+
+
 Use in Generic Classes
 ^^^^^^^^^^^^^^^^^^^^^^