Т.е. тебе не нравится, что в случае с аннотациями, компилятор не проверят корректность написанного кода?
Да. Существует огромное множество корректного (с точки зрения языка) кода, который не имеет никакого смысла и работает некорректно именно в контексте annotation-driven-фреймворка.