1 // PR c++/62207
2 
3 template<class F>
4 class X {
5 public:
6   template<F f> class Y {};
y()7   template<F f> void y() {}
X(F f)8   X(F f)
9   {
10     Y<f> y;  // { dg-error "not a constant" }
11 
12     y.value();
13   }
14 };
15 
main()16 int main() { X<int> x(1); }
17