new check to fail if an annotation is declared to be both a qualifier
and a scope annotation. That is, this is a test for annotation types.
refactored to use new error-prone API