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