https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92878
--- Comment #10 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Ville Voutilainen from comment #7) > __is_constructible is incorrectly false for such an aggregate: > > struct aggressive_aggregate > { > int a; > int b; > }; > > int main() > { > static_assert(__is_constructible(aggressive_aggregate, int, int)); > } > > Do you want a new bug report, or should this be handled as a follow-up on > this one? Please open a new PR.