唐突な話をしますが（多分ほかの言語にもあるのかもしれないけど） #PHP 8.0以降のthrowは文ではなく式で、三項演算子やmatch式と組み合わせることができます。PHPにおける #never型 と呼ばれるすべての型の #部分型 が担う役割の一つなので、戻り値の型を変更する必要はありません。 #プログラミング