Consider this example: ```python class C: @property def foo(self) -> int: return 17 class D(C): pass d = D() d.foo = 18 # error: Property "foo" defined in "D" is read-only ``` The error should better say `defined in "C"`.