1// { dg-do run  }
2class foo
3{
4public:
5  template<class T>
6  T bar() { return 7; }
7};
8
9int
10main()
11{
12  foo f;
13
14  int (foo::*s)() = &foo::bar<int>;
15  if ((f.*s)() == 7)
16    return 0;
17  else
18    return 1;
19}
20