https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71377
Johannes Schaub <schaub.johannes at googlemail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |schaub.johannes@googlemail.
| |com
--- Comment #1 from Johannes Schaub <schaub.johannes at googlemail dot com> ---
GCC should also diagnose the use of `S<N+1, M>` at instantiation time, right?
`S<2, 1>` is always going to be ill-formed, given that the type of the third
argument is ill-formed for N=M+1=2.
This is not SFINAE.