[2018-11 LWG Motion 21] P0591R4 Utility functions to implement uses-allocator construction

[jensmaurer]

P0591R4

[jwakely]

The synopsis and the descriptions both say:

template <class T>
auto uses_allocator_construction_args(const Alloc& alloc) -> see below;

The template parameter list is wrong in both places, it needs to be:

template <class T, class Alloc>

[jwakely]

Each of the constraints elements should use just pair not std::pair e.g.

Constraints: T is a specialization of std::pair.

[jwakely]

The final change in the paper, to [allocator.adaptor.members], is missing the explicit template argument list on the call to uses_allocator_construction_args. It should be uses_allocator_construction_args<T>.

[jensmaurer]

This is missing a feature-test macro.