Description Sergey Prigogin 2011-01-16 01:25:17 EST

template <typename T>
class M {};

template<typename U>
U F();

template <M<int> (*Func)()>
struct G {
  M<int> operator()();
};

template <typename U>
struct H : public G<F<U> > {};

H<M<int> > C;

template <typename T>
void P(M<T> a);

void test() {
  P(C()); // Problem on P
}

The problem goes away when H<M<int> > C; is replaced by G<F<M<int> > > C; or when M<int> operator()(); is moved from G to H.