skip bare ClassVar

Author: grayjk

mypy/checker.py

@@ -3271,8 +3271,12 @@ def check_redundant_annotation(self, s: AssignmentStmt) -> None:
             and not is_same_type(s.type, AnyType(TypeOfAny.special_form))
             and is_same_type(s.type, self.expr_checker.accept(s.rvalue))
         ):
-            # skip ClassVar
-            if any(isinstance(lvalue, NameExpr) and is_class_var(lvalue) for lvalue in s.lvalues):
+            # skip bare ClassVar
+            if (
+                any(isinstance(lvalue, NameExpr) and is_class_var(lvalue) for lvalue in s.lvalues)
+                and isinstance(s.unanalyzed_type, UnboundType)
+                and not s.unanalyzed_type.args
+            ):
                 return
 
             # skip dataclass and NamedTuple

test-data/unit/check-warnings.test

@@ -78,14 +78,20 @@ b: int = a
 [out]
 main:3: error: Annotation "int" is redundant (inferred type is the same)
 
-[case testRedundantAnnotationSkips]
+[case testRedundantAnnotationClassVar]
 # flags: --warn-redundant-annotation
-from dataclasses import dataclass
-from typing import ClassVar, NamedTuple
+from typing import ClassVar
 
 class a:
     b: ClassVar[int] = 1
-    c: ClassVar = 1
+    c: ClassVar = "test"
+[out]
+main:5: error: Annotation "int" is redundant (inferred type is the same)
+
+[case testRedundantAnnotationSkips]
+# flags: --warn-redundant-annotation
+from dataclasses import dataclass
+from typing import NamedTuple
 
 class d(NamedTuple):
     e: int = 1