Incompatible types when calling generinc `__init__` from generic `@classmethod`

Bug Report

When calling a generic __init__ from a generic @classmethod on a class that is itself not generic, mypy reports incompatible types.

To Reproduce

from typing import TypeVar

T = TypeVar("T")


class Foo:
    @classmethod
    def make_foo(cls, arg: T) -> None:
        cls(arg)

    def __init__(self, arg: T) -> None:
        pass

Expected Behavior

mypy reports no errors.

Actual Behavior

error: Argument 1 to "Foo" has incompatible type "T@make_foo"; expected "T@__init__"

Your Environment

• Mypy version used: mypy 1.11.2 (compiled: yes)
• Mypy command-line flags: N/A
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: Python 3.11.7

Inizia con la riproduzione Python fornita ed eseguila con mypy per confermare la discrepanza tra T@make_foo e T@init. Traccia l’inferenza del tipo generico per la chiamata al metodo di classe a Foo(arg), quindi aggiungi un test di regressione che dimostri che mypy non segnala errori.