Editions Ideas

[Richard (Rikki) Andrew Cattermole]

On 16/12/2025 10:30 AM, Dukc wrote:
> All |finally| blocks, and by extension |scope(failure)| and destructors 
> running when catching non-|Exception| Throwables. The problem is that if 
> a |nothrow| functions throws one, the finally block might or might not 
> run. If non-exception throwables would be intercepted only with an 
> explicit catch block for one, there would be no implementation defined 
> behaviour yet we still could have the |nothrow|-based optimisations.

Fixed.

https://github.com/dlang/dmd/blob/master/changelog/dmd.exception-rewrite.dd

Also you may be interested in: 
https://github.com/dlang/dmd/blob/master/changelog/druntime.filterthrown.dd