The special type Nothing represents:
Nothing is assignable to all other types, but has no instances. A reference to a member of an expression of type Nothing is always an error, since there can never be a receiving instance. Nothing is considered to belong to the module ceylon.language. However, it cannot be defined within the language.
Because of the restrictions imposed by Ceylon's mixin inheritance model:
no type hierarchy
no supertypes hierarchy
no subtypes hierarchy