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.

Reply via email to