https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88092
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |mpolacek at gcc dot gnu.org --- Comment #9 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Hana Dusíková from comment #5) > So minimal example is: > > template<typename T> > struct S { > constexpr S(...) { } > }; > > template <typename T> S(T) -> S<T>; > > template <S s> struct foo { }; > > > template <S s> > void fn () > { > auto t = s; > foo<t> f1; > foo<s> f2; > } Compiles since r10-1976-gdaaa6fcc70ffe66bd56f5819ad4ee78fecd54bb6. Will add this test.