`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

Commencez par exécuter la reproduction Python autonome présente dans l’issue et comparez les diagnostics pour l’accès via classmethod avec l’affectation directe à une classe. La correction est terminée lorsque les attributs génériques auxquels on accède via une classmethod sont systématiquement rejetés et que le type révélé ne peut pas devenir unsound ; aucun fichier source ni chemin de test n’est indiqué.