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 {};
```

Reply via email to