non-contiguous @property definitions don't work

[ddfisher]

Mypy's parser combines all contiguous decorated function definitions with the same name into an OverloadedFuncDef. Mypy relies on this behavior later e.g. when understanding @Property checks.

So if you write:

class C:
  @property
  def x(self) -> str: pass

  z = 0  # or any other irrelevant definition

  @x.setter
  def x(self, str) -> None: pass

mypy complains:

test.py: note: In class "C":
test.py:7: error: Callable[[C], str] has no attribute "setter"

[ddfisher]

Came across this while investigating #1708.

[ddfisher]

I'm pretty sure this will also be a problem if e.g. the setter method has a different name.

[carljm]

This is a duplicate of #1465.

[ilevkivskyi]

Indeed, this looks like a duplicate.