https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87051
--- Comment #3 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> ---
Still fails as of 2025. Here's another test case for the heterogeneous case; it
also fails.
struct B { B(const B&); B(B&)=default; };
struct A {
B b;
};
static_assert(__is_trivially_constructible(A, B&)); // fails
