constancy and template parameters in D2.009+

[Janice Caron]

On 12/13/07, guslay <guslay at gmail.com> wrote:
> I don't really understand the motivation behind the current behavior. Can someone explain why stripping away constness is not explicit?

Most of the time, stripping away head constancy is exactly what you
want. Failure to do so results in multiple identical instantiations.

But sometimes it matters, which is why Walter allowed the (T:T)
notation, for when it does. I just think there has to be a better
syntax for that!