fork download

#include <iostream>
#include <vector>
 
template <typename T, template<class...> class Container>
struct A
{
  using Ttype = T;
  using ContainerType = Container;
 
  Container<T> s;
};
 
int main()
{
  using S = A<int, std::vector>;
 
  S::ContainerType<double> y;
  y.push_back(2);
 
  return 0;
}

prog.cpp:8:25: error: invalid use of template-name ‘Container’ without an argument list
   using ContainerType = Container;
                         ^~~~~~~~~
prog.cpp:4:48: note: ‘template<class ...> class Container’ declared here
 template <typename T, template<class...> class Container>
                                                ^~~~~~~~~
prog.cpp: In function ‘int main()’:
prog.cpp:17:6: error: ‘ContainerType’ is not a member of ‘S’ {aka ‘A<int, std::vector>’}
   S::ContainerType<double> y;
      ^~~~~~~~~~~~~
prog.cpp:17:20: error: expected primary-expression before ‘double’
   S::ContainerType<double> y;
                    ^~~~~~
prog.cpp:18:3: error: ‘y’ was not declared in this scope
   y.push_back(2);
   ^

Standard output is empty