[Bug c++/98617] Failure to recognize pack expansion argument for non-pack parameter of alias template when alias is "exact"

2021-05-18 Thread redi at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98617

Jonathan Wakely  changed:

   What|Removed |Added

 Ever confirmed|0   |1
   Last reconfirmed||2021-05-18
 Status|UNCONFIRMED |NEW

[Bug c++/98617] Failure to recognize pack expansion argument for non-pack parameter of alias template when alias is "exact"

2021-05-18 Thread redi at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98617

--- Comment #1 from Jonathan Wakely  ---
Please provide the actual code, not only a CE link:

template  struct Base {};

template  using A = Base;

template  using B = Base;

template  using C = Base;

template
using AliasA = A; // this should fail

template
using AliasB = B;

template
using AliasC = C;



Reduced to remove the bits that do fail as expected:


template  struct Base {};

template  using A = Base;

template
using AliasA = A; // this should fail