Dec 30, 2024 · Dec 29, 2024 · Dec 29, 2024 · Dec 29, 2024 · Dec 30, 2024 · Dec 30, 2024
diff --git a/mypy/semanal.py b/mypy/semanal.py
        else:
            s.type = s.unanalyzed_type.args[0]

        if s.type is not None and self.is_classvar(s.type):
        if s.type is not None and self.options.python_version < (3, 13) and self.is_classvar(s.type):
            self.fail("Variable should not be annotated with both ClassVar and Final", s)
            return False

diff --git a/test-data/unit/check-final.test b/test-data/unit/check-final.test
    a: Final[ClassVar[int]]  # E: Variable should not be annotated with both ClassVar and Final
    b: ClassVar[Final[int]]  # E: Final can be only used as an outermost qualifier in a variable annotation
    c: ClassVar[Final] = 1  # E: Final can be only used as an outermost qualifier in a variable annotation
 [out]
 [out version<3.13]

 [case testFinalClassWithAbstractMethod]
 from typing import final
Original file line number	Diff line number	Diff line change
Expand Up		@@ -3657,7 +3657,7 @@ def unwrap_final(self, s: AssignmentStmt) -> bool:
		else:
		s.type = s.unanalyzed_type.args[0]

		if s.type is not None and self.is_classvar(s.type):
		if s.type is not None and self.options.python_version < (3, 13) and self.is_classvar(s.type):
		self.fail("Variable should not be annotated with both ClassVar and Final", s)
		return False

Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1134,7 +1134,7 @@ class A:
		a: Final[ClassVar[int]] # E: Variable should not be annotated with both ClassVar and Final
		b: ClassVar[Final[int]] # E: Final can be only used as an outermost qualifier in a variable annotation
		c: ClassVar[Final] = 1 # E: Final can be only used as an outermost qualifier in a variable annotation
		[out]
		[out version<3.13]

		[case testFinalClassWithAbstractMethod]
		from typing import final
Expand Down