// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(171)14.3.3 Template template arguments [temp.arg.template]p356.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

template<class T> class A { // primary template
  int x;
};
template<class T> class A<T*> { // partial specialization
  long x;
};
template<template<class U> class V> class C {
  V<int> y;
  V<int*> z;
};
C<A> c; // V<int> within C<A> uses the primary template,
// so c.y.x has type int
// V<int*> within C<A> uses the partial specialization,
// so c.z.x has type long

template<class T> class A2 { /* ... */
};
template<class T, class U = T> class B2 { /* ... */
};
template <class ... Types> class C2 { /* ... */
};
template<template<class> class P> class X { /* ... */
};
template<template<class ...> class Q> class Y { /* ... */
};
X<A2> xa; // OK
X<B2> xb; // ill-formed: default arguments for the parameters of a template argument are ignored
X<C2> xc; // ill-formed: a template parameter pack does not match a template parameter
Y<A2> ya; // OK
Y<B2> yb; // OK
Y<C2> yc; // OK

template <class T> struct eval;
template <template <class, class...> class TT, class T1, class... Rest>
struct eval<TT<T1, Rest...>> { };
template <class T1> struct A3;
template <class T1, class T2> struct B3;
template <int N> struct C3;
template <class T1, int N> struct D3;
template <class T1, class T2, int N = 17> struct E3;
eval<A3<int>> eA; // OK: matches partial specialization of eval
eval<B3<int, float>> eB; // OK: matches partial specialization of eval
eval<C3<17>> eC; // error: C3 does not match TT in partial specialization
eval<D3<int, 17>> eD; // error: D3 does not match TT in partial specialization
eval<E3<int, float>> eE; // error: E3 does not match TT in partial specialization

int main() {
  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p356
$ clang++ p356.cpp
p356.cpp:29:3: error: template template argument has different template parameters than its corresponding template template parameter
X<B2> xb; // ill-formed: default arguments for the parameters of a template argument are ignored
  ^
p356.cpp:24:1: note: too many template parameters in template template argument
template<class T, class U = T> class B2 { /* ... */ };
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
p356.cpp:26:10: note: previous template template parameter is here
template<template<class> class P> class X { /* ... */ };
         ^~~~~~~~~~~~~~~
p356.cpp:30:3: error: template template argument has different template parameters than its corresponding template template parameter
X<C2> xc; // ill-formed: a template parameter pack does not match a template parameter
  ^
p356.cpp:25:21: note: template type parameter pack does not match template type parameter in template argument
template <class ... Types> class C2 { /* ... */ };
                    ^
p356.cpp:26:19: note: previous template type parameter declared here
template<template<class> class P> class X { /* ... */ };
                  ^
p356.cpp:45:14: error: implicit instantiation of undefined template 'eval<C3<17> >'
eval<C3<17>> eC; // error: C3 does not match TT in partial specialization
             ^
p356.cpp:35:27: note: template is declared here
template <class T> struct eval;
                          ^
p356.cpp:46:19: error: implicit instantiation of undefined template 'eval<D3<int, 17> >'
eval<D3<int, 17>> eD; // error: D3 does not match TT in partial specialization
                  ^
p356.cpp:35:27: note: template is declared here
template <class T> struct eval;
                          ^
p356.cpp:47:22: error: implicit instantiation of undefined template 'eval<E3<int, float, 17> >'
eval<E3<int, float>> eE; // error: E3 does not match TT in partial specialization
                     ^
p356.cpp:35:27: note: template is declared here
template <class T> struct eval;
                          ^
5 errors generated.

$ g++-7 p356.cpp
p356.cpp:45:14: error: aggregate 'eval<C3<17> > eC' has incomplete type and cannot be defined
 eval<C3<17>> eC; // error: C3 does not match TT in partial specialization
              ^~
p356.cpp:46:19: error: aggregate 'eval<D3<int, 17> > eD' has incomplete type and cannot be defined
 eval<D3<int, 17>> eD; // error: D3 does not match TT in partial specialization
                   ^~
p356.cpp:47:22: error: aggregate 'eval<E3<int, float> > eE' has incomplete type and cannot be defined
 eval<E3<int, float>> eE; // error: E3 does not match TT in partial specialization
                      ^~

#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp
cat $1s2.cpp