Or implicitily: function redirectToLoginPage(): never { redirect('/login'); }

Remarks: Just like %void%, only as a return type It is a *bottom* type