https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113349
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|needs-reduction | --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- // PR c++/113349 template <typename> void is_same_v(); template <long, typename _Tp> using tuple_element_t = _Tp; template <typename, typename = void> struct types; template <typename T> struct types<T, decltype([] {}())> { template <long N> using el = tuple_element_t<N, decltype([] {})>; }; static_assert(is_same_v<types<int>::el<1>>);