Use annotations constraints