diff --git a/language/types/never.xml b/language/types/never.xml
index 6a70ddb1e..82fc33c2b 100644
--- a/language/types/never.xml
+++ b/language/types/never.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!-- EN-Revision: 7132d8833a86604aa2d10c16c0470d0ef1a0fdfb Maintainer: PhilDaiguille Status: ready -->
+<!-- EN-Revision: 18a1cc50345c2d75983290a3863e451da2c2ecb9 Maintainer: PhilDaiguille Status: ready -->
 <!-- Reviewed: no Maintainer: Marqitos -->
 <sect1 xml:id="language.types.never">
  <title>Never</title>
@@ -9,9 +9,16 @@
   no se termina. Esto significa que llama a <function>exit</function>,
   lanza una excepción, o es un bucle infinito.
   Por lo tanto, no puede formar parte de una declaración de
-  <link linkend="language.types.type-system.composite.union">type union</link>
+  <link linkend="language.types.type-system.composite.union">tipo unión</link>.
   Disponible a partir de PHP 8.1.0.
  </para>
+ <simpara>
+  Una instrucción <literal>return</literal> en una función <type>never</type>
+  es un error en tiempo de compilación, incluso si el <literal>return</literal>
+  no llegara a alcanzarse durante la ejecución. Si el flujo de control llega al
+  final de una función <type>never</type> sin salir, lanzar una excepción ni
+  entrar en un bucle infinito, se lanza un <exceptionname>TypeError</exceptionname>.
+ </simpara>
  <simpara>
   <type>never</type> es, en el lenguaje de la teoría de tipos, el tipo vacío.
   Esto significa que es el subtipo de todos los otros tipos y que puede reemplazar cualquier otro