Never в функции

В каком случае функция имеет тип возвращаемого значения never?