Skip to content

[Sync-En] language: document the compile-time and runtime checks for never #1412

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
julionc merged 1 commit into from
Oct 9, 2026
Merged

[Sync-En] language: document the compile-time and runtime checks for never #1412

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions language/types/never.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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>
Expand All @@ -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
Expand Down
Loading