Что ожидается, результат оценки концепции для неполного типа? ⇐ C++

[Anonymous]

Если у меня есть неполный тип, и оцениваю некоторую концепцию для него, например, некоторую концепцию из стандартной библиотеки: < /p>

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

#include 

int main() {
struct S;
return std::destructible;
}

Какой результат должен быть создан здесь программой?
На практике я вижу, что EDG возвращает 1 здесь. GCC и MSVC возвращают 0 . И Clang с Libc ++ Сбой Компиляции:

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

/opt/compiler-explorer/clang-20.1.0/bin/../include/c++/v1/__type_traits/is_nothrow_destructible.h:28:31: error: incomplete type 'S' used in type trait expression
28 |     : integral_constant {};
|                               ^

онлайн демо: https://gcc.godbolt.org/z/9as4jkm1qобразно>

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