Mypy is expecting `type[Never]` in context when it shouldn't

Bug Report

I have written (well, copied, from here) a class classproperty to handle implementing class properties. It works perfectly fine, however when I try and type it as follows (which I think is valid), mypy raises the below error

class classproperty[T, C]:
    def __init__(self, func: Callable[[type[C]], T]):
        self.func = func

    def __get__(self, _obj: C, owner: type[C]) -> T:
        return self.func(owner)

class Test:
    @classproperty
    def my_property(cls):
        return 1

error: Argument 1 to "classproperty" has incompatible type "Callable[[Test], Any]"; expected "Callable[[type[Never]], Any]"  [arg-type]

I don't think this is correct, based on my understanding of descriptors and __get__. I asked a question on stackoverflow about this and it was suggested that this is caused by incorrect assumptions about how __get__ is called

To Reproduce

Gist link here

Expected Behavior

Mypy should pass

Actual Behavior

error: Argument 1 to "classproperty" has incompatible type "Callable[[Test], Any]"; expected "Callable[[type[Never]], Any]"  [arg-type]

Your Environment

• Python 3.13.1
• mypy==1.15.0

No further config

Inizia dal gist mypy-play collegato e riduci l’esempio di classproperty a un reproducer mirato con Python 3.13.1 e mypy 1.15. Analizza la gestione dei descrittori e dell’inferenza generica coinvolta nell’aspettativa segnalata di type[Never]. Il lavoro è completo quando mypy accetta l’esempio e un test di regressione copre il comportamento previsto.