https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86960
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
Btw, clang rejects it:
t.ii:8:15: error: non-type template parameter conflicts with previous non-type
template parameter pack
template<bool x>
^
t.ii:3:19: note: previous non-type template parameter pack declared here
template<T... x>
^
t.ii:13:28: error: implicit instantiation of undefined template
'Outer<bool>::Inner<true>'
static_assert(Outer<bool>::Inner<true>::value);
^
t.ii:4:12: note: template is declared here
struct Inner;
^
2 errors generated.
