[First Draft] Add @gc as a Function Attribute

[Dom DiSc]

On Monday, 17 June 2024 at 13:02:12 UTC, jmh530 wrote:
> If @gc means not @nogc, then how can the compiler verify that 
> it can be called from a @nogc block?

A block is nothing. A block cannot call anything, it's just a 
kind of namespace, meaning the same as declaring every function 
within it as "@nogc".
Of course @nogc functions _cannot_ call a function marked as @gc.