Зачем нужен класс Nothing?

Nothing — это тип данных, который не имеет значений. Он полезен, когда нужно указать на отсутствие возвращаемого значения или на то, что исполнение кода никогда не достигает определенной точки.

Например:

• В лямбда-выражениях, которые всегда бросают исключение: Компилятор понимает, что код после такой лямбды недостижим.

  fun fail(message: String): Nothing {
      throw IllegalStateException(message)
  }
  
  val x = fail("Что-то пошло не так") // x имеет тип Nothing
  println("Эта строка никогда не будет выполнена")
  

• В качестве типа возвращаемого значения для функций, которые никогда не завершаются нормально: Например, бесконечный цикл.

  fun loopForever(): Nothing {
      while (true) {
          // Бесконечный цикл
      }
  }
  

• Для более точной типизации в общих функциях (generics): Указывает, что тип не может быть инстанцирован.