Feedback, add conformance test

Author: Viicos

conformance/tests/classes_classvar.py

@@ -58,7 +58,8 @@ class ClassA(Generic[T, P]):
     good2: ClassVar[list[str]] = []
     good3: ClassVar[Any] = 1
     good4: ClassVar = 3.1
-    good5: Annotated[ClassVar[list[int]], ""] = []
+    good5: ClassVar
+    good6: Annotated[ClassVar[list[int]], ""] = []
 
     def method1(self, a: ClassVar[int]):  # E: ClassVar not allowed here
         x: ClassVar[str] = ""  # E: ClassVar not allowed here
@@ -76,6 +77,7 @@ def method2(self) -> ClassVar[int]:  # E: ClassVar not allowed here
 assert_type(ClassA.good2, list[str])
 assert_type(ClassA.good3, Any)
 assert_type(ClassA.good4, float)
+assert_type(ClassA.good5, Any)
 
 
 class BasicStarship:

docs/spec/class-compat.rst

@@ -14,9 +14,6 @@ The :py:data:`typing.ClassVar` :term:`type qualifier` is used to annotate
 class variables that should not be set on class instances. This restriction
 is enforced by static checkers, but not at runtime.
 
-Syntax
-^^^^^^
-
 :py:data:`~typing.ClassVar` may be used in one of several forms:
 
 * With an explicit type, using the syntax ``ClassVar[<type>]``. Example::
@@ -31,14 +28,11 @@ Syntax
         z: ClassVar
 
   If an assigned value is available (e.g. with ``y``), the type should be
-  inferred as some type to which this value is :term:`assignable` (in this
-  case, either ``int``, ``Literal[2]``, or ``Any``).
+  inferred as some type to which this value is :term:`assignable` (for example,
+  ``int``, ``Literal[2]``, or ``Any``).
 
   If the ``ClassVar`` qualifier is used without any assigned value, the type
-  should be inferred to an unknown static type (such as :ref:`Any`).
-
-Semantics and examples
-^^^^^^^^^^^^^^^^^^^^^^
+  should be inferred as :ref:`any`.
 
 Type annotations can be used to annotate class and instance variables
 in class bodies and methods. In particular, the value-less notation ``a: int``