Why callers should explicitly document storage classes

[Simen Kjaeraas]

On Sun, 14 Aug 2011 22:00:34 +0200, Vladimir Panteleev  
<vladimir at thecybershadow.net> wrote:

> On Sun, 14 Aug 2011 22:48:18 +0300, Timon Gehr <timon.gehr at gmx.ch> wrote:
>
>> requiring lazy before lazy arguments basically destroys the reason for  
>> lazy being in the language:
>>
>> int foo(lazy 2*3);
>>
>> is not better than
>>
>> int foo({return 2*3});
>
> What about requiring "lazy" only for non-pure delegates?
>

I also thought of this idea. Now that pure inference is (being) added to
the language, this seems doable and good.

-- 
   Simen