Proposal 2: Exceptions and @nogc

[Nick Treleaven via Digitalmars-d]

On Tuesday, 11 April 2017 at 11:08:34 UTC, Dukc wrote:
> This idea could be generalized:
>
> -DRuntime would add an interface "ReferenceCountable".
> -Throwable would implement it.
> -When a new expression of ReferenceCountable type is used to 
> assign to a scope variable or argument, it's guaranteed to be 
> @nogc.

scope c = new Object;

This should be recognised as a scope class instance. It doesn't 
need reference counting, as it should always be destroyed at the 
end of current scope. The compiler can allocate on the stack (if 
the instance isn't too big):

https://forum.dlang.org/post/mailman.1045.1471418257.3131.digitalmars-d-announce@puremagic.com

If it is too big, the compiler could use a @nogc heap allocator.