Proposed resolution:
This wording is relative to N4296.
Change [allocator.requirements] p9 as indicated:
-8- An allocator may constrain the types on which it can be instantiated and the arguments for which its construct or destroy members may be called. If a type cannot be used with a particular allocator, the allocator class or the call to construct or destroy may fail to instantiate.