Для чего нужен тип never?