Property getters and setters can't have different types

[dalemyers]

Bug Report

If you use the @property decorator and give your getter and setter different types, then mypy complains about it.
To Reproduce

https://mypy-play.net/?mypy=latest&python=3.12&gist=3e608374fa0ce9363a3c22d015642d4b

class Foo:
    
    _myprop: int
    
    def __init__(self, myprop: str | int) -> None:
        self.myprop = myprop
        
    @property
    def myprop(self) -> int:
        return self._myprop
        
    @myprop.setter
    def myprop(self, value: str | int) -> None:
        assert isinstance(value, str) or isinstance(value, int)
        self._myprop = int(myprop)

Expected Behavior

Setters should be able to accept a broader range of types than the getter as coercion or other conversions may take place.

Actual Behavior

It is not allowed:

main.py:6: error: Incompatible types in assignment (expression has type "str | int", variable has type "int")  [assignment]
main.py:15: error: Name "myprop" is not defined  [name-defined]
Found 2 errors in 1 file (checked 1 source file)

Your Environment

Mypy playground using version 1.11.2 and Python version 3.12. No options were set.

[TeamSpen210]

See #3004, this is quite an old issue. One workaround you can do is to create a custom descriptor class, that will allow different types for get and set.

[dalemyers]

Ah, thanks. There were so many issues when I searched I couldn't find the right one. This can be closed as a dupe.