https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83417
waffl3x <waffl3x at protonmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |waffl3x at protonmail dot com --- Comment #5 from waffl3x <waffl3x at protonmail dot com> --- https://godbolt.org/z/Kxco7c5Es Still not working in trunk, was it ever decided on whether or not this is well-formed? ``` template<auto> struct C {}; template <typename T, typename U, U T::* V> void zoink(C<V>) { } struct S { int _m; }; void go() { zoink(C<&S::_m>{}); } ``` https://godbolt.org/z/ohG9ra5en This is the workaround I would use, it has better ergonomics anyway. I believe we should decide on whether this truly is a bug or not and if not just simply close it. Credit to Tsche for pointing this case out to me.