// PR c++/22621

struct foo {
    typedef int (*fun)(int);

  static int f(int);    // overload between static & non-static
    int f();

  static int g(int);    // non-overloaded static
};

template<foo::fun>
struct f_obj {
  // something ..
};

f_obj<&foo::f> a;   // OK
f_obj<foo::f>  b;   // OK (note: a and b are of the same type)

int foo::f()
{
  f_obj<&foo::f> a;   // OK
  f_obj<foo::f>  b;   // ERROR: foo::f cannot be a constant expression

  f_obj<&foo::g> c;   // OK
  f_obj<foo::g>  d;   // OK
}

