Never Type

never is a special return type that signals a method that never returns : it only dies or throws an exception.

<?php

function headers() : never {
    headers('Location: https://www.exakat.io/');
    die();
}

?>

Documentation

See also The “never” Return Type for PHP

Related : Type System, Type System

Added in PHP 8.1+