I was trying to use a custom allocator for std::vector, but I noticed that std::vector does not need/use any of the member functions fr
std::vector
vector will rebind the allocator. As you bring it into scope from std::allocator, A::rebind::other will simply be std::allocator. So everything works fine.
vector
std::allocator
A::rebind::other