<?xml version="1.0" encoding="utf-8"?>

<!-- EN-Revision: 161dde4fe721309398dd324edbf02aec409f127b Maintainer: lacatoire Status: ready -->

<sect1 xml:id="language.types.never">

<title>Never</title>

<para>

<type>never</type> è un tipo utilizzabile solo come tipo di ritorno, che indica

che la funzione non termina. Ciò significa che chiama <function>exit</function>,

lancia un'eccezione, oppure è un ciclo infinito.

Pertanto, non può far parte di una dichiarazione di

<link linkend="language.types.type-system.composite.union">tipo union</link>.

Disponibile a partire da PHP 8.1.0.

</para>

<para>

<type>never</type> è, nel gergo della teoria dei tipi, il tipo bottom.

Ciò significa che è il sottotipo di ogni altro tipo e può sostituire qualsiasi altro

tipo di ritorno durante l'ereditarietà.

</para>

</sect1>

<!-- Keep this comment at the end of the file

Local variables:

mode: sgml

sgml-omittag:t

sgml-shorttag:t

sgml-minimize-attributes:nil

sgml-always-quote-attributes:t

sgml-indent-step:1

sgml-indent-data:t

indent-tabs-mode:nil

sgml-parent-document:nil

sgml-default-dtd-file:"~/.phpdoc/manual.ced"

sgml-exposed-tags:nil

sgml-local-catalogs:nil

sgml-local-ecat-files:nil

End:

vim600: syn=xml fen fdm=syntax fdl=2 si

vim: et tw=78 syn=sgml

vi: ts=1 sw=1

-->