https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87410
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |mpolacek at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |mpolacek at gcc dot gnu.org --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- More reduced template <long a> using b = const char[a]; template <typename, int c, int e, typename f> constexpr auto g(b<c> &, b<e> &, f) {} template <typename d, int a> auto h(b<a> &) { auto i = j(static_cast<d **>(nullptr)); return **i; } class k { using l = k; const int &m() const; friend constexpr auto j(l **n) -> decltype(n) { g<int>("", "", static_cast<const int &(k::*)() const>(&k::m)); return n; } }; k o = h<k, 1>("");