HV-877 Supporting type use constraints on type arguments

This applies to `PropertyMetaData`. After your feedback, I'll continue the work on parameters and return values and I'll extend `ParameterMetaData` and `ReturnValueMetaData`.
It didn't help, I guess the problem is not about a synthetic parameter. 

The reason I have this try-catch block is because `ClassValidatorWithTypeVariableTest` keeps failing. I mistakenly thought it has something to do with synthetic parameters, but apparently not. 

Can you take a look? Is something wrong with the test?