https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87765
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- A short test by Daniel Kirchner: struct X { int s(); }; template<int> using Y = void; template<int> static constexpr void t(X x) { Y<x.s()> v; }