further tests for constrained annotations