Scala Unified types: Scala Nothing

It is the type of an expression which does not evaluate to a value, or a method that does not return normally.