Я думаю, я нашел решение.Как я и думал, это невозможно с нынешним javac.локальные аннотации - это просто комментарии, которые не обрабатываются подключаемым API обработки аннотаций.НО есть интересные усилия в JSR308 , обрабатывающие аннотации типов, которые поддерживают чудесные вещи в качестве параметров переменных типа, локальных переменных, проверки аннотированных типов и приведения ... и, как кажется, они будут включеныв openJDK 8. приятно