On Saturday, 4 October 2014 at 05:54:20 UTC, ketmar via
Digitalmars-d wrote:,
'cause `MyWrapper` promises to nothrow. you can't make such
promise for
try-block.
If finally does imply nothrow then the try-block implies it too.
No difference from a wrapper.
i.e. `MyWrapper` promises that the only exception that can be
thrown is
`LovelyException`, and it's catched, thus `MyWrapper` is marked
"nothrow". you can't attach such mark to try/catch, even if you
know
for sure that you catched 'em all. it's a matter of style.
Nah, it is a matter of ad hoc design and implementation that
needs more rigour.