`basic_string::substr()` passes the allocator to the newly created string

[philnik777]

libc++ is currently non-conforming in basic_string::substr(), because it returns basic_string(*this, __pos, __n, __alloc()) while the standard says it should return basic_string(*this, __pos, __n). See https://wg21.link/LWG3752.