Если выполнение условия SFINAE зависит от объявляемой функции, гарантированно ли это условие будет ложным? ⇐ C++

[Anonymous]

Рассмотрим этот код:

#include структура А {}; структура Б { шаблон = nullptr> Б(Т &&) {} }; интервал основной() { В b(А{}); } И Clang, GCC и MSVC принимают его.

Этот код действителен или компиляторы должны его отклонить?

Интересно, что если я использую requires вместо enable_if_t, все три компилятора теперь отвергают его, и ошибка сводится к тому, что удовлетворение ограничения зависит от самого себя< /код>.

Но не должно ли то же самое вызвать ошибку в первом коде? Или это неопределенно?
#include структура А {}; структура Б { шаблон требуется std::is_constructible_v Б(Т &&) {} }; интервал основной() { В b(А{}); }