From a2d31be1523f00cfe468987f890c1371529bf6e1 Mon Sep 17 00:00:00 2001 From: Philip Ginsbach Date: Thu, 2 Oct 2025 09:02:20 +0100 Subject: [PATCH] improve the wording based on PR review feedback --- docs/codeql/ql-language-reference/annotations.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/codeql/ql-language-reference/annotations.rst b/docs/codeql/ql-language-reference/annotations.rst index a9d5642e73d..b792e807c93 100644 --- a/docs/codeql/ql-language-reference/annotations.rst +++ b/docs/codeql/ql-language-reference/annotations.rst @@ -105,8 +105,8 @@ own body, or they must inherit from another class that overrides ``isSource``: **Available for**: |classes|, |algebraic datatypes|, |type unions|, |non-member predicates|, |modules|, |aliases|, |signatures| -The ``additional`` annotation can be used on declarations directly inside of modules that implement |module signatures|. -All declarations in such modules that are not required by a module signature must be annotated with ``additional``. +The ``additional`` annotation can be used on declarations in explicit modules. +All declarations that are not required by a module signature in modules that implement |module signatures| must be annotated with ``additional``. Omitting ``additional`` on such declarations, or using the annotation in any other context, will result in a compiler error. Other than that, the annotation has no effect.