`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

まず、issue にあるスタンドアロンの Python 再現コードを実行し、classmethod 経由のアクセスとクラスへの直接代入に対する診断を比較します。classmethod 経由でアクセスされるジェネリック属性が一貫して拒否され、明らかになった型が unsound になり得ないことが修正完了の条件です。ソースファイルやテストパスは指定されていません。