The abstract supertype of all types. A value of type Anything may be a definite value of type Object, or it may be the null value. A method declared void is considered to have the return type Anything.

Note that the bottom type Nothing, representing the intersection of all types, is a subtype of all types.