http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51265
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED AssignedTo|unassigned at gcc dot |paolo.carlini at oracle dot |gnu.org |com --- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-22 15:46:04 UTC --- On it. A tad simpler: struct Funny { int print(int); }; template<typename X, X ff> void c(); template<typename X, X ff> void xx() { c<decltype(ff), ff>(); } int main() { xx<int (Funny::*)(int), &Funny::print>(); }