`classmethod`s shouldn't be allowed to access generic attributes

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

Beginne damit, die eigenständige Python-Reproduktion im Issue auszuführen, und vergleiche die Diagnosen für den Zugriff über classmethod mit der direkten Zuweisung an eine Klasse. Die Korrektur ist abgeschlossen, wenn generische Attribute, auf die über eine classmethod zugegriffen wird, konsistent abgelehnt werden und der offengelegte Typ nicht unsound werden kann; es ist keine Quelldatei oder kein Testpfad angegeben.