Proposed resolution:

This wording is relative to the FDIS.

1. Modify the example in [allocator.requirements] p5 as indicated:

   -5- […]

   [ Example: the following is an allocator class template supporting the minimal interface that satisfies the requirements of Table 28:

   template <class Tp>
   struct SimpleAllocator {
     typedef Tp value_type;
     SimpleAllocator(ctor args);
     template <class T> SimpleAllocator(const SimpleAllocator<T>& other);
     Tp *allocate(std::size_t n);
     void deallocate(Tp *p, std::size_t n);
   };
   
   template <class T, class U>
   bool operator==(const SimpleAllocator<T>&, const SimpleAllocator<U>&);
   template <class T, class U>
   bool operator!=(const SimpleAllocator<T>&, const SimpleAllocator<U>&);
   

   — end example ]

[ Bloomington, 2011 ]

Move to Ready

The example in [allocator.requirements] says SimpleAllocator satisfies the requirements of Table 28 — Allocator requirements, but it doesn't support comparison for equality/inequality.