Template method and parameter const inference

[Andrei Alexandrescu]

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