https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114393
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Reduced testcase which shows this never worked: ``` template <auto _DescriptorFn> struct c1 {}; template <class _Descriptor, auto t = [] { return _Descriptor();}> inline constexpr auto b_v = t; template <class _Tag> using c1_t = c1<b_v<int>>; template <class _Data> constexpr auto g(_Data __data) { return c1_t<_Data>{}; } void f() { auto &&b = g(0); } ``` I don't know understand how the original testcase worked in GCC 13 when the above testcase never worked ...