scope() statements and return

[Andrei Alexandrescu via Digitalmars-d]

On 10/3/14, 11:28 PM, ketmar via Digitalmars-d wrote:
> On Sat, 04 Oct 2014 05:58:47 +0000
> Ola Fosheim Grostad via Digitalmars-d <digitalmars-d at puremagic.com>
> wrote:
>
>> Nah, it is a matter of ad hoc design and implementation that
>> needs more rigour.
> something like 'final try' can be fun. 'try' says that it can catch
> only some kinds of exceptions, and 'final try' promises that there will
> be no exceptions that aren't in catch() block.
>
> besides, any exception that 'final try' is not catching should abort
> the process.
>
> do you mind to fill ER? it will be rejected, but hey, we can start a
> little competiion here! ;-)

There's no interesting way to check this because functions don't list 
the exceptions they might throw (like Java does). -- Andrei