https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93383
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |ppalka at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org --- Comment #12 from Patrick Palka <ppalka at gcc dot gnu.org> --- We also incorrectly reject template <int> struct A {}; template <A a> struct B { template <class T> using type = B<T{}>; }; It seems do_class_deduction needs to be made more forgiving about dependent initializers.