Класс Nothing.Nothing

final abstract open class Nothing

Nothing — вместе с scala.Null — находится в основании иерархии типов Scala.

Nothing является подтипом любого другого типа (включая scala.Null); экземпляров этого типа не существует. Хотя тип Nothing необитаем, он тем не менее полезен в нескольких аспектах. Например, библиотека Scala определяет значение scala.collection.immutable.Nil типа List[Nothing]. Поскольку списки ковариантны в Scala, это делает scala.collection.immutable.Nil экземпляром List[T], для любого элемента типа T.

Другое применение Nothing — это возвращаемый тип для методов, которые никогда не возвращают результат обычным способом. Примером является метод error в scala.sys, который всегда вызывает исключение.