1 //PR c++/11070
2 // Used to ICE
3 // Origin: bangerth@dealii.org and rwgk@yahoo.com
4 
5 template <bool b> struct X {
6     template <typename T>
executeX7     static int* execute(int* x) { return x; }
8 };
9 
foo()10 template <typename T> void foo() {
11   static bool const same = true;
12   X<same>::execute<int> (0);
13 }
14 
15 template void foo<int> ();
16 
17