From f2600c509d9dcd6dd3d763ca8c2e409bab7cfbcb Mon Sep 17 00:00:00 2001
From: Andrea Corallo
Date: Tue, 7 May 2024 12:04:32 +0200
Subject: * doc/lispref/functions.texi (Declare Form): Mention 'safety' in
 'type'.

---
 doc/lispref/functions.texi | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/lispref/functions.texi b/doc/lispref/functions.texi
index cdf67c92fb9..54285ce677c 100644
--- a/doc/lispref/functions.texi
+++ b/doc/lispref/functions.texi
@@ -2770,9 +2770,10 @@ For description of additional types, see @ref{Lisp Data Types}).
 
 Declaring a function with an incorrect type produces undefined behavior
 and could lead to unexpected results or might even crash Emacs when code
-is native-compiled and loaded.  Note also that when redefining (or
-advising) a type declared function the replacement should respect the
-original signature to avoid undefined behavior.
+is native-compiled and loaded if compiled with @ref{safety} 0.  Note
+also that when redefining (or advising) a type declared function the
+replacement should respect the original signature to avoid undefined
+behavior.
 
 @item no-font-lock-keyword
 This is valid for macros only.  Macros with this declaration are
-- 
cgit v1.2.1