Truly @nogc Exceptions?

[Paolo Invernizzi]

On Saturday, 20 October 2018 at 14:56:37 UTC, Mike Parker wrote:
> On Saturday, 20 October 2018 at 13:48:32 UTC, Paolo Invernizzi 
> wrote:
>
>>
>> If `@nogc` could be relaxed for `new Error` exactly for that 
>> reason, pieces of Phobos could be turned `@nogc`...
>>
>> But I admit that that change would be controversial...
>>
>
> https://github.com/dlang/DIPs/blob/master/DIPs/DIP1008.md

Yep, you are right, of course...  8-/

/P