forked from catchorg/Catch2
MSVC's `std::vector` requires its allocator to have copy constructor from the same allocator kind, but templated over different type.
MSVC's `std::vector` requires its allocator to have copy constructor from the same allocator kind, but templated over different type.