http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51265
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-22 15:48:12 UTC --- Even: struct Funny; template<typename X> void c(); template<typename X> void xx() { c<decltype(ff)>(); } int main() { xx<int(Funny::*)(int)>(); }