Зачем добавлять избыточный `std :: constructible_from ` к концепции `std :: default_initializable`? ⇐ C++

[Anonymous]

На странице CPPREF на концепции std :: default_initializable я увидел следующий код:

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

template
concept default_initializable =
std::constructible_from && requires { T{}; ::new T; };
< /code>
Я думаю, требуется {t {}; :: Новый Т; } 

достаточно.
Почему он добавил избыточный std :: constructible_from ?

Подробнее здесь: https://stackoverflow.com/questions/796 ... fault-init