scratch/lisp-func-type-decls 17cdb512c0d: * etc/NEWS (Function type declaration): Better warn about UB.

[Andrea Corallo]

branch: scratch/lisp-func-type-decls
commit 17cdb512c0d522ae402c13bede35d75d520d0b1c
Author: Andrea Corallo <acorallo@gnu.org>
Commit: Andrea Corallo <acorallo@gnu.org>

    * etc/NEWS (Function type declaration): Better warn about UB.
---
 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 1816ea93e3d..3aa4fc9a457 100644
--- a/doc/lispref/functions.texi
+++ b/doc/lispref/functions.texi
@@ -2750,9 +2750,10 @@ argument of type @var{string} and return one of the 
symbols
 
 More types are described in @pxref{Lisp Data Types}.
 
-Declaring a function with an incorrect type produces undefined behavior.
-Note also that when redefining (or advising) a type declared function
-the replacement should respect the original signature to avoid undefined
+Declaring a function with an incorrect type produces undefined behavior
+and could lead to unexpected results or might even crash Emacs.  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