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