Clarify overlay annotation inheritance applies to nested declarations

[Copilot]

Addresses feedback on #21184 regarding the "Annotation inheritance" section in the overlay annotations documentation. The original text didn't sufficiently emphasize that overlay annotations on modules and types inherit to nested declarations.

Changes

• Rewrote the opening paragraph of the "Annotation inheritance" section to explicitly state that annotations are "inherited by all nested declarations within them"
• Split the explanation into clearer sentences to emphasize the inheritance mechanism as the key feature
• Maintains the distinction that only modules and types (not predicates) can have nested declarations

Context

The specification table shows overlay annotations apply to modules, classes, algebraic datatypes, type unions, characteristic predicates, and predicates. However, only modules and types can contain nested declarations—predicates cannot. The revised text clarifies this inheritance behavior without incorrectly implying predicates have nested declarations.

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.