object_property
doesn't get the special redefinition treatment from mypy
#565
Labels
enhancement
New feature or request
Milestone
Is your feature request related to a problem? Please describe.
I get errors like
Name "colorValue" already defined on line 160 [no-redef]
when using the recommended style like so:Describe the solution you'd like
Ideally
object_property
could pretend to return aproperty
at type time, to inherit the special-cased behavior from mypy? There's an entrypoint to a whole constellation of different attempts at describing this problem here.Describe alternatives you've considered
I could
type:ignore
these away, which is tedious, or I could name each of the getters/setters some private name, but that's ugly. Mostly I just want to do what the documentation tells me to so that this is future-proof and supported, so while I'd prefer it if Mypy fixed it so that pyobjc could hook in to a documented exception tono-redef
in the type system, I'd also be fine with a documentation tweak.The text was updated successfully, but these errors were encountered: