https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118626
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|needs-reduction |
--- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Reduced (but invalid):
```
template <long> struct _Nth_type;
template <typename, typename> long __accepted_index = 0;
template <typename> struct variant {
template <typename _Tp>
static constexpr long __accepted_index2 = __accepted_index<_Tp, variant>;
template <long _Np> using __to_type = _Nth_type<_Np>;
template <typename _Tp>
using __accepted_type = __to_type<__accepted_index2<_Tp>>;
template <typename _Tp, typename = __accepted_type<_Tp>> variant();
};
template <typename> struct Node;
template <typename R> using Tree = variant<Node<R>>;
auto tree = Tree {};
```