In the documentation for pointer::add, it is mentioned that
Vec and Box ensure they never allocate more than isize::MAX bytes
however, this is not stated in documentation of Vec, the module documentation of vec, the documentation of Box or the module documentation of boxed.
This can cause doubt, whether this statement actually holds true, since the places where one would expect such guarantees to be made (especially the "Guarantees" section of the Vec documentation) does not mention these guarantees.
In the documentation for
pointer::add, it is mentioned thathowever, this is not stated in documentation of
Vec, the module documentation ofvec, the documentation ofBoxor the module documentation ofboxed.This can cause doubt, whether this statement actually holds true, since the places where one would expect such guarantees to be made (especially the "Guarantees" section of the
Vecdocumentation) does not mention these guarantees.