Clarify overlay annotation inheritance for nested declarations

Co-authored-by: ginsbach <12936686+ginsbach@users.noreply.github.com>
Initial plan
2026-05-16 04:09:27 +02:00 · 2026-01-19 12:42:47 +00:00 · 2026-01-19 12:40:07 +00:00
1 changed files with 4 additions and 3 deletions
--- a/docs/codeql/ql-language-reference/annotations.rst
+++ b/docs/codeql/ql-language-reference/annotations.rst
@@ -637,9 +637,10 @@ Entity discard predicates must be:
 Annotation inheritance
 ----------------------

-Overlay annotations can be applied to modules and types, in which case they are
-inherited by enclosed declarations. Declarations without explicit overlay annotations
-inherit from their innermost enclosing declaration that has an overlay annotation.
+Overlay annotations can be applied to modules and types. When applied to these
+declarations, the annotation is inherited by all nested declarations within them.
+Declarations without explicit overlay annotations inherit from their innermost
+enclosing declaration that has an overlay annotation.

 .. code-block:: ql
Author	SHA1	Message	Date
copilot-swe-agent[bot]	be3e39f8ec	Clarify overlay annotation inheritance for nested declarations Co-authored-by: ginsbach <12936686+ginsbach@users.noreply.github.com>	2026-01-19 12:42:47 +00:00
copilot-swe-agent[bot]	934f67ba98	Initial plan	2026-01-19 12:40:07 +00:00