pragma(explicit_gc)

[Richard (Rikki) Andrew Cattermole]

On 02/05/2024 1:59 PM, Timon Gehr wrote:
>     Although I would disallow new'ing an exception with it annotated. ...
> 
> I guess this check could be bypassed using a nested function if needed, 
> but I think explicit allocations are simply not an issue as they do not 
> defy expectations.

My thinking is that it is a non-transitive version of ``@nogc``.

No other changes other than things that affect transitivity (such as not 
being part of the signature).

Keep it simple, easy to explain and tie it into existing language feature.