https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98538

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Extended test:

template<typename T> using A = int[1];
template<typename T, const A<T>> struct X { };

template<typename T>
void
f (const A<T>)
{
  const A<T> a;
}

template<typename T>
struct Y {
  const A<T> a;
};

Reply via email to