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.