3 // Origin: bangerth@dealii.org and rwgk@yahoo.com
5 template <bool b> struct X {
7 static int* execute(int* x) { return x; }
10 template <typename T> void foo() {
11 static bool const same = true;
12 X<same>::execute<int> (0);
15 template void foo<int> ();