Reports issues in method @Contract annotations. The types of issues that can be reported are:

Example:


  // method has no parameters, but contract expects 1
  @Contract("_ -> fail")
  void x() {
    throw new AssertionError();
  }