IMO this test belongs in AnnotationTest.