Daniel Frey wrote: > > I think we should consider to define what should not work and what > should not. If we want add_const to reject types that cannot be made > const, we should also consider to make references not compile.
The definition of what should work in this case is simple: "add_const<T>::type" is equivalent to "T const". "T const" is equivalent to T when T is a reference type, see 8.3.2/1. _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
