@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