DIP18: Non-GC threads

[Piotr Szturmaj]

Dmitry Olshansky wrote:
> On 01-Sep-12 19:58, Peter Alexander wrote:
>> C:
>>
>> int mul(int x, int y);
>>
>>
>> Future D:
>>
>> pure @safe nothrow nogc commutative associative distributive
>> @forceinline mayoverflow int mul(int x, int y);
>>
>
> Either way this is a kind of thing that only some users need but std
> library have to use all of them just so that those 'some users' can use it.

The DIP states that nogc should be inferred by the compiler to avoid 
marking all existing functions.

But, I know there are some problems with inferring non templated 
methods: 
http://www.digitalmars.com/d/archives/digitalmars/D/Why_isn_t_purity_co._inferred_for_all_functions_166946.html.