https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56428
Barry Revzin <barry.revzin at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |barry.revzin at gmail dot com --- Comment #2 from Barry Revzin <barry.revzin at gmail dot com> --- Mr. Wakely's example now passes on trunk, but this one fails: template <bool> struct Z { }; struct C { void f(); Z<&C::f == nullptr> z; }; I'm not sure incompleteness matters?