Proposed resolution:

This wording is relative to N3691.

1. Change [allocator.traits.members] as follows:

   static size_type max_size(const Alloc& a) noexcept;
   

[ 2013-09 Chicago ]

No objections, so moved to Immediate.

Accept for Working Paper

Section [allocator.traits] says:

static size_type max_size(const Alloc& a) noexcept;

Section [allocator.traits.members] says:

static size_type max_size(Alloc& a) noexcept;

These should be the same.

Discussion:

Pablo (who I believe wrote the allocator_traits proposal) says "The function should take a const reference."