[Bug c++/77781] [DR 1315] Some valid cases of partial specialization not accepted

[ville.voutilainen at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77781

Ville Voutilainen <ville.voutilainen at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
                 CC|                            |jason at redhat dot com
            Summary|[DR 1315]                   |[DR 1315] Some valid cases
                   |                            |of partial specialization
                   |                            |not accepted

--- Comment #1 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
gcc rejects the following, clang accepts it:

template<size_t,class...> struct S; template<class...A> struct
S<sizeof...(A),A...>{};

both gcc and clang reject this:

template<int,int> struct S; template<int i> struct S<i,i+1>{};

gcc accepts the following, clang rejects it:

template<class,int> struct S; template<class T> struct S<T,T{}>{};