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