Explicitly mark a function that it never returns:

<?php
function redirect(string $uri): *never* {
    header('Location: ' . $uri);
    exit();
}




Remarks: