<@U2SG23BPU> One possible use case (the one that I...

# announcements

[LeoColman]

@dsavvinov One possible use case (the one that I actually faced) was to validate that a function that doesn't throw a specific exception guarantees a non-negative value (x > 0). It is important for a mathematical function that I was developing, in which an user actually called the construct ìf (x < 0) throw Exception() which was unnecessary, but he would have to read the docs to know