[ERROR]
A template was instantiated with the wrong type template arguments.
template<class S> struct A {
S s;
};
A<4> a; // error
The instantiation of a template type must have the same argument type as the ones template specification.