From d7f87ac8da2fac22356e5aa11b53d1370ee49022 Mon Sep 17 00:00:00 2001
From: Fabian Kunze
Date: Mon, 2 Nov 2020 11:02:28 +0100
Subject: Doc: added "Arguments" removing implicit arguments

---
 doc/sphinx/language/extensions/arguments-command.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/sphinx/language/extensions/arguments-command.rst b/doc/sphinx/language/extensions/arguments-command.rst
index 29877e1b32..d61f5c624e 100644
--- a/doc/sphinx/language/extensions/arguments-command.rst
+++ b/doc/sphinx/language/extensions/arguments-command.rst
@@ -86,6 +86,7 @@ Setting properties of a function's arguments
          the parameter name used in the function definition).  Unless `rename` is specified,
          the list of :n:`@name`\s must be a prefix of the formal parameters, including all implicit
          arguments.  `_` can be used to skip over a formal parameter.
+         This declares the name as non-implicit if either `clear implicits` is declared or at least one other name is declared implicit in the same list of :n:`@name`\s.
          :token:`scope` can be either a scope name or its delimiting key.  See :ref:`binding_to_scope`.
 
       `clear implicits`
-- 
cgit v1.2.3