From 934f67ba98ccec20574f3503621759d2cc8cae20 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 19 Jan 2026 12:40:07 +0000
Subject: [PATCH 1/2] Initial plan


From be3e39f8ec791221088f5b85387e122e9bdb060f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 19 Jan 2026 12:42:47 +0000
Subject: [PATCH 2/2] Clarify overlay annotation inheritance for nested
 declarations

Co-authored-by: ginsbach <12936686+ginsbach@users.noreply.github.com>
---
 docs/codeql/ql-language-reference/annotations.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/codeql/ql-language-reference/annotations.rst b/docs/codeql/ql-language-reference/annotations.rst
index 1ce9fa453b76..8c702bf5c7b7 100644
--- 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