https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92067
Bug ID: 92067
Summary: __is_constructible(incomplete_type) should make the
program ill-formed
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: antoshkka at gmail dot com
Target Milestone: ---
Such change brings consistency with Clang and other built-in traits:
struct incomplete;
// fails on clang, OK on GCC
const bool res = __is_constructible(incomplete);
// GCC: invalid use of incomplete type 'struct incomplete'
const bool res0 = __is_trivial(incomplete);
// GCC: invalid use of incomplete type 'struct incomplete'
const bool res1 = __is_final(incomplete);
Godbolt playground: https://godbolt.org/z/GVX7mK
