P0591R4

Utility functions to implement uses-allocator construction