www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Template method and parameter const inference

reply "Peter Alexander" <peter.alexander.au gmail.com> writes:
Timon Gehr opened this enhancement request a while ago to infer 
const on template methods and delegate parameters in the same way 
we already infer pure, nothrow, and  safe:

http://d.puremagic.com/issues/show_bug.cgi?id=7521

No one has commented on the issue, but it seems to be very 
important.

Are there flaws in this idea? If not, it seems that it could 
massively improve the const-correctness of Phobos.
Feb 06 2014
parent Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
On 2/6/14, 3:27 PM, Peter Alexander wrote:

 Timon Gehr opened this enhancement request a while ago to infer const on
 template methods and delegate parameters in the same way we already
 infer pure, nothrow, and  safe:

 http://d.puremagic.com/issues/show_bug.cgi?id=7521

 No one has commented on the issue, but it seems to be very important.

 Are there flaws in this idea? If not, it seems that it could massively
 improve the const-correctness of Phobos.


Preapproved. I'm looking into putting a bounty on it as well.

Andrei
Feb 06 2014