classproperty decorator overriding attributes does not seem to be working properly

[PedroPerpetua]

Bug report

What's wrong

The classproperty decorator, when used to override a superclass property, fails with an error of Signature of <property> incompatible with supertype <Superclass>; I thought this was related to this issue in mypy, but mypy 1.0.0 has been released with this issue fixed and yet this specific case does not work properly.

from typing import reveal_type
from django.utils.functional import classproperty

class Superclass:
    prop = 3

class Subclass(Superclass):
    @classproperty
    def prop(self) -> int:
        return 6

reveal_type(Subclass.prop)  # Runtime type is 'int', as expected
# Mypy fails with "error: Signature of 'prop' incompatible with supertype 'Superclass'"

How is that should be

Mypy should correctly identify that prop works as a property and returns an int, being compatible with the superclass.

System information

• OS: Windows
• python version: 3.11.1
• django version: 4.1.17
• mypy version: 1.0.0
• django-stubs version: 1.14.0
• django-stubs-ext version: 0.7.0