public class Util {
  @Foo(val=<caret>) void foo(String[] args) { }
}