Wie soll der Compiler das denn bitte checken können? Also möglich wäre sowas natürlich, aber sehr, sehr aufwändig. Du musst ja alle Programmpfade durchgehen und prüfen, ob sicher überall eine
Exception geworfen wird. Und das bei CodeInsight bzw. LSP, was ja eh schon kaum vernünftig läuft und ständig abschmiert.
Na so, wie jetzt auch schon?
Gibt es keinen Pfad, der bis zum END führt, oder bei einem EXIT endet,
bzw. gibt es ausschließlich Pfade, die bei einer
Exception, Abort oder einer "mit
exception" markierten Methode ankommen,
dann ist es so.
Und es muß nur noch an der Funktion gespeichert werden, dass es so ist, damit bei Verwendung/Aufruf das abgefragt werden kann.