I added a kind of useless extension function to en...

# announcements

[Paul Woitaschek]

I added a kind of useless extension function to ensure that non returning blocks are exhaustive: fun Any.exhaustive() {}