https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101681
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|PMF comparison to nullptr |PMF comparison to nullptr |is not considered a |is not considered a |constexpr |constexpr inside a template | |argument --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note completeness of the class does not matter either: template <bool> struct Z { }; struct C { void f(); }; static_assert ((&C::f == 0) == false,""); Z<&C::f == 0> z; --- CUT --- The static_assert passes just fine but the template is still rejected.