CodeInsight könnte dir im Try-Except sagen, was du dort alles erwarten könntest.
Und bei "wirft immer eine
Exception" könnte der Compiler entsprechend reagieren,
da er weiß, dass nach MeineExceptionRaiseProzedur; garantiert kein Code mehr ausgeführt wird.