>Nothing is a subtype of every other type (incl...

# stdlib

[jasoet-gdp]

Nothing is a subtype of every other type (including scala.Null); there exist no instances of this type