template <class T>
struct S { };

struct A { };
struct B : A { };

void Test() {
  S<A> a;
  S<B> b;
  a = b;
}