Template method and parameter const inference

Peter Alexander peter.alexander.au at gmail.com
Thu Feb 6 15:27:23 PST 2014


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.


More information about the Digitalmars-d mailing list