From bf1445818ea561a14a8b3ace8531931119f6d8f2 Mon Sep 17 00:00:00 2001 From: Ali Hamdan Date: Sat, 2 Aug 2025 15:13:04 +0200 Subject: [PATCH 1/2] Add stubtest test for property aliases --- mypy/test/teststubtest.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mypy/test/teststubtest.py b/mypy/test/teststubtest.py index 7925f2a6bd3e..7a55700d6963 100644 --- a/mypy/test/teststubtest.py +++ b/mypy/test/teststubtest.py @@ -850,11 +850,13 @@ def test_property(self) -> Iterator[Case]: class Good: @property def read_only_attr(self) -> int: ... + read_only_attr_alias = read_only_attr """, runtime=""" class Good: @property def read_only_attr(self): return 1 + read_only_attr_alias = read_only_attr """, error=None, ) From c05ed75b854d83e591c5f8a14bf348e8085d36cc Mon Sep 17 00:00:00 2001 From: Ali Hamdan Date: Sat, 2 Aug 2025 17:54:41 +0200 Subject: [PATCH 2/2] Add settable property test --- mypy/test/teststubtest.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mypy/test/teststubtest.py b/mypy/test/teststubtest.py index 7a55700d6963..3b19063f08c8 100644 --- a/mypy/test/teststubtest.py +++ b/mypy/test/teststubtest.py @@ -918,6 +918,7 @@ class Z: def read_write_attr(self) -> int: ... @read_write_attr.setter def read_write_attr(self, val: int) -> None: ... + read_write_attr_alias = read_write_attr """, runtime=""" class Z: @@ -925,6 +926,7 @@ class Z: def read_write_attr(self): return self._val @read_write_attr.setter def read_write_attr(self, val): self._val = val + read_write_attr_alias = read_write_attr """, error=None, )