Можете объяснить, что означает тип Nothing в языке программирования?

В языках программирования, таких как Kotlin, тип Nothing обозначает тип, который не имеет значений. Это означает, что функция или выражение с типом Nothing никогда не возвращают управление нормально — например, они могут завершаться исключением или бесконечным циклом.

Пример использования:

fun fail(message: String): Nothing {
    throw IllegalArgumentException(message)
}

Здесь функция fail никогда не вернёт значение, она всегда выбросит исключение. Тип Nothing помогает компилятору понять, что после вызова такой функции код не продолжится, что улучшает анализ и безопасность кода.