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; };