https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97198
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Zhihao Yuan from comment #5) > Encountered this today. In case I cannot show up when discussing LWG3486, my > use case is that C(in_place_type<T[]>, a, b, c) should "just works." It's up > to C how to deal with it. In my case, it's new T[]. I was going to add a note to the issue, but I don't know what to add. What is C? Why wouldn't it work today? Why does std::is_constructible affect it?