Patch: stl_vector.h

[Paolo Carlini]

Paolo Carlini wrote:

> 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?

(sorry for replying to myself again)

I'm now looking in detail into 20.4.4 and in fact the "casts" are 
present also in
the "Effects" clause of the specialized algorithms!

Therefore, it seems to me, that we should definitely add "casts" also at 
that
level, not only at the level of the containers... The latter is bigger, 
but would
stay also after the resolution of 438.

Paolo.