//PR c++/11070
// Used to ICE
// Origin: bangerth@dealii.org and rwgk@yahoo.com

template <bool b> struct X {
    template <typename T>
    static int* execute(int* x) { return x; }
};

template <typename T> void foo() {
  static bool const same = true;
  X<same>::execute<int> (0);
}

template void foo<int> ();