1 // PR c++/82231
2 // { dg-options -std=c++17 }
3 
4 template<int>
5 struct x {};
6 
7 template <auto I, decltype(I) X>
f(x<X>)8 void f(x<X>) { }
9 
10 int
main()11 main()
12 {
13   f<0>(x<1>{});
14 }
15