
Yes, we noticed this problem. It's the first question we called out in our Edge Cases doc: https://docs.google.com/document/d/1dhlcKKuYtGN9Eftr1hu9U6EKzsS0NPuQm01b7brj... Guido and I weren't convinced that attribute overrides cause enough bugs for this to be a problem, but we could add an Override special form. We did note that `override / Override` would be a similar pattern to `final / Final`. I'd be okay with adding that. One problem we noticed is that it seems to be underspecified how attributes and methods interact - e.g., is it legal to override an attribute with a method when the types are compatible? The answers vary by type checker. I think this PEP should avoid taking a stance on that, and simply say that overrides must override *something*, and compatibility rules are a separate question that should either remain divergent per type checker or be spelled out in separate proposals. - Steven