Construct from another allocator for a different value type.

template<
    typename U>
constexpr allocator(
    const allocator< U > & a);