Paolo Carlini wrote: > Ok, I found it, and yes, it seems we need add some more too: > 23.1.1/9,10, right? But, Matt, in case we add static_casts at that upper level, is still needed the _Construct with two template arguments? Isn't even slightly non-conforming, that is, not strictly implementing the requirements for std::allocator::construct in table 32? Paolo.