Proposed resolution:

Change [allocator.traits.members], p7:

static Alloc select_on_container_copy_construction(const Alloc& rhs);

7 Returns: rhs.select_on_container_copy_construction(a) if that expression is well-formed; otherwise, rhs.