https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109247
--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> --- (In reply to Patrick Palka from comment #3) > PR84849 seems related, especially the comment #5 testcase from ensadc: > > template<class> > struct in_place_type_t { explicit in_place_type_t() = default; }; > > struct A { }; > > int f(A); > int f(in_place_type_t<A>); > > int x = f({}); Oops, this testcase from PR84849 might be strictly speaking invalid and GCC correct to reject as per https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102247#c2. Is this PR not invalid for the same reason?