1 // PR c++/84768
2 // { dg-additional-options -std=c++17 }
3 
4 template<typename> struct A {};
5 
6 template<typename T> struct B
7 {
8   template<X Y> B(A<T>);  // { dg-error "declared" }
9 };
10 
11 B b = A<void>();
12