checker/jtreg/nullness/issue380/DA.java

public class DA {
  @Decl(flag = true)
  void foo() {}
}