auto + Top-level Const/Immutable

[dsimcha]

On Tuesday, 20 December 2011 at 17:46:40 UTC, Jonathan M Davis 
wrote:
> Assuming that the assignment can still take place, then making 
> auto infer non-
> const and non-immutable would be an improvement IMHO. However, 
> there _are_ cases where you'd have to retain const - a prime 
> example being classes. But value types could have 
> const/immutable stripped from them, as could arrays using their 
> tail-constness.
>
> - Jonathan M Davis

Right.  The objects would only be head de-constified if Michael 
Fortin's patch to allow such things got in.  A simple way of 
explaining this would be "auto removes top level const from the 
type T if T implicitly converts to the type that would result".