`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

Inizia eseguendo la riproduzione autonoma in Python presente nell’issue e confronta le diagnosi per l’accesso tramite classmethod con l’assegnazione diretta alla classe. La correzione è completa quando gli attributi generici a cui si accede tramite una classmethod vengono rifiutati in modo coerente e il tipo rivelato non può diventare unsound; non sono indicati file sorgente né percorsi di test.