[Bug c++/71377] SFINAE expression compiles, but it should not because of 14.5.5p8

[schaub.johannes at googlemail dot com]

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.