On 8/23/2011 8:20 PM, bearophile wrote:
1) A transitive attribute like @noheap (or maybe @nogcheap) that statically disallows GC allocations inside a function (and the functions it calls), so they become errors.
The main problem I see with this is that realistically library writers aren't going to bother to mark every function that doesn't heap allocate @noheap. Therefore, in practice something like this would be extremely conservative.
