libc++: max_size() of a std::vector

1) Indices are nonnegative, therefore they should be unsigned.

This is technically not true in C++, because the built-in versions of operator use ptrdiff_t as the type of the subscript (13.6.13).

Best regards,

  Jens.