@ValidationcaseclassTest[T](a:T)// <- doesn't compile

Type parameters with their constraints should be propagated to generatedcreate method parameters and argument types.