Can't declare a property setter on a child class without declaring getter there as well

[elvslv]

If I declare a property getter on a base class, I can't declare a setter on a child class without having to add a getter there as well.

For example,

class A(object):
    __metaclass__ = ABCMeta

    @property
    def prop(self):
        # type: () -> int
        return 1

class B(A):
    @A.prop.setter
    def prop(self, val):
        # type: (int) -> None
        pass

is a valid python code, but mypy fails with "Callable[[A], int]" has no attribute "setter"

[JukkaL]

Yes, it would be nice if mypy supported this idiom.

[AlexWaygood]

Closing in favour of #5936, which was filed after this issue, but has had more activity on it since.