“Nouveau type de retour PHP 8.1” Réponses codées

Nouveau type de retour PHP 8.1

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

function redirectToLoginPage(): never {
    redirect('/login');
    echo 'Hello'; // <- dead code detected by static analysis
}