import org.checkerframework.checker.formatter.qual.FormatMethod;

public class InvalidFormatMethod {

  @FormatMethod
  void m1(String s, Object... args) {}

  @FormatMethod
  void m2(int x, double y, boolean z, String s, Object... args) {}

  @FormatMethod
  // :: error: (format.method)
  void m3(int x, Object... args) {}

  void client(Object... args) {
    m1("hello");
    m1("hello %s", "goodbye");
    m2(22, 3.14, true, "hello");
    m2(22, 3.14, true, "hello %s", "goodbye");
    // :: error: (format.method)
    m3(22, "goodbye");
  }
}