mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-24 21:01:52 +08:00
Since these properties do not have a setter, be explicit with the `@property` decorator. This will allow type checkers to see that assignment of these attributes is an error. See https://github.com/python/typeshed/pull/3027#discussion_r289623016 for some related context.