Что такое тип never и когда он используется?

never — это тип, который означает «это никогда не произойдёт». Он описывает значения, которых не существует: функция, которая всегда бросает исключение, бесконечный цикл, или ветка кода, до которой невозможно добраться. never — подтип всех типов (можно присвоить куда угодно), но ни один тип не является подтипом never (ничего нельзя присвоить в never).