------- Additional Comments From bangerth at dealii dot org 2004-12-19 20:01 ------- Why not the minimal testcase: --------------------- template <typename> struct X; template<typename _Tp, typename _Cp> struct X<_Tp _Cp::*> {}; typedef int F(); struct S { F f; }; typedef F S::*PMF; X<PMF> s; -------------------- g/x> c++ -c x.cc x.cc:9: error: aggregate `X<int (S::*)()> s' has incomplete type and cannot be defined x.cc:9: error: storage size of `s' isn't known g/x> icc -c x.cc The problem is really that F is a reference to a function. If we define the typedef as typedef int F; then everything is fine. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19076