classmethods shouldn't be allowed to access generic attributes

[KotlinIsland]

from typing import Generic, TypeVar

T = TypeVar("T")


class A(Generic[T]):
    class_attr: T

    @classmethod
    def set_attr(cls, arg: T) -> None:
        cls.class_attr = arg  # no error?


B = A[str]
B.set_attr("1")
B.class_attr = "1"  # error: Access to generic instance variables via class is ambiguous

C = A[int]
C.set_attr(1)
C.class_attr = 1  # error: Access to generic instance variables via class is ambiguous

value = B().class_attr

reveal_type(value)  # revealed: str, actual value: int

[DetachHead]

related: #9456 (comment)

[Dreamsorcerer]

As per #9456 (comment), the error here is that mypy allows a TypeVar for a class attribute (which should be annotated with ClassVar, unlike in the example), and also allows assigning to an instance attribute in a classmethod.