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.

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