pyrefly
pyrefly copied to clipboard
Attributes from parent classes are not assignable from child classes
Describe the Bug
See sandbox link, attributes from the parent class can be read but not written
Sandbox Link
https://pyrefly.org/sandbox/?code=MYGwhgzhAEBCkFMBcAoa7oBMEDNoH18BLAOyIBdCAKCBEHAGmhwHsWlpTyBKaAWgB80AHIsSyNBim16AOlYtoAXmZsUKUJBgBhABZEQmKvFrdUU7HhYA3BACc7RbPgU06jVe04ke-IaPFzKQwZHHk2ZU91C1xoAHMESldQ3kFvciDg6DtEgFc7EmhQ8JYgA
(Only applicable for extension issues) IDE Information
No response
I think this is a false positive for the implicitly-defined-attribute error, thanks for flagging.