`throw Exception()` is of type `Nothing` which is ...

# announcements

[kirillrakhman]

throw Exception() is of type Nothing which is a subtype of eveything including Exception, which is why you can throw it