unspecialized generic type allowed as a type argument

[apinski-cavium]

Take:

struct s<t>
{
 t field;
}

struct s1<t>
{
  t field;
}

void f()
{
 s<s1> v;
}

This should be invalid as the type argument for s1 is not supplied.