1 // PR c++/84937
2 // { dg-do compile { target c++17 } }
3 
4 template<int, int> struct A {};
5 
6 template<int I> struct B
7 {
8   template<auto J> B(A<I,J>);
9 };
10 
11 B b(A<0,0>{});
12