throw Exception()

is of type

Nothing

which is a subtype of eveything including

Exception

, which is why you can

throw

it