Класс scala.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, который всегда генерирует исключение.