Is it possible to tell the compiler that a method always throws an Exception

Question

Generally speaking, the Java compiler does not propagate the information that a method \"always\" throw an Exception, and therefore, does not detect that all code paths are comp