Hi Alina, thanks for the report. The annotation processor can't yet deal with parameter constraints, also see HV-450 and HV-801.

Would you be interested in implementing this feature? The processor is based on JSR 269 and makes it very easy to provide new constraint checks by implementing ConstraintCheck and registering them in ConstraintCheckFactory. Finding out whether one method overrides another one is even easier within the annotation processor than at runtime as one can use Elements#overrides().