Never — тип-пустышка в модуле typing.
Never служит для указания, что функция или выражение должны завершаться с исключением или бесконечным циклом. Это может быть полезно, когда вы хотите явно указать, что некоторая ветвь кода недостижима или что программа должна быть остановлена в определенной точке.
P.S. Never появился в версии Python 3.11