Что такое Never

Never - это тип, означающий, что ни один тип не разрешен и Never сам по себе не может быть создан.