Какую цель выполняют конструкторы копирования/перемещения выделения типа C++23 в std::vector? ⇐ C++

[Anonymous]

Думаю, я понимаю цель std::type_identity_t: он должен помочь в сценарии, где для определения типа шаблона не требуются все аргументы шаблона для определения параметров типа шаблона. Это имеет смысл для приведенного простого примера (например, математических функций с переданными double и int).

Но я не понимаю, почему C++23 вводит это в конструкторы перемещения/копирования параметров распределителя для std::vector?
например:

Код: Выделить всё

constexpr vector( const vector& other,
const std::type_identity_t& alloc );

constexpr vector( vector&& other,
const std::type_identity_t& alloc );

Я не считаю это аналогом чего-то вроде

Код: Выделить всё

template
void foo(T x, T y);

foo(1.0, 0);

В каком случае эквивалентная ситуация произойдет в конструкторах std::vector?