On 12/13/07, guslay <guslay at gmail.com> wrote: > Well if T is a reference to a const object, yes, I want to keep the const.... Then you should be happy with the D2.008 behavior: It's only the headmost layer of constancy which is deemed not to matter. The tail constancy is still considered a discriminator.