checker/jtreg/nullness/issue380/Decl.java

import org.checkerframework.framework.qual.InheritedAnnotation;

@InheritedAnnotation
public @interface Decl {
  boolean flag();
}