http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55159
--- Comment #7 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-11-02 11:39:07 UTC --- (In reply to comment #6) > Thus, Daniel, is this invalid? I think this part of the problem is indeed valid: template <class T0, class T1> struct min_t { static bool less(T0 x, T1 y) { return x < y ? x : y; } constexpr static auto* f = &less; // #5 }; min_t<int, int> mi; // #8 "8| required from here| 5|error: declaration of 'constexpr auto* const min_t<int, int>::f' has no initializer" (With or without & in front of less) According to my understanding this should be accepted.