Verify more complex annotation gets declared