P0339R6

polymorphic_allocator<> as a vocabulary type