import org.checkerframework.framework.testchecker.util.*;

public class AnnotatedVoidMethod {
  // :: error: annotation type not applicable to this kind of declaration
  public @Odd void method() {
    return;
  }
}